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

⟦9d9351dab⟧ Ada Source

    Length: 13312 (0x3400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body System_Defined_Predicate, seg_03bb56, seg_03c0c8, seg_03c533, seg_03c6da, separate Generic_Fact_Base.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_Fact_Base.Predicate)
package body System_Defined_Predicate is

    use System_Defined;

    function As_Slot_Expr (For_Object : Slot.Object) return Expression_Object
        renames Slot_Object_Expression;

    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;


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


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



    -- Slot value predicates

    function Is_Equal (The_Value : Slot.Object) return Object is
    begin
        return Is_Equal (As_Slot_Expr (The_Value));
    end Is_Equal;

    function Is_Less (The_Value : Slot.Object) return Object is
    begin
        return Is_Less (As_Slot_Expr (The_Value));
    end Is_Less;

    function Is_Less_Or_Equal (The_Value : Slot.Object) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (The_Value));
    end Is_Less_Or_Equal;

    function Is_Greater (The_Value : Slot.Object) return Object is
    begin
        return Is_Greater (As_Slot_Expr (The_Value));
    end Is_Greater;

    function Is_Greater_Or_Equal (The_Value : Slot.Object) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (The_Value));
    end Is_Greater_Or_Equal;

    function Is_Different (The_Value : Slot.Object) return Object is
    begin
        return Is_Different (As_Slot_Expr (The_Value));
    end Is_Different;


    -- Integer value predicate shortcuts

    function Is_Equal (The_Value : Integer) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;


    function Is_Less (The_Value : Integer) return Object is
    begin
        return Is_Less (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less;


    function Is_Less_Or_Equal (The_Value : Integer) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less_Or_Equal;


    function Is_Greater (The_Value : Integer) return Object is
    begin
        return Is_Greater (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater;


    function Is_Greater_Or_Equal (The_Value : Integer) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater_Or_Equal;


    function Is_Different (The_Value : Integer) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Different;


    -- Boolean value predicate shortcuts

    function Is_Equal (The_Value : Boolean) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;

    function Is_Different (The_Value : Boolean) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Different;


    -- Float value predicate shortcuts

    function Is_Equal (The_Value : Float) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;

    function Is_Less (The_Value : Float) return Object is
    begin
        return Is_Less (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less;

    function Is_Less_Or_Equal (The_Value : Float) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less_Or_Equal;

    function Is_Greater (The_Value : Float) return Object is
    begin
        return Is_Greater (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater;

    function Is_Greater_Or_Equal (The_Value : Float) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater_Or_Equal;

    function Is_Different (The_Value : Float) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Different;

    -- Duration value predicate shortcuts

    function Is_Equal (The_Value : Duration) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;

    function Is_Less (The_Value : Duration) return Object is
    begin
        return Is_Less (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less;

    function Is_Less_Or_Equal (The_Value : Duration) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less_Or_Equal;

    function Is_Greater (The_Value : Duration) return Object is
    begin
        return Is_Greater (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater;

    function Is_Greater_Or_Equal (The_Value : Duration) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater_Or_Equal;

    function Is_Different (The_Value : Duration) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Different;


    -- Character value predicate shortcuts

    function Is_Equal (The_Value : Character) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;

    function Is_Less (The_Value : Character) return Object is
    begin
        return Is_Less (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less;

    function Is_Less_Or_Equal (The_Value : Character) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less_Or_Equal;

    function Is_Greater (The_Value : Character) return Object is
    begin
        return Is_Greater (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater;

    function Is_Greater_Or_Equal (The_Value : Character) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater_Or_Equal;

    function Is_Different (The_Value : Character) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Different;


    -- String value predicate shortcuts

    function Is_Equal (The_Value : String) return Object is
    begin
        return Is_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Equal;

    function Is_Less (The_Value : String) return Object is
    begin
        return Is_Less (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less;

    function Is_Less_Or_Equal (The_Value : String) return Object is
    begin
        return Is_Less_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Less_Or_Equal;

    function Is_Greater (The_Value : String) return Object is
    begin
        return Is_Greater (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater;

    function Is_Greater_Or_Equal (The_Value : String) return Object is
    begin
        return Is_Greater_Or_Equal (As_Slot_Expr (Slot.Value (The_Value)));
    end Is_Greater_Or_Equal;

    function Is_Different (The_Value : String) return Object is
    begin
        return Is_Different (As_Slot_Expr (Slot.Value (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=c
    nid=2
    hdr6=16
        [0x00] rec0=1d rec1=00 rec2=01 rec3=026
        [0x01] rec0=21 rec1=00 rec2=0c rec3=056
        [0x02] rec0=29 rec1=00 rec2=0b rec3=012
        [0x03] rec0=23 rec1=00 rec2=0a rec3=00a
        [0x04] rec0=21 rec1=00 rec2=09 rec3=040
        [0x05] rec0=1d rec1=00 rec2=08 rec3=000
        [0x06] rec0=1d rec1=00 rec2=07 rec3=012
        [0x07] rec0=1e rec1=00 rec2=06 rec3=00e
        [0x08] rec0=1f rec1=00 rec2=05 rec3=00e
        [0x09] rec0=25 rec1=00 rec2=04 rec3=00a
        [0x0a] rec0=0c rec1=00 rec2=03 rec3=000
        [0x0b] rec0=79 rec1=00 rec2=00 rec3=000
    tail 0x2173988a68540512ab392 0x42a00088462063c03
Free Block Chain:
  0x2: 0000  00 00 03 fc 80 0c 20 54 68 65 5f 43 6f 64 65 29  ┆       The_Code)┆