DataMuseum.dk

top - download

    Length: 3955 (0xf73)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »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 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;