|
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: 16384 (0x4000) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package Fact, seg_02acd6
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
with Condition; with Constant_String; with Output_Stream; package Fact is type Name is private; Null_Name : constant Name; type Collection is array (Positive range <>) of Name; subtype Class_Name is Constant_String.Object; Null_Class_Name : Class_Name renames Constant_String.Null_Object; ------------------------------------------------------------------------ Max_Slots : constant := 20; subtype Value_Size is Natural range 0 .. Max_Slots; subtype Slot_Names is Value_Size range 1 .. Max_Slots; type Slots is array (Slot_Names range <>) of Integer; type Frame (Size : Value_Size := 0) is record Class : Class_Name; Value : Slots (1 .. Size); end record; Null_Frame : constant Frame := (Size => 0, Class => Null_Class_Name, Value => (others => 0)); ------------------------------------------------------------------------ type Query_Qualifier is (Find, Check_No); type Patterns is array (Slot_Names range <>) of Condition.Object; 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 => (others => Condition.Is_Any)); type Queries is array (Positive range <>) of Query; Null_Premiss : constant Queries := (1 .. 0 => Null_Query); ------------------------------------------------------------------------ Overflow : exception; function Get (The_Fact : Name) return Frame; function Get (The_Fact : Name; Slot : Slot_Names) return Integer; function Empty_Collection return Collection; function Retrieve (Filter : Queries) return Collection; procedure Add (The_Fact : Frame); procedure Delete (The_Fact : Name); procedure Change (The_Fact : Name; Value : Frame); procedure Change (The_Fact : Name; The_Slot : Slot_Names; To_Value : Integer); procedure Put (The_Query : Query; Where : Output_Stream.Object); procedure Put (The_Queries : Queries; Where : Output_Stream.Object); procedure Put (The_Fact : Name; Where : Output_Stream.Object); procedure Put (The_Collection : Collection; Where : Output_Stream.Object); procedure Put (Where : Output_Stream.Object); -- The working memory private type Name is new Natural; Null_Name : constant Name := 0; end Fact;
nblk1=f nid=2 hdr6=6 [0x00] rec0=1e rec1=00 rec2=01 rec3=02c [0x01] rec0=19 rec1=00 rec2=08 rec3=050 [0x02] rec0=13 rec1=00 rec2=0f rec3=000 [0x03] rec0=10 rec1=00 rec2=0f rec3=000 [0x04] rec0=c0 rec1=00 rec2=00 rec3=100 [0x05] rec0=41 rec1=e6 rec2=a7 rec3=0f6 [0x06] rec0=b8 rec1=6c rec2=00 rec3=002 [0x07] rec0=08 rec1=3c rec2=d4 rec3=71e [0x08] rec0=f6 rec1=36 rec2=80 rec3=000 [0x09] rec0=41 rec1=07 rec2=9a rec3=4e3 [0x0a] rec0=dc rec1=ab rec2=50 rec3=000 [0x0b] rec0=08 rec1=00 rec2=00 rec3=000 [0x0c] rec0=24 rec1=00 rec2=0a rec3=2b5 [0x0d] rec0=40 rec1=00 rec2=00 rec3=002 [0x0e] rec0=00 rec1=00 rec2=00 rec3=019 tail 0x21723e7e883e5666bd80b 0x42a00088462063c03 Free Block Chain: 0x2: 0000 00 09 03 0d 80 1c 20 20 20 20 20 20 20 20 20 20 ┆ ┆ 0x9: 0000 00 0c 00 a8 80 1c 70 75 74 29 3b 20 20 2d 2d 20 ┆ put); -- ┆ 0xc: 0000 00 07 03 fc 80 0f 20 20 20 20 20 20 65 6e 64 20 ┆ end ┆ 0x7: 0000 00 05 00 17 80 0f 20 20 20 20 20 20 20 20 65 6e ┆ en┆ 0x5: 0000 00 06 00 11 80 0e 20 20 20 20 20 20 20 20 20 20 ┆ ┆ 0x6: 0000 00 04 03 fc 00 1e 20 20 20 20 20 20 20 20 20 20 ┆ ┆ 0x4: 0000 00 03 00 0a 80 07 42 61 6c 6c 20 3d 3e 07 20 20 ┆ Ball => ┆ 0x3: 0000 00 0a 03 fc 80 30 20 20 54 68 65 5f 42 61 6c 6c ┆ 0 The_Ball┆ 0xa: 0000 00 0d 03 fc 00 1f 20 20 20 20 20 20 20 20 20 20 ┆ ┆ 0xd: 0000 00 0b 00 08 80 05 6f 74 20 3d 3e 05 00 00 00 00 ┆ ot => ┆ 0xb: 0000 00 0e 03 fc 80 08 3e 20 48 65 61 70 29 2c 08 00 ┆ > Heap), ┆ 0xe: 0000 00 00 00 09 80 06 74 61 74 65 20 3d 06 00 00 00 ┆ tate = ┆