47 #ifndef VCSN_MISC_FLEX_LEXER_HH 48 # define VCSN_MISC_FLEX_LEXER_HH 54 # define FLEX_STD std:: 71 virtual void yyrestart( std::istream* s ) = 0;
73 #if 2 <= YY_FLEX_MAJOR_VERSION && 6 <= YY_FLEX_MINOR_VERSION 75 virtual void switch_streams(std::istream& new_in, std::ostream& new_out ) = 0;
76 virtual void yyrestart( std::istream& s ) = 0;
82 std::ostream* new_out =
nullptr ) = 0;
106 yyFlexLexer( std::istream& arg_yyin, std::ostream& arg_yyout );
107 yyFlexLexer( std::istream* arg_yyin =
nullptr, std::ostream* arg_yyout =
nullptr );
122 void yypop_buffer_state();
127 void scan_open_(std::istream& f);
134 std::ostream* new_out =
nullptr );
135 virtual int yywrap();
137 #if 2 <= YY_FLEX_MAJOR_VERSION && 6 <= YY_FLEX_MINOR_VERSION 140 virtual void switch_streams(std::istream& new_in, std::ostream& new_out );
141 virtual void yyrestart( std::istream& s );
144 std::istream& yyinput_stream() {
return yyin; }
149 void putback(
char c) { yyinput_stream().putback(c); }
152 virtual int LexerInput(
char* buf,
int max_size );
153 virtual void LexerOutput(
const char* buf,
int size );
154 virtual void LexerError(
const char* msg );
156 void yyunput(
int c,
char* buf_ptr );
159 void yy_load_buffer_state();
167 void yy_push_state(
int new_state );
173 int yy_get_next_buffer();
175 #if 2 <= YY_FLEX_MAJOR_VERSION && 6 <= YY_FLEX_MINOR_VERSION 201 void yyensure_buffer_stack(
void);
227 #endif // !VCSN_MISC_FLEX_LEXER_HH
char * yy_last_accepting_cpos
virtual yy_buffer_state * yy_create_buffer(std::istream *s, int size)=0
yy_buffer_state ** yy_buffer_stack
Stack as an array.
virtual void yy_delete_buffer(yy_buffer_state *b)=0
const char * YYText() const
size_t size(const ExpSet &rs, const typename ExpSet::value_t &r)
yy_state_type * yy_state_buf
YY_FLEX_NAMESPACE_BEGIN void * yyalloc(size_t)
vcsn::rat::location location
Pairs of positions in a file/stream.
size_t yy_buffer_stack_top
index of top of stack.
yy_state_type * yy_state_ptr
virtual void switch_streams(std::istream *new_in=nullptr, std::ostream *new_out=nullptr)=0
size_t yy_buffer_stack_max
capacity of stack.
virtual void yyrestart(std::istream *s)=0
void * yyrealloc(void *, size_t)
virtual void yy_switch_to_buffer(yy_buffer_state *new_buffer)=0
int yy_did_buffer_switch_on_eof
#define YY_FLEX_NAMESPACE_END
weightset_mixin< detail::b_impl > b
yy_state_type yy_last_accepting_state
std::istream & yyinput_stream()
int yy_looking_for_trail_begin