|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 7168 (0x1c00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Generic_Predicate, seg_02cc7f, seg_02ced3
└─⟦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⟧
with Alias; with Output_Stream; generic type User_Defined_Operators is (<>); with function User_Defined_Match (Using_Operator : User_Defined_Operators; Value : Integer; Against : Integer) 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 Integer_Expression (For_Integer : Integer) return Expression_Object; with function Alias_Expression (For_Alias : Alias.Name) return Expression_Object; with function Evaluate (The_Object : Expression_Object) return Integer; 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 : Integer; 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; -- 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; -- 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=6 nid=3 hdr6=a [0x00] rec0=19 rec1=00 rec2=01 rec3=002 [0x01] rec0=1a rec1=00 rec2=02 rec3=044 [0x02] rec0=03 rec1=00 rec2=04 rec3=056 [0x03] rec0=12 rec1=00 rec2=05 rec3=098 [0x04] rec0=0e rec1=00 rec2=06 rec3=000 [0x05] rec0=0f rec1=00 rec2=06 rec3=000 tail 0x215255b72840c76691aa0 0x42a00088462063c03 Free Block Chain: 0x3: 0000 00 00 00 10 80 06 61 74 65 20 69 73 06 00 00 00 ┆ ate is ┆