DataMuseum.dk

top - download

    Length: 2903 (0xb57)
    Types: TextFile
    Names: »B«

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

TextFile

with Oo_Ada_Exception;
with Text_Io;
with Unchecked_Conversion;
with Unchecked_Deallocation;

package body Animal is

    procedure Free is new Unchecked_Deallocation (State, State_Ptr);

    function Animal_View_Of is
       new Unchecked_Conversion
              (Source => Application.Object, Target => State_Ptr);


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


    function Create (Offspring_No : Natural := 0) return Object is
        This_Application : Animal.Application.Object;
        This_State_Ptr : State_Ptr;
    begin
        This_State_Ptr := new State;
        This_State_Ptr.Offspring_No := Offspring_No;
        This_Application := Application.Create (1);
        Application.Set_Heir (This_Application,
                              Application_View_Of (This_State_Ptr));

        return Object (This_Application);
    end Create;


    procedure Delete (This_Animal : in out Object) is
        This_State_Ptr : State_Ptr := Part_Of (This_Animal);
    begin
        case Part_Of (This_Animal).Offspring_No is
            when 0 =>
                Free (This_State_Ptr);
                Application.Delete (Application.Object (This_Animal));
            when 1 =>
                Fish.Delete (Fish.Object (This_Animal));
            when 2 =>
                Bird.Delete (Bird.Object (This_Animal));
            when others =>
                raise Oo_Ada_Exception.Offspring_Error;
        end case;
    end Delete;


    package Self is
        procedure Sleep (This_Animal : Object);
        procedure Eat (This_Animal : Object);
    end Self;


    package body Self is separate;


    procedure Sleep (This_Animal : Object) is separate;


    procedure Eat (This_Animal : Object) is separate;


    procedure Set_Mass (This_Animal : in out Object; Kg : Positive) is
    begin
        Part_Of (This_Animal).Mass := Kg;
    end Set_Mass;


    function Get_Mass (This_Animal : Object) return Positive is
    begin
        return Part_Of (This_Animal).Mass;
    end Get_Mass;


    procedure Image (This_Animal : Object) is
    begin
        Text_Io.Put_Line ("Animal is:");
        Text_Io.Put_Line ("   masse: " &
                          Positive'Image (Part_Of (This_Animal).Mass));
    end Image;


    function Part_Of (This_Animal : Object) return State_Ptr is  
    begin
        return Animal_View_Of (S => Application.Get_Heir
                                       (Application.Object (This_Animal)));
    end Part_Of;


    procedure Set_Heir (This_State_Ptr : in out State_Ptr;
                        Heir : Application.Object) is
    begin
        This_State_Ptr.Heir := Heir;
    end Set_Heir;


    function Get_Heir (This_State_Ptr : State_Ptr) return Application.Object is
    begin
        return This_State_Ptr.Heir;
    end Get_Heir;


end Animal;