DataMuseum.dk

top - metrics - download

    Length: 1036 (0x40c)
    Types: TextFile
    Names: »B«

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

TextFile

package body Station_Identifier is

    The_Length : constant Text_Io.Field := 3;

    package Station_Id_Io is new Text_Io.Integer_Io (Station_Identifier.Object);

    function Get_From_File (The_File : Text_Io.File_Type)
                           return Station_Identifier.Object is
        Inter : Station_Identifier.Object;
    begin
        Station_Id_Io.Get (The_File, Inter, The_Length);
        return Inter;
    end Get_From_File;

    procedure Set_To_File (The_Object : Station_Identifier.Object;
                           The_File : Text_Io.File_Type) is
    begin
        Station_Id_Io.Put (The_File, The_Object, The_Length);
    end Set_To_File;

    procedure Set_To_Screen (The_Object : Station_Identifier.Object) is
    begin
        Station_Id_Io.Put (Item => The_Object, Width => The_Length, Base => 10);
    end Set_To_Screen;


    function Convert_To (From : String) return Station_Identifier.Object is
    begin
        return Station_Identifier.Object'Value (From);
    end Convert_To;

end Station_Identifier;