DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - metrics - download
Index: T V

⟦5dcd848de⟧ TextFile

    Length: 1064 (0x428)
    Types: TextFile
    Names: »V«

Derivation

└─⟦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⟧ 

TextFile

generic
    type Item is private;
package List_Double_Unbounded_Unmanaged is

    type List is private;

    Null_List : constant List;

    procedure Copy (From_The_List : in List; To_The_List : in out List);
    procedure Clear (The_List : in out List);
    procedure Construct (The_Item : in Item; And_The_List : in out List);
    procedure Set_Head (Of_The_List : in out List; To_The_Item : in Item);
    procedure Swap_Tail (Of_The_List : in out List; And_The_List : in out List);

    function Is_Equal (Left : in List; Right : in List) return Boolean;
    function Length_Of (The_List : in List) return Natural;
    function Is_Null (The_List : in List) return Boolean;
    function Head_Of (The_List : in List) return Item;
    function Tail_Of (The_List : in List) return List;
    function Predecessor_Of (The_List : in List) return List;

    Overflow : exception;
    List_Is_Null : exception;
    Not_At_Head : exception;

private
    type Node;
    type List is access Node;
    Null_List : constant List := null;
end List_Double_Unbounded_Unmanaged;