00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047 #ifndef __FLEX_LEXER_H
00048
00049 #define __FLEX_LEXER_H
00050
00051 #include <iostream>
00052 # ifndef FLEX_STD
00053 # define FLEX_STD std::
00054 # endif
00055
00056 extern "C++" {
00057
00058 struct yy_buffer_state;
00059 typedef int yy_state_type;
00060
00061 class FlexLexer {
00062 public:
00063 virtual ~FlexLexer() { }
00064
00065 const char* YYText() { return yytext; }
00066 int YYLeng() { return yyleng; }
00067
00068 virtual void
00069 yy_switch_to_buffer(struct yy_buffer_state* new_buffer) = 0;
00070 virtual struct yy_buffer_state*
00071 yy_create_buffer(FLEX_STD istream* s, int size) = 0;
00072 virtual void yy_delete_buffer(struct yy_buffer_state* b) = 0;
00073 virtual void yyrestart(FLEX_STD istream* s) = 0;
00074
00075 virtual int yylex() = 0;
00076
00077
00078 int yylex(FLEX_STD istream* new_in, FLEX_STD ostream* new_out = 0)
00079 {
00080 switch_streams(new_in, new_out);
00081 return yylex();
00082 }
00083
00084
00085
00086 virtual void switch_streams(FLEX_STD istream* new_in = 0,
00087 FLEX_STD ostream* new_out = 0) = 0;
00088
00089 int lineno() const { return yylineno; }
00090
00091 int debug() const { return yy_flex_debug; }
00092 void set_debug(int flag) { yy_flex_debug = flag; }
00093
00094 protected:
00095 char* yytext;
00096 int yyleng;
00097 int yylineno;
00098 int yy_flex_debug;
00099 };
00100
00101 }
00102 #endif
00103
00104 #if defined(yyFlexLexer) || ! defined(yyFlexLexerOnce)
00105
00106
00107
00108 #define yyFlexLexerOnce
00109
00110 extern "C++" {
00111
00112 class yyFlexLexer : public FlexLexer
00113 {
00114 public:
00115
00116
00117 yyFlexLexer(FLEX_STD istream* arg_yyin = 0,
00118 FLEX_STD ostream* arg_yyout = 0);
00119
00120 virtual ~yyFlexLexer();
00121
00122 void yy_switch_to_buffer(struct yy_buffer_state* new_buffer);
00123 struct yy_buffer_state* yy_create_buffer(FLEX_STD istream* s, int size);
00124 void yy_delete_buffer(struct yy_buffer_state* b);
00125 void yyrestart(FLEX_STD istream* s);
00126
00127 void yypush_buffer_state(struct yy_buffer_state* new_buffer);
00128 void yypop_buffer_state(void);
00129
00130 virtual int yylex();
00131 virtual void switch_streams(FLEX_STD istream* new_in,
00132 FLEX_STD ostream* new_out);
00133
00134 protected:
00135 virtual int LexerInput(char* buf, int max_size);
00136 virtual void LexerOutput(const char* buf, int size);
00137 virtual void LexerError(const char msg[]);
00138
00139 void yyunput(int c, register char* buf_ptr);
00140 int yyinput();
00141
00142 void yy_load_buffer_state();
00143 void yy_init_buffer(struct yy_buffer_state* b, FLEX_STD istream* s);
00144 void yy_flush_buffer(struct yy_buffer_state* b);
00145
00146 int yy_start_stack_ptr;
00147 int yy_start_stack_depth;
00148 int* yy_start_stack;
00149
00150 void yy_push_state(int new_state);
00151 void yy_pop_state();
00152 int yy_top_state();
00153
00154 yy_state_type yy_get_previous_state();
00155 yy_state_type yy_try_NUL_trans(yy_state_type current_state);
00156 int yy_get_next_buffer();
00157
00158 FLEX_STD istream* yyin;
00159 FLEX_STD ostream* yyout;
00160
00161
00162 char yy_hold_char;
00163
00164
00165 int yy_n_chars;
00166
00167
00168 char* yy_c_buf_p;
00169
00170 int yy_init;
00171 int yy_start;
00172
00173
00174
00175 int yy_did_buffer_switch_on_eof;
00176
00177
00178 size_t yy_buffer_stack_top;
00179 size_t yy_buffer_stack_max;
00180 struct yy_buffer_state ** yy_buffer_stack;
00181 void yyensure_buffer_stack(void);
00182
00183
00184
00185
00186 yy_state_type yy_last_accepting_state;
00187 char* yy_last_accepting_cpos;
00188
00189 yy_state_type* yy_state_buf;
00190 yy_state_type* yy_state_ptr;
00191
00192 char* yy_full_match;
00193 int* yy_full_state;
00194 int yy_full_lp;
00195
00196 int yy_lp;
00197 int yy_looking_for_trail_begin;
00198
00199 int yy_more_flag;
00200 int yy_more_len;
00201 int yy_more_offset;
00202 int yy_prev_more_offset;
00203 };
00204
00205 }
00206
00207 #endif