DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ B T ┃

⟦9a8be97fd⟧ TextFile

    Length: 9879 (0x2697)
    Types: TextFile
    Names: »B«

Derivation

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧

TextFile

separate (Generic_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;