|
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: 3072 (0xc00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package String_Tables, seg_020b96
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
--| @SUMMARY Test Package --| package String_Tables is type Item is private; type Table is private; Table_Full : exception; Another : exception; -- create a table for unique strings function New_Table (Minimum_Table_Size : Natural := 127) return Table; function Nil return Item; -- return unique item in table, ignore_case => upper_case storage function Unique (Source : String; In_Table : Table; Ignore_Case : Boolean := True) return Item; -- return item if present, otherwise Nil function Find (Source : String; In_Table : Table; Ignore_Case : Boolean := True) return Item; -- return an item without entering in table function Allocate (Source : String; In_Table : Table) return Item; -- compare strings for identity, then same contents function Equal (L, R : Item) return Boolean; -- representation of string, suitable for hashing function Unique_Index (U : Item) return Integer; -- value of character or entire string function Char_At (Source : Item; At_Pos : Natural) return Character; function Image (Source : Item) return String; function Length (Source : Item) return Natural; function Is_Nil (Source : Item) return Boolean; type Iterator is private; procedure Init (Iter : out Iterator; The_Table : Table); procedure Next (Iter : in out Iterator); function Value (Iter : Iterator) return Item; function Done (Iter : Iterator) return Boolean; private type Item is new Boolean; type Table is new Boolean; type Iterator is new Boolean; end String_Tables;
nblk1=2 nid=0 hdr6=4 [0x00] rec0=21 rec1=00 rec2=01 rec3=000 [0x01] rec0=19 rec1=00 rec2=02 rec3=000 tail 0x2171d2e12838d44ec1d53 0x42a00088462061e03