with scanner.DFA; use scanner.DFA;
with Ada.Characters.Wide_Wide_Latin_1;
with Ada.Wide_Wide_Text_IO;
package scanner.IO is
User_Input_File : Ada.Wide_Wide_Text_IO.File_Type;
User_Output_File : Ada.Wide_Wide_Text_IO.File_Type;
Null_In_Input : exception;
Aflex_Internal_Error : exception;
Unexpected_Last_Match : exception;
Pushback_Overflow : exception;
Aflex_Scanner_Jammed : exception;
type EOB_Action_Type is
(EOB_ACT_RESTART_SCAN,
EOB_ACT_END_OF_FILE,
EOB_ACT_LAST_MATCH);
YY_END_OF_BUFFER_CHAR : constant Wide_Wide_Character :=
Ada.Characters.Wide_Wide_Latin_1.NUL;
yy_n_chars : integer; -- number of characters read into yy_ch_buf
-- true when we've seen an EOF for the current input file
yy_eof_has_been_seen : boolean;
procedure YY_Input
(Buf : out Unbounded_Character_Array;
Result : out Integer;
Max_Size : Integer);
function YY_Get_Next_Buffer return EOB_Action_Type;
procedure YYUnput (c : Wide_Wide_Character; YY_BP: in out Integer);
procedure Unput (c : Wide_Wide_Character);
function Input return Wide_Wide_Character;
procedure Output (c : Wide_Wide_Character);
function YYWrap return Boolean;
procedure Open_Input (FName : String);
procedure Close_Input;
procedure Create_Output (FName : String := "");
procedure Close_Output;
end scanner.IO;