DataMuseum.dk

top - metrics - download

    Length: 1202 (0x4b2)
    Types: TextFile
    Names: »B«

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

TextFile

separate (Error)
package body Source is

    Max : constant := 255;

    The_File : Text_Io.File_Type;
    Current_Line : Natural := 1;
    The_String : String (1 .. Max);
    Length : Natural := 0;




    procedure Open (Source_File_Name : String) is
    begin
        Text_Io.Open (File => The_File,
                      Mode => Text_Io.In_File,
                      Name => Source_File_Name,
                      Form => "");
    end Open;


    procedure Close is
    begin
        Text_Io.Close (The_File);
    end Close;


    procedure Next_Line is
    begin
        Length := 0;
        while not Text_Io.End_Of_Line (The_File) loop  
            Length := Length + 1;
            Text_Io.Get (The_File, The_String (Length));
        end loop;
        Text_Io.Skip_Line (The_File);
        Current_Line := Current_Line + 1;
    end Next_Line;


    function Image return String is
    begin
        return String (The_String (1 .. Length));
    end Image;


    function Line return Natural is
    begin
        return Current_Line - 1;
    end Line;


    function End_Of_File return Boolean is
    begin
        return Text_Io.End_Of_File (The_File);
    end End_Of_File;

end Source;