|
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_Fact_Base, seg_02cc7d
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Constant_String;
with Output_Stream;
generic
Max_Frame_Count : Natural := 200;
Max_Slots : Natural := 20;
type Predicate_Object is private;
Null_Predicate : Predicate_Object;
with function Predicate_Match (Value : Integer; Against : Predicate_Object)
return Boolean is <>;
with procedure Predicate_Put (The_Expression : Predicate_Object;
Where : Output_Stream.Object) is <>;
package Generic_Fact_Base is
type Object is private;
Null_Object : constant Object;
type Collection is array (Positive range <>) of Object;
subtype Value_Size is Natural range 0 .. Max_Slots;
type Query (Size : Value_Size := 0) is private;
Null_Query : constant Query;
type Queries is array (Positive range <>) of Query;
function Empty_Collection return Collection;
function Null_Premiss return Queries;
function Retrieve (Filter : Queries) return Collection;
procedure Make_Empty;
procedure Put (The_Query : Query; Where : Output_Stream.Object);
procedure Put (The_Queries : Queries; Where : Output_Stream.Object);
procedure Put (The_Fact : Object; Where : Output_Stream.Object);
procedure Put (The_Collection : Collection; Where : Output_Stream.Object);
procedure Put (Where : Output_Stream.Object); -- The working memory
Overflow : exception;
generic
Class_Name : String;
type Slot_Names is (<>);
with function Attribute_Image (I : Integer) return String is
Integer'Image;
package Generic_Fact is
type Slots is array (Slot_Names) of Integer;
type Patterns is array (Slot_Names) of Predicate_Object;
function Exist (What : Patterns) return Query;
function Not_Any (What : Patterns) return Query;
function Absent (What : Patterns) return Query renames Not_Any;
function Get (The_Fact : Object) return Slots;
function Get (The_Fact : Object; Slot : Slot_Names) return Integer;
procedure Add (The_Fact : Slots);
procedure Delete (The_Fact : Object);
procedure Change (The_Fact : Object; Value : Slots);
procedure Change (The_Fact : Object;
The_Slot : Slot_Names;
To_Value : Integer);
procedure Put (The_Fact : Object; Where : Output_Stream.Object);
end Generic_Fact;
private
type Object is new Natural;
Null_Object : constant Object := 0;
subtype Slot_Names is Value_Size range 1 .. Max_Slots;
type Patterns is array (Slot_Names range <>) of Predicate_Object;
subtype Class_Name is Constant_String.Object;
Null_Class_Name : Class_Name renames Constant_String.Null_Object;
type Query_Qualifier is (Find, Check_No);
type Query (Size : Value_Size := 0) is
record
Kind : Query_Qualifier;
Class : Class_Name;
Value : Patterns (1 .. Size);
end record;
Null_Query : constant Query := Query'(Size => 0,
Kind => Find,
Class => Null_Class_Name,
Value => (1 .. 0 => Null_Predicate));
end Generic_Fact_Base;
nblk1=6
nid=4
hdr6=8
[0x00] rec0=21 rec1=00 rec2=01 rec3=050
[0x01] rec0=19 rec1=00 rec2=06 rec3=04a
[0x02] rec0=1c rec1=00 rec2=02 rec3=006
[0x03] rec0=0d rec1=00 rec2=03 rec3=000
[0x04] rec0=1c rec1=00 rec2=03 rec3=034
[0x05] rec0=0d rec1=00 rec2=04 rec3=001
tail 0x21525427e840b8876a5eb 0x42a00088462063c03
Free Block Chain:
0x4: 0000 00 05 01 dd 80 10 75 65 5f 53 69 7a 65 20 3a 3d ┆ ue_Size :=┆
0x5: 0000 00 00 00 09 80 06 20 72 65 6e 61 6d 06 00 00 00 ┆ renam ┆