DataMuseum.dk

top - download

    Length: 1113 (0x459)
    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, Bounded_String;

package body Lexical is

    Current_Token : Token;
    Current_Value : Lexeme;
    The_File : Text_Io.File_Type;

    package Simulated_Automate is
        procedure Next;
    end Simulated_Automate;

    package body Simulated_Automate is separate;


    procedure Open (File_Name : in String) is
    begin
        if File_Name = "" then
            Text_Io.Open (The_File, Text_Io.Mode (Text_Io.Standard_Input),
                          Text_Io.Name (Text_Io.Standard_Input));
        else
            Text_Io.Open (The_File, Text_Io.In_File, File_Name);
        end if;
    end Open;

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

    procedure Next is
    begin
        Simulated_Automate.Next;
    end Next;

    function Get return Token is
    begin
        return Current_Token;
    end Get;

    function Value return Lexeme is
    begin
        return Current_Value;  
    end Value;

    procedure Close (File_Name : in String) is
    begin
        Text_Io.Close (The_File);
    end Close;
end Lexical;