DataMuseum.dk

top - download

    Length: 1016 (0x3f8)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Object;
with Text_Io;

package Scanner is
    type Token is (Ok, Equal, Less, Greater, Greater_Equal, Less_Equal,
                   Start, Reserved, Avec, Pour, Prendre, Renvoyer,
                   Integer, Binary, Identifier, Keyword, Open_Parenthesis,
                   Close_Parenthesis, Open_Brace, Close_Brace,
                   Point, Special, Unknown, String, Eof, Eol);
    type Etat is private;

    procedure Open (Name : in Standard.String);
    procedure Close;
    function At_End return Boolean;
    function At_Line return Boolean;
    procedure Next;
    function Get_Value return Object.Tiny_String;
    function Get_Token return Token;
    function Get_Line_Number return Object.Index;
    procedure Put_Line_Number (Value : Object.Index);

private
    type Etat is (Normal, Comment, Identifier, Number,
                  Found_String, String, Greater, Less, Found);

    Fichier_Source : Text_Io.File_Type;

    Current_Token : Token;
    Current_Value : Object.Tiny_String;
end Scanner;