|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 735 (0x2df)
Types: TextFile
Names: »V«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
generic
type Item is limited private;
type List is private;
with function "=" (Left : in Item; Right : in Item) return Boolean;
with function Is_Null (The_List : in List) return Boolean;
with function Head_Of (The_List : in List) return Item;
with function Tail_Of (The_List : in List) return List;
package List_Search is
function Position_Of
(The_Item : in Item; In_The_List : in List) return Positive;
function Location_Of
(The_Position : in Positive; In_The_List : in List) return List;
function Location_Of
(The_Item : in Item; In_The_List : in List) return List;
Position_Error : exception;
Item_Not_Found : exception;
end List_Search;