47 #ifndef VCSN_MISC_FLEX_LEXER_HH
48 # define VCSN_MISC_FLEX_LEXER_HH
50 # include <vcsn/config.hh>
53 # define FLEX_STD std::
56 struct yy_buffer_state;
70 virtual void yyrestart( std::istream* s ) = 0;
72 #if 2 <= VCSN_FLEX_MAJOR_VERSION && 6 <= VCSN_FLEX_MINOR_VERSION
74 virtual void switch_streams(std::istream& new_in, std::ostream& new_out ) = 0;
75 virtual void yyrestart( std::istream& s ) = 0;
81 std::ostream* new_out =
nullptr ) = 0;
105 yyFlexLexer( std::istream& arg_yyin, std::ostream& arg_yyout );
106 yyFlexLexer( std::istream* arg_yyin =
nullptr, std::ostream* arg_yyout =
nullptr );
133 std::ostream* new_out =
nullptr );
136 #if 2 <= VCSN_FLEX_MAJOR_VERSION && 6 <= VCSN_FLEX_MINOR_VERSION
139 virtual void switch_streams(std::istream& new_in, std::ostream& new_out );
140 virtual void yyrestart( std::istream& s );
143 void putback(
char c) { yyin.putback(c); }
150 virtual int LexerInput(
char* buf,
int max_size );
151 virtual void LexerOutput(
const char* buf,
int size );
154 void yyunput(
int c,
char* buf_ptr );
173 #if 2 <= VCSN_FLEX_MAJOR_VERSION && 6 <= VCSN_FLEX_MINOR_VERSION
225 #endif // !VCSN_MISC_FLEX_LEXER_HH
void yyensure_buffer_stack(void)
yy_buffer_state ** yy_buffer_stack
Stack as an array.
void yypush_buffer_state(yy_buffer_state *new_buffer)
virtual void yy_switch_to_buffer(yy_buffer_state *new_buffer)=0
yy_state_type yy_last_accepting_state
virtual yy_buffer_state * yy_create_buffer(std::istream *s, int size)=0
virtual int LexerInput(char *buf, int max_size)
void yy_switch_to_buffer(yy_buffer_state *new_buffer)
yyFlexLexer(std::istream &arg_yyin, std::ostream &arg_yyout)
void yy_flush_buffer(yy_buffer_state *b)
void yyunput(int c, char *buf_ptr)
yy_state_type yy_try_NUL_trans(yy_state_type current_state)
void yyrestart(std::istream *s)
yy_state_type * yy_state_ptr
void yy_delete_buffer(yy_buffer_state *b)
virtual void switch_streams(std::istream *new_in, std::ostream *new_out=nullptr)
#define YY_FLEX_NAMESPACE_BEGIN
int yy_did_buffer_switch_on_eof
virtual void LexerOutput(const char *buf, int size)
char * yy_last_accepting_cpos
void yypop_buffer_state()
yy_buffer_state * yy_create_buffer(std::istream *s, int size)
void yy_init_buffer(yy_buffer_state *b, std::istream *s)
const char * YYText() const
YY_FLEX_NAMESPACE_BEGIN void * yyalloc(size_t)
void yy_load_buffer_state()
virtual void LexerError(const char *msg)
size_t yy_buffer_stack_top
index of top of stack.
void scan_open_(std::istream &f)
virtual void switch_streams(std::istream *new_in=nullptr, std::ostream *new_out=nullptr)=0
void * yyrealloc(void *, size_t)
#define YY_FLEX_NAMESPACE_END
vcsn::rat::location location
size_t yy_buffer_stack_max
capacity of stack.
size_t size(const ExpSet &rs, const typename ExpSet::value_t &r)
int yy_looking_for_trail_begin
yy_state_type yy_get_previous_state()
void yy_push_state(int new_state)
yy_state_type * yy_state_buf
virtual void yyrestart(std::istream *s)=0
weightset_mixin< detail::b_impl > b
virtual void yy_delete_buffer(yy_buffer_state *b)=0