DataMuseum.dk

top - download

    Length: 1071 (0x42f)
    Types: TextFile
    Names: »B«

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

TextFile

with Text_Io;
package body File is  

    Current_Char : Character;
    Look_A_Head : Boolean;

    procedure Open (A_File : Text_Io.File_Type) is
    begin
        Look_A_Head := False;
    end Open;


    function At_End (A_File : Text_Io.File_Type) return Boolean is
    begin
        if Text_Io.End_Of_File (A_File) then
            Look_A_Head := True;
        else
            Look_A_Head := False;
        end if;
        return Look_A_Head;
    end At_End;


    procedure Next (A_File : Text_Io.File_Type) is
    begin
        if not Look_A_Head then
            Text_Io.Get (A_File, Current_Char);
        else
            Look_A_Head := False;
        end if;
    end Next;


    function Value (A_File : Text_Io.File_Type) return Character is
    begin
        return Current_Char;
    end Value;


    function Get (A_File : Text_Io.File_Type) return Character is
    begin
        Next (A_File);
        return Value (A_File);
    end Get;


    procedure Unget (A_File : Text_Io.File_Type) is
    begin
        Look_A_Head := True;
    end Unget;
end File;