DataMuseum.dk

top - metrics - download

    Length: 735 (0x2df)
    Types: TextFile
    Names: »V«

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

TextFile

with Application;
package Animal is

    type Object is new Application.Object;

    type State is private;


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


    procedure Sleep (Animal : Standard.Animal.Object; Time : Duration);


    procedure Set_Mass (Animal : in out Standard.Animal.Object; Kg : Positive);

    function Mass (Animal : Standard.Animal.Object) return Positive;


    function Part_Of (Object : Animal.Object) return State;




    procedure Set_Heir (State : in out Animal.State; Heir : Application.Object);




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