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 - download

⟦4a0454c1b⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body System_Defined_Predicate, seg_02ccbd, seg_02cf14, separate Generic_Predicate

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⟧ 

separate (Generic_Predicate)
package body System_Defined_Predicate is

    use System_Defined;

    function Make_Unary (Operator : Operators) return Object is
        The_Code : Unary_Predicate.Object;
    begin
        The_Code := Unary_Predicate.Make (Operator);
        return New_Node (For_Code => (Sub_Class      => Unary,
                                      The_Unary_Code => The_Code));
    end Make_Unary;


    function Make_Binary (Operator : Operators; Operand : Expression_Object)
                         return Object is
        The_Code : Binary_Predicate.Object;
    begin
        The_Code := Binary_Predicate.Make (Operator, Operand);
        return New_Node (For_Code => (Sub_Class       => Binary,
                                      The_Binary_Code => The_Code));
    end Make_Binary;


    function Is_Equal (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Equal, The_Object);
    end Is_Equal;


    function Is_Less (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Less, The_Object);
    end Is_Less;


    function Is_Less_Or_Equal (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Less_Or_Equal, The_Object);
    end Is_Less_Or_Equal;


    function Is_Greater (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Greater, The_Object);
    end Is_Greater;


    function Is_Greater_Or_Equal
                (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Greater_Or_Equal, The_Object);
    end Is_Greater_Or_Equal;


    function Is_Different (The_Object : Expression_Object) return Object is
    begin
        return Make_Binary (Is_Different, The_Object);
    end Is_Different;


    function Is_Any return Object is
    begin
        return Make_Unary (Is_Any);
    end Is_Any;


    -- value predicate shortcuts


    function Is_Equal (The_Value : Integer) return Object is
    begin
        return Is_Equal (Integer_Expression (The_Value));
    end Is_Equal;


    function Is_Less (The_Value : Integer) return Object is
    begin
        return Is_Less (Integer_Expression (The_Value));
    end Is_Less;


    function Is_Less_Or_Equal (The_Value : Integer) return Object is
    begin
        return Is_Less_Or_Equal (Integer_Expression (The_Value));
    end Is_Less_Or_Equal;


    function Is_Greater (The_Value : Integer) return Object is
    begin
        return Is_Greater (Integer_Expression (The_Value));
    end Is_Greater;


    function Is_Greater_Or_Equal (The_Value : Integer) return Object is
    begin
        return Is_Greater_Or_Equal (Integer_Expression (The_Value));
    end Is_Greater_Or_Equal;


    function Is_Different (The_Value : Integer) return Object is
    begin
        return Is_Different (Integer_Expression (The_Value));
    end Is_Different;


    -- alias predicate shortcuts


    function Is_Equal (The_Alias : Alias.Name) return Object is
    begin
        return Is_Equal (Alias_Expression (The_Alias));
    end Is_Equal;


    function Is_Less (The_Alias : Alias.Name) return Object is
    begin
        return Is_Less (Alias_Expression (The_Alias));
    end Is_Less;


    function Is_Less_Or_Equal (The_Alias : Alias.Name) return Object is
    begin
        return Is_Less_Or_Equal (Alias_Expression (The_Alias));
    end Is_Less_Or_Equal;


    function Is_Greater (The_Alias : Alias.Name) return Object is
    begin
        return Is_Greater (Alias_Expression (The_Alias));
    end Is_Greater;


    function Is_Greater_Or_Equal (The_Alias : Alias.Name) return Object is
    begin
        return Is_Greater_Or_Equal (Alias_Expression (The_Alias));
    end Is_Greater_Or_Equal;


    function Is_Different (The_Alias : Alias.Name) return Object is
    begin
        return Is_Different (Alias_Expression (The_Alias));
    end Is_Different;

end System_Defined_Predicate;

    nblk1=5
    nid=0
    hdr6=a
        [0x00] rec0=1d rec1=00 rec2=01 rec3=01e
        [0x01] rec0=25 rec1=00 rec2=02 rec3=004
        [0x02] rec0=26 rec1=00 rec2=03 rec3=014
        [0x03] rec0=25 rec1=00 rec2=04 rec3=02c
        [0x04] rec0=06 rec1=00 rec2=05 rec3=000
    tail 0x215256324840c7fc2552b 0x42a00088462063c03