6 My_flex_lexer *lexer=0;
10 return lexer->yylex();
14 yyerror(const char *s)
36 lexer = new My_flex_lexer;
37 lexer->set_debug( !monitor.silence("Lexer") && check_debug);
41 Input_file::Input_file(String s)
51 String e("can\'t open `" + s+"\'");
54 is = new ifstream( pf);
56 cout << "["<<pf<<flush;
59 Input_file::~Input_file()