DataMuseum.dk

top - download

    Length: 995 (0x3e3)
    Types: TextFile
    Names: »B«

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

TextFile

with Animal;
with Application;
with Text_Io;
with Unchecked_Conversion;
package body Fish is

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

    type P_Fish_State is access Fish.State;


    function Application_View_Of is
       new Unchecked_Conversion (Source => P_Fish_State,
                                 Target => Application.Object);



    function Create (Offspring_No : Natural := 0) return Object is
        A : Animal.Object;
        P : P_Fish_State;  
        As : Animal.State;
    begin
        P := new Fish.State;
        P.Offspring_No := Offspring_No;
        P.Heir := null;
        A := Animal.Create (1);
        As := Animal.Part_Of (A);
        Animal.Set_Heir (As, Application_View_Of (P));

        return Fish.Object (A);
    end Create;


    procedure Swim (Fish : Standard.Fish.Object) is
    begin
        Text_Io.Put_Line ("fish now swimming ...");
    end Swim;
end Fish;