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

⟦630f0a9b2⟧ TextFile

    Length: 1423 (0x58f)
    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;
    The_Size : in Positive;
    Maximum_Children : in Positive;
package Tree_Arbitrary_Single_Bounded_Managed is

    type Tree is private;

    Null_Tree : constant Tree;

    procedure Copy (From_The_Tree : in Tree; To_The_Tree : in out Tree);
    procedure Clear (The_Tree : in out Tree);
    procedure Construct (The_Item : in Item;
                         And_The_Tree : in out Tree;
                         Number_Of_Children : in Natural;
                         On_The_Child : in Natural);
    procedure Set_Item (Of_The_Tree : in out Tree; To_The_Item : in Item);
    procedure Swap_Child (The_Child : in Positive;
                          Of_The_Tree : in out Tree;
                          And_The_Tree : in out Tree);

    function Is_Equal (Left : in Tree; Right : in Tree) return Boolean;
    function Is_Null (The_Tree : in Tree) return Boolean;
    function Item_Of (The_Tree : in Tree) return Item;
    function Number_Of_Children_In (The_Tree : in Tree) return Natural;
    function Child_Of (The_Tree : in Tree; The_Child : in Positive) return Tree;

    Overflow : exception;
    Tree_Is_Null : exception;
    Tree_Is_Not_Null : exception;
    Child_Error : exception;

private
    type Tree is
        record
            The_Head : Natural := 0;
        end record;
    Null_Tree : constant Tree := Tree'(The_Head => 0);
end Tree_Arbitrary_Single_Bounded_Managed;