|
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: 6144 (0x1800) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Symbols, seg_034a64
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
with Bounded_String; package body Symbols is procedure Put (This_Object : Object.Reference; Named : Object.Tiny_String; Into : in out Table) is begin Symbols_Table.Define (Into, Bounded_String.Image (Named), This_Object, False); end Put; procedure Get (Object_Named : Object.Tiny_String; From_Table : Table; Into : in out Object.Reference; Status : out Boolean) is begin Symbols_Table.Find (From_Table, Bounded_String.Image (Object_Named), Into, Status); end Get; function Exist (This_Name : Object.Tiny_String; Into : Table) return Boolean is Success : Boolean; An_Object : Object.Reference; begin Symbols_Table.Find (Into, Bounded_String.Image (This_Name), An_Object, Success); return Success; end Exist; procedure Remove (This_Name : Object.Tiny_String; From : in out Table) is begin Symbols_Table.Undefine (From, Bounded_String.Image (This_Name)); end Remove; procedure Free (This_Table : in out Table) is begin Symbols_Table.Make_Empty (This_Table); end Free; function Create return Table is Map : Symbols_Table.Map; begin Symbols_Table.Initialize (Map); return Map; end Create; function Is_Empty (This_Table : Table) return Boolean is begin return Symbols_Table.Is_Empty (This_Table); end Is_Empty; function Cardinality (Of_This_Table : Table) return Natural is begin return Symbols_Table.Cardinality (Of_This_Table); end Cardinality; end Symbols;
nblk1=5 nid=4 hdr6=6 [0x00] rec0=1a rec1=00 rec2=01 rec3=030 [0x01] rec0=22 rec1=00 rec2=02 rec3=016 [0x02] rec0=01 rec1=00 rec2=03 rec3=000 [0x03] rec0=01 rec1=00 rec2=03 rec3=000 [0x04] rec0=80 rec1=00 rec2=00 rec3=100 tail 0x2152c28d684d08d9e91ca 0x42a00088462060003 Free Block Chain: 0x4: 0000 00 05 00 2f 80 11 75 63 63 65 73 73 20 3a 20 42 ┆ / uccess : B┆ 0x5: 0000 00 00 00 19 80 0d 74 20 42 6f 6f 6c 65 61 6e 29 ┆ t Boolean)┆