|
|
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 - metrics - download
Length: 6144 (0x1800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Symbols, seg_0381f5
└─⟦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 0x21735beca84e67e4ad0f6 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)┆