DataMuseum.dk

top - metrics - download

    Length: 1413 (0x585)
    Types: TextFile
    Names: »B«

└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

package body Motor_File is
    package Integer_Io is new Text_Io.Integer_Io (Integer);


    function Read_An_Actor (F : File_Type) return Actor is
        Num : Integer;  
        An_Actor : Actor;
    begin
        Integer_Io.Get (F, Num);
        An_Actor := Num;
        return An_Actor;
    end Read_An_Actor;


    function Read_Nb_Of_Step (F : File_Type) return Integer is
        N : Integer;
    begin
        Integer_Io.Get (F, N);
        return N;
    end Read_Nb_Of_Step;


    function Read_A_Time (F : File_Type) return Time is
        A_Time : Time;
    begin
        Integer_Io.Get (F, A_Time);
        return A_Time;
    end Read_A_Time;


    function Read_An_Action (F : File_Type) return Action is
        An_Action : Action;
    begin
        Integer_Io.Get (F, An_Action);
        return An_Action;
    end Read_An_Action;


    procedure Save_Actor (F : File_Type; An_Actor : in Actor) is
    begin
        Integer_Io.Put (F, An_Actor);
    end Save_Actor;


    procedure Save_Nb_Action_Of_Role (F : File_Type; N : in Integer) is
    begin
        Integer_Io.Put (F, N);
    end Save_Nb_Action_Of_Role;


    procedure Save_Time (F : File_Type; A_Time : in Time) is
    begin
        Integer_Io.Put (F, (A_Time));
    end Save_Time;


    procedure Save_Action (F : File_Type; An_Action : in Action) is
    begin
        Integer_Io.Put (F, An_Action);
    end Save_Action;
end Motor_File;