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.
Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), yyassembler_flush_buffer(), yyassembler_scan_buffer(), yyjsil_flush_buffer(), yyjsil_scan_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), yyxml_flush_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_bs_column |
The column count.
Definition at line 482 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_init_buffer(), yyassembler_init_buffer(), yyjsil_init_buffer(), yyjson_init_buffer(), and yyxml_init_buffer().
int yy_buffer_state::yy_bs_lineno |
The line count.
Definition at line 481 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_init_buffer(), yyassembler_init_buffer(), yyjsil_init_buffer(), yyjson_init_buffer(), and yyxml_init_buffer().
char * yy_buffer_state::yy_buf_pos |
Definition at line 450 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), yyassembler_flush_buffer(), yyassembler_scan_buffer(), yyjsil_flush_buffer(), yyjsil_scan_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), yyxml_flush_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_buf_size |
Definition at line 455 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_create_buffer(), yyansi_c_scan_buffer(), yyassembler_create_buffer(), yyassembler_scan_buffer(), yyjsil_create_buffer(), yyjsil_scan_buffer(), yyjson_create_buffer(), yyjson_scan_buffer(), yyxml_create_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_buffer_status |
Definition at line 489 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), yyassembler_flush_buffer(), yyassembler_scan_buffer(), yyjsil_flush_buffer(), yyjsil_scan_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), yyxml_flush_buffer(), and yyxml_scan_buffer().
char * yy_buffer_state::yy_ch_buf |
Definition at line 449 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_create_buffer(), yyansi_c_delete_buffer(), yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), yyassembler_create_buffer(), yyassembler_delete_buffer(), yyassembler_flush_buffer(), yyassembler_scan_buffer(), yyjsil_create_buffer(), yyjsil_delete_buffer(), yyjsil_flush_buffer(), yyjsil_scan_buffer(), yyjson_create_buffer(), yyjson_delete_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), yyxml_create_buffer(), yyxml_delete_buffer(), yyxml_flush_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_fill_buffer |
Definition at line 487 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_init_buffer(), yyansi_c_scan_buffer(), yyassembler_init_buffer(), yyassembler_scan_buffer(), yyjsil_init_buffer(), yyjsil_scan_buffer(), yyjson_init_buffer(), yyjson_scan_buffer(), yyxml_init_buffer(), and yyxml_scan_buffer().
FILE * yy_buffer_state::yy_input_file |
Definition at line 447 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_init_buffer(), yyansi_c_scan_buffer(), yyassembler_init_buffer(), yyassembler_scan_buffer(), yyjsil_init_buffer(), yyjsil_scan_buffer(), yyjson_init_buffer(), yyjson_scan_buffer(), yyxml_init_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_is_interactive |
Definition at line 473 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_init_buffer(), yyansi_c_scan_buffer(), yyassembler_init_buffer(), yyassembler_scan_buffer(), yyjsil_init_buffer(), yyjsil_scan_buffer(), yyjson_init_buffer(), yyjson_scan_buffer(), yyxml_init_buffer(), and yyxml_scan_buffer().
int yy_buffer_state::yy_is_our_buffer |
Definition at line 466 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_create_buffer(), yyansi_c_delete_buffer(), yyansi_c_scan_buffer(), yyansi_c_scan_bytes(), yyassembler_create_buffer(), yyassembler_delete_buffer(), yyassembler_scan_buffer(), yyassembler_scan_bytes(), yyjsil_create_buffer(), yyjsil_delete_buffer(), yyjsil_scan_buffer(), yyjsil_scan_bytes(), yyjson_create_buffer(), yyjson_delete_buffer(), yyjson_scan_buffer(), yyjson_scan_bytes(), yyxml_create_buffer(), yyxml_delete_buffer(), yyxml_scan_buffer(), and yyxml_scan_bytes().
int yy_buffer_state::yy_n_chars |
Definition at line 460 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), yyassembler_flush_buffer(), yyassembler_scan_buffer(), yyjsil_flush_buffer(), yyjsil_scan_buffer(), yyjson_flush_buffer(), yyjson_scan_buffer(), yyxml_flush_buffer(), and yyxml_scan_buffer().