DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦0af81b255⟧ Ada Source

    Length: 7168 (0x1c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Generic_Predicate, seg_02cc7f, seg_02ced3

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

with Alias;
with Output_Stream;
generic  
    type User_Defined_Operators is (<>);

    with function User_Defined_Match (Using_Operator : User_Defined_Operators;
                                      Value : Integer;
                                      Against : Integer) return Boolean is <>;
    with function User_Defined_Image
                     (Op : User_Defined_Operators) return String is
       User_Defined_Operators'Image;

    type Expression_Object is private;  
    with function  Integer_Expression
                     (For_Integer : Integer) return Expression_Object;
    with function  Alias_Expression
                     (For_Alias : Alias.Name) return Expression_Object;
    with function  Evaluate (The_Object : Expression_Object) return Integer;
    with procedure Put      (The_Object : Expression_Object;
                             Where      : Output_Stream.Object);

package Generic_Predicate is

    type Object is private;
    Null_Predicate : constant Object;

    function Define_As (The_Alias : Alias.Name) return Object;
    function "and"     (Left, Right : Object)   return Object;

    -- user defined predicates

    generic
        Operator : User_Defined_Operators;
    function Unary_User_Predicate return Object;

    generic
        Operator : User_Defined_Operators;
    function Binary_User_Predicate
                (Using_Value : Expression_Object) return Object;

    function  Match (Value : Integer; Against : Object) return Boolean;
    procedure Put   (The_Object : Object; Where : Output_Stream.Object);

    package System_Defined_Predicate is

        function Is_Equal     (The_Object : Expression_Object) return Object;
        function Is_Less      (The_Object : Expression_Object) return Object;
        function Is_Less_Or_Equal
                    (The_Object : Expression_Object) return Object;
        function Is_Greater   (The_Object : Expression_Object) return Object;
        function Is_Greater_Or_Equal
                    (The_Object : Expression_Object) return Object;
        function Is_Different (The_Object : Expression_Object) return Object;
        function Is_Any return Object;

        -- value predicate shortcuts

        function Is_Equal            (The_Value : Integer) return Object;
        function Is_Less             (The_Value : Integer) return Object;
        function Is_Less_Or_Equal    (The_Value : Integer) return Object;
        function Is_Greater          (The_Value : Integer) return Object;
        function Is_Greater_Or_Equal (The_Value : Integer) return Object;
        function Is_Different        (The_Value : Integer) return Object;

        -- alias predicate shortcuts

        function Is_Equal            (The_Alias : Alias.Name) return Object;
        function Is_Less             (The_Alias : Alias.Name) return Object;
        function Is_Less_Or_Equal    (The_Alias : Alias.Name) return Object;
        function Is_Greater          (The_Alias : Alias.Name) return Object;
        function Is_Greater_Or_Equal (The_Alias : Alias.Name) return Object;
        function Is_Different        (The_Alias : Alias.Name) return Object;

    end System_Defined_Predicate;

    Illegal_Operation : exception;
private

    type Sub_Classes is (Primary, Unary, Binary, Undefined);
    type Object_Structure (Sub_Class : Sub_Classes);
    type Object      is access Object_Structure;
    Null_Predicate : constant Object := null;

end Generic_Predicate;

    nblk1=6
    nid=3
    hdr6=a
        [0x00] rec0=19 rec1=00 rec2=01 rec3=002
        [0x01] rec0=1a rec1=00 rec2=02 rec3=044
        [0x02] rec0=03 rec1=00 rec2=04 rec3=056
        [0x03] rec0=12 rec1=00 rec2=05 rec3=098
        [0x04] rec0=0e rec1=00 rec2=06 rec3=000
        [0x05] rec0=0f rec1=00 rec2=06 rec3=000
    tail 0x215255b72840c76691aa0 0x42a00088462063c03
Free Block Chain:
  0x3: 0000  00 00 00 10 80 06 61 74 65 20 69 73 06 00 00 00  ┆      ate is    ┆