DataMuseum.dk

top - download

    Length: 896 (0x380)
    Types: TextFile
    Names: »B«

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

TextFile

with Text_Io;
package body My_Time is

    package Time_Io is new Text_Io.Fixed_Io (My_Time.Object);

    function Get_From_File (The_File : Text_Io.File_Type)
                           return My_Time.Object is
        Inter : My_Time.Object;
    begin
        Time_Io.Get (The_File, Inter);
        return Inter;
    end Get_From_File;


    procedure Set_To_File (The_Object : My_Time.Object;
                           The_File : Text_Io.File_Type) is
    begin
        Time_Io.Put (File => The_File, Item => The_Object, Aft => 1);
    end Set_To_File;


    procedure Set_To_Screen (The_Object : My_Time.Object) is
    begin
        Time_Io.Put (Item => The_Object, Aft => 1);
    end Set_To_Screen;


    function Convert_To (From : Integer) return My_Time.Object is
    begin
        return My_Time.Object (My_Time.Object (From) / My_Time.Object (10.0));
    end Convert_To;

end My_Time;