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 206 of file ansi_c_lex.yy.cpp.
int yy_buffer_state::yy_at_bol |
Definition at line 240 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 243 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 242 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 211 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 216 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 250 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 210 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 248 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 208 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 234 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 227 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 221 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_try_NUL_trans(), yyansi_c_flush_buffer(), yyansi_c_load_buffer_state(), yyansi_c_scan_buffer(), yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_cpush_buffer_state(), yyassembler_flush_buffer(), yyassembler_load_buffer_state(), yyassembler_scan_buffer(), yyassembler_switch_to_buffer(), yyassemblerlex(), yyassemblerpush_buffer_state(), yyjsil_flush_buffer(), yyjsil_load_buffer_state(), yyjsil_scan_buffer(), yyjsil_switch_to_buffer(), yyjsillex(), yyjsilpush_buffer_state(), yyjson_flush_buffer(), yyjson_load_buffer_state(), yyjson_scan_buffer(), yyjson_switch_to_buffer(), yyjsonlex(), yyjsonpush_buffer_state(), yyxml_flush_buffer(), yyxml_load_buffer_state(), yyxml_scan_buffer(), yyxml_switch_to_buffer(), yyxmllex(), and yyxmlpush_buffer_state().