DataMuseum.dk

top - download

    Length: 6650 (0x19fa)
    Types: TextFile
    Names: »V«

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

TextFile

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

    with function User_Defined_Unary_Match
                     (Using_Operator : User_Defined_Operators;
                      Value          : Slot.Object) return Boolean is <>;

    with function User_Defined_Binary_Match
                     (Using_Operator : User_Defined_Operators;
                      Value, Against : Slot.Object) 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  Slot_Object_Expression
                     (For_Object : Slot.Object) return Expression_Object;
    with function  Alias_Expression
                     (For_Alias : Alias.Name) return Expression_Object;
    with function  Evaluate (The_Object : Expression_Object) return Slot.Object;
    with procedure Put      (The_Object : Expression_Object;
                             Where      : Output_Stream.Object);
package Generic_Predicate is

    type Object is private;
    Null_Predicate : constant Object;  
    type Objects is array (Natural range <>) of Object;

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

    function Get (From_Object : Object) return Objects;

    -- 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 : Slot.Object; 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;
        function Is_Undefined return Object;
        function Is_Defined return Object;

        -- Slot value predicates

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

        -- Integer 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;

        -- Boolean value predicate shortcuts

        function Is_Equal     (The_Value : Boolean) return Object;
        function Is_Different (The_Value : Boolean) return Object;

        -- Float value predicate shortcuts

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

        -- Duration value predicate shortcuts

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

        -- Character value predicate shortcuts

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

        -- String value predicate shortcuts

        function Is_Equal            (The_Value : String) return Object;
        function Is_Less             (The_Value : String) return Object;
        function Is_Less_Or_Equal    (The_Value : String) return Object;
        function Is_Greater          (The_Value : String) return Object;
        function Is_Greater_Or_Equal (The_Value : String) return Object;
        function Is_Different        (The_Value : String) 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;
    Null_Predicates : constant Objects (1 .. 0) := (others => Null_Predicate);

end Generic_Predicate;