DataMuseum.dk

top - metrics - download

    Length: 1093 (0x445)
    Types: TextFile
    Names: »B«

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

TextFile

package body File is

    Currentchar : Character;
    Lookahead : Boolean;

    procedure Fileopen (Afile : Text_Io.File_Type) is
    begin
        Lookahead := False;
    end Fileopen;

    procedure Filenext (Afile : Text_Io.File_Type) is
    begin
        if not Lookahead then
            Text_Io.Get (Afile, Currentchar);
        else
            Lookahead := False;
        end if;
    end Filenext;

    procedure Fileunget (Afile : Text_Io.File_Type) is
    begin
        Lookahead := True;
    end Fileunget;

    function Fileatend (Afile : Text_Io.File_Type) return Boolean is
    begin
        if Lookahead then
            return False;
        elsif Text_Io.End_Of_File (Afile) then
            return True;
        else
            return False;
        end if;
    end Fileatend;

    function Filevalue (Afile : Text_Io.File_Type) return Character is
    begin
        return Currentchar;
    end Filevalue;

    function Fileget (Afile : Text_Io.File_Type) return Character is
    begin
        Filenext (Afile);
        return Filevalue (Afile);
    end Fileget;

end File;