cprover
|
Public Attributes | |
FILE * | yy_input_file |
char * | yy_ch_buf |
char * | yy_buf_pos |
int | yy_buf_size |
int | yy_n_chars |
int | yy_is_our_buffer |
int | yy_is_interactive |
int | yy_at_bol |
int | yy_bs_lineno |
The line count. More... | |
int | yy_bs_column |
The column count. More... | |
int | yy_fill_buffer |
int | yy_buffer_status |
Definition at line 445 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_at_bol |
Definition at line 479 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_bs_column |
The column count.
Definition at line 482 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_bs_lineno |
The line count.
Definition at line 481 of file ansi_c_lex.yy.cpp.
char * yy_buffer_state::yy_buf_pos |
Definition at line 450 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_buf_size |
Definition at line 455 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_buffer_status |
Definition at line 489 of file ansi_c_lex.yy.cpp.
char * yy_buffer_state::yy_ch_buf |
Definition at line 449 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_fill_buffer |
Definition at line 487 of file ansi_c_lex.yy.cpp.
FILE * yy_buffer_state::yy_input_file |
Definition at line 447 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_is_interactive |
Definition at line 473 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_is_our_buffer |
Definition at line 466 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_n_chars |
Definition at line 460 of file ansi_c_lex.yy.cpp.