DataMuseum.dk

top - metrics - download

    Length: 893 (0x37d)
    Types: TextFile
    Names: »B«

└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

package body Document is
    File            : Text_Io.File_Type;
    The_Line_Number : Natural := 0;

    function Number_Of_Lines return Natural is
    begin
        return The_Line_Number;
    end Number_Of_Lines;

    procedure Open (Le_Nom : in String) is
    begin
        Text_Io.Open (File, Text_Io.In_File, Le_Nom);
        Text_Io.Set_Input (File);
    exception
        when others =>
            raise Open_Error;
    end Open;

    procedure Close is
    begin
        Text_Io.Close (File);
    exception
        when others =>
            raise Close_Error;
    end Close;


    function Eof return Boolean is
    begin
        return Text_Io.End_Of_File;
    end Eof;

    procedure Get_Line (Str : out String; Last_Char : out Natural) is
    begin
        Text_Io.Get_Line (File, Str, Last_Char);
        The_Line_Number := The_Line_Number + 1;
    end Get_Line;

end Document;