DataMuseum.dk

top - download

    Length: 931 (0x3a3)
    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

package body Char is

    procedure Char_Open (Afile : Text_Io.File_Type) is
    begin
        Look_Ahead := False;
    end Char_Open;

    function Char_At_End (Afile : Text_Io.File_Type) return Boolean is
    begin
        return Text_Io.End_Of_File (Afile);
    end Char_At_End;

    procedure Char_Next (Afile : Text_Io.File_Type) is
    begin
        if (Look_Ahead /= True) then
            Text_Io.Get (Afile, Current_Char);
        else
            Look_Ahead := False;
        end if;
    end Char_Next;

    function Char_Value (Afile : Text_Io.File_Type) return Character is
    begin
        return Current_Char;
    end Char_Value;

    function Char_Get (Afile : Text_Io.File_Type) return Character is
    begin
        Char_Next (Afile);
        return Char_Value (Afile);
    end Char_Get;

    procedure Char_Unget (Afile : Text_Io.File_Type) is
    begin
        Look_Ahead := True;
    end Char_Unget;

end Char;