DataMuseum.dk

top - metrics - download

    Length: 997 (0x3e5)
    Types: TextFile
    Names: »V«

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

TextFile

with Bounded_String;

package Scanner is

    Inexistant_File : exception;

    Max_Size : constant := 160;

    subtype B_String is Bounded_String.Variable_String (Max_Size);

    type Token is (L_Unknown, L_Integer, L_Identifier, L_String,
                   L_Key_Word, L_Avec, L_Pour, L_Prendre, L_Renvoyer,
                   L_Open_Bracket, L_Close_Bracket, L_Dot, L_Open_Parenthesis,
                   L_Close_Parenthesis, L_Binary_Msg, L_Eof);


    -- ouverture du fichier
    procedure Open (File_Name : String);


    -- fermeture du fichier
    procedure Close;


    -- renvoi VRAI si fin de l'analyse lexical (avec fermeture du fichier)
    function Is_At_End return Boolean;


    -- analyse lexicale du symbole suivant
    procedure Next;


    -- retourne la chaine courante
    function Value return String;


    -- retourne le token courant
    function Symbol return Token;


    -- retourne la ligne courante du fichier
    function Line_Number return Integer;

end Scanner;