5 My_flex_lexer *lexer=0;
13 yyerror(const char *s)
35 lexer = new My_flex_lexer;
36 lexer->set_debug( !monitor.silence("Lexer") && check_debug);
40 Input_file::Input_file(String s)
47 is = new ifstream( s );
50 String e("can\'t open `" + s+"\'");
53 cout << "["<<s<<flush;
56 Input_file::~Input_file()