|
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: 3072 (0xc00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Associations_Generic_Enumerated_To_Enumerated, seg_00466c
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
--| @SUMMARY This generic provides the ability to associate an enumerated --| type with another enumerated type. --| --| @INDICES (Text_Processing, Utility) --| generic type Keys is (<>); type Items is (<>); Associations_File : String; package Associations_Generic_Enumerated_To_Enumerated is --| @SUMMARY Returns True iff the specified item is associated with --| the specified key. --| function Is_Associated (This_Item : in Items; With_This_Key : in Keys) return Boolean; --| @SUMMARY Adds the specified item to the list of items associated --| with the specified key. --| --| @SPECIAL_NOTES If "Unique" is True, removes any pre-existing --| association of the specified item from all other keys. --| procedure Associate (This_Item : in Items; With_This_Key : in Keys; Unique : in Boolean := False); --| @SUMMARY Removes the specified item from the list of items associated --| with the specified key. --| procedure Dissociate (This_Item : in Items; From_This_Key : in Keys); type Item_Vector is array (Items) of Boolean; --| @SUMMARY Returns a Boolean array of items associated with the --| specified key, where True means there is an association. --| function Items_Associated_With (This_Key : in Keys) return Item_Vector; Io_Failure : exception; Bad_Entry : exception; end Associations_Generic_Enumerated_To_Enumerated;
nblk1=2 nid=0 hdr6=4 [0x00] rec0=21 rec1=00 rec2=01 rec3=012 [0x01] rec0=10 rec1=00 rec2=02 rec3=000 tail 0x2170027ba815c665e60b7 0x42a00088462061e03