DataMuseum.dk

top - download

    Length: 959 (0x3bf)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Root;
package Foot is

    type State is private;

    type State_Ptr is private;


    package Application is new Root;

    type Object is new Application.Object;


    function Create (Offspring_No : Natural := 0) return Object;

    procedure Delete (This_Foot : in out Object);

    procedure Set_Length (This_Foot : in out Object; Cm : Positive);

    function Get_Length (This_Foot : Object) return Positive;

    procedure Image (This_Foot : Object);


-- PROTECTED

    function Part_Of (This_Foot : Object) return State_Ptr;

    procedure Set_Heir (This_State_Ptr : in out State_Ptr;
                        Heir : Application.Object);

    function Get_Heir (This_State_Ptr : State_Ptr) return Application.Object;



private
    type State is
        record
            Length : Positive;
            Offspring_No : Natural := 0;
            Heir : Application.Object;
        end record;

    type State_Ptr is access State;

end Foot;