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

⟦e25876bf9⟧ Ada Source

    Length: 10240 (0x2800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Generic_Predicate, seg_02d06a, seg_02d0f9

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

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;

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

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

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

end Generic_Predicate;

    nblk1=9
    nid=9
    hdr6=10
        [0x00] rec0=1a rec1=00 rec2=01 rec3=026
        [0x01] rec0=06 rec1=00 rec2=03 rec3=026
        [0x02] rec0=19 rec1=00 rec2=02 rec3=09a
        [0x03] rec0=13 rec1=00 rec2=04 rec3=07a
        [0x04] rec0=15 rec1=00 rec2=07 rec3=044
        [0x05] rec0=12 rec1=00 rec2=05 rec3=01c
        [0x06] rec0=12 rec1=00 rec2=06 rec3=028
        [0x07] rec0=09 rec1=00 rec2=08 rec3=001
        [0x08] rec0=0f rec1=74 rec2=80 rec3=000
    tail 0x21525fac284146b1c5fbf 0x42a00088462063c03
Free Block Chain:
  0x9: 0000  00 00 00 1e 80 1b 20 20 20 28 54 68 65 5f 56 61  ┆         (The_Va┆