cprover
|
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include <util/string_constant.h>
#include <util/unicode.h>
#include "preprocessor_line.h"
#include "literals/convert_float_literal.h"
#include "literals/convert_integer_literal.h"
#include "literals/convert_character_literal.h"
#include "literals/convert_string_literal.h"
#include "literals/unescape_string.h"
#include "ansi_c_parser.h"
#include "ansi_c_y.tab.h"
#include <util/pragma_wsign_compare.def>
#include <util/pragma_wnull_conversion.def>
#include <util/pragma_wdeprecated_register.def>
#include <unistd.h>
Go to the source code of this file.
Classes | |
struct | yy_buffer_state |
struct | yy_trans_info |
Typedefs | |
typedef signed char | flex_int8_t |
typedef short int | flex_int16_t |
typedef int | flex_int32_t |
typedef unsigned char | flex_uint8_t |
typedef unsigned short int | flex_uint16_t |
typedef unsigned int | flex_uint32_t |
typedef struct yy_buffer_state * | YY_BUFFER_STATE |
typedef size_t | yy_size_t |
typedef unsigned char | YY_CHAR |
typedef int | yy_state_type |
Functions | |
void | yyansi_crestart (FILE *input_file) |
Immediately switch to a different input stream. More... | |
void | yyansi_c_switch_to_buffer (YY_BUFFER_STATE new_buffer) |
Switch to a different input buffer. More... | |
YY_BUFFER_STATE | yyansi_c_create_buffer (FILE *file, int size) |
Allocate and initialize an input buffer state. More... | |
void | yyansi_c_delete_buffer (YY_BUFFER_STATE b) |
Destroy the buffer. More... | |
void | yyansi_c_flush_buffer (YY_BUFFER_STATE b) |
Discard all buffered characters. More... | |
void | yyansi_cpush_buffer_state (YY_BUFFER_STATE new_buffer) |
Pushes the new state onto the stack. More... | |
void | yyansi_cpop_buffer_state (void) |
Removes and deletes the top of the stack, if present. More... | |
static void | yyansi_censure_buffer_stack (void) |
static void | yyansi_c_load_buffer_state (void) |
static void | yyansi_c_init_buffer (YY_BUFFER_STATE b, FILE *file) |
YY_BUFFER_STATE | yyansi_c_scan_buffer (char *base, yy_size_t size) |
Setup the input buffer state to scan directly from a user-specified character buffer. More... | |
YY_BUFFER_STATE | yyansi_c_scan_string (const char *yystr) |
Setup the input buffer state to scan a string. More... | |
YY_BUFFER_STATE | yyansi_c_scan_bytes (const char *yybytes, int _yybytes_len) |
Setup the input buffer state to scan the given bytes. More... | |
void * | yyansi_calloc (yy_size_t) |
void * | yyansi_crealloc (void *, yy_size_t) |
void | yyansi_cfree (void *) |
static yy_state_type | yy_get_previous_state (void) |
static yy_state_type | yy_try_NUL_trans (yy_state_type current_state) |
static int | yy_get_next_buffer (void) |
static void | yy_fatal_error (const char *msg) |
int | make_identifier () |
int | MSC_Keyword (int token) |
int | cpp98_keyword (int token) |
int | cpp11_keyword (int token) |
int | MSC_cpp_keyword (int token) |
int | cpp_operator (int token) |
void | ansi_c_scanner_init () |
static int | yy_init_globals (void) |
int | yyansi_clex_destroy (void) |
int | yyansi_cget_debug (void) |
void | yyansi_cset_debug (int debug_flag) |
void * | yyansi_cget_extra (void) |
void | yyansi_cset_extra (void *user_defined) |
FILE * | yyansi_cget_in (void) |
Get the input stream. More... | |
void | yyansi_cset_in (FILE *_in_str) |
Set the input stream. More... | |
FILE * | yyansi_cget_out (void) |
Get the output stream. More... | |
void | yyansi_cset_out (FILE *_out_str) |
int | yyansi_cget_leng (void) |
Get the length of the current token. More... | |
char * | yyansi_cget_text (void) |
Get the current token. More... | |
int | yyansi_cget_lineno (void) |
Get the current line number. More... | |
void | yyansi_cset_lineno (int _line_number) |
Set the current line number. More... | |
int | yyansi_cwrap (void) |
static void | yy_push_state (int _new_state) |
static void | yy_pop_state (void) |
static int | yy_top_state (void) |
int | yyansi_clex (void) |
The main scanner function which does all the work. More... | |
Variables | |
int | yyansi_cleng |
FILE * | yyansi_cin = NULL |
FILE * | yyansi_cout = NULL |
static size_t | yy_buffer_stack_top = 0 |
index of top of stack. More... | |
static size_t | yy_buffer_stack_max = 0 |
capacity of stack. More... | |
static YY_BUFFER_STATE * | yy_buffer_stack = NULL |
Stack as an array. More... | |
static char | yy_hold_char |
static int | yy_n_chars |
static char * | yy_c_buf_p = NULL |
static int | yy_init = 0 |
static int | yy_start = 0 |
static int | yy_did_buffer_switch_on_eof |
int | yyansi_clineno = 1 |
char * | yyansi_ctext |
static const flex_int16_t | yy_accept [3819] |
static const YY_CHAR | yy_ec [256] |
static const YY_CHAR | yy_meta [95] |
static const flex_uint16_t | yy_base [3968] |
static const flex_int16_t | yy_def [3968] |
static const flex_uint16_t | yy_nxt [9832] |
static const flex_int16_t | yy_chk [9832] |
static yy_state_type | yy_last_accepting_state |
static char * | yy_last_accepting_cpos |
int | yyansi_c_flex_debug = 0 |
static int | yy_start_stack_ptr = 0 |
static int | yy_start_stack_depth = 0 |
static int * | yy_start_stack = NULL |
#define ASM_BLOCK 6 |
Definition at line 4133 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define BEGIN (yy_start) = 1 + 2 * |
Definition at line 133 of file ansi_c_lex.yy.cpp.
Referenced by ansi_c_scanner_init(), smt2_convt::convert_byte_update(), yy_pop_state(), yy_push_state(), and yyansi_clex().
#define COMMENT1 2 |
Definition at line 4129 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define COMMENT2 3 |
Definition at line 4130 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define CPROVER_ID 19 |
Definition at line 4146 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define ECHO |
Definition at line 3962 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define EOB_ACT_CONTINUE_SCAN 0 |
Definition at line 181 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyansi_clex().
#define EOB_ACT_END_OF_FILE 1 |
Definition at line 182 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyansi_clex().
#define EOB_ACT_LAST_MATCH 2 |
Definition at line 183 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), and yyansi_clex().
#define FLEX_BETA |
Definition at line 33 of file ansi_c_lex.yy.cpp.
#define FLEX_SCANNER |
Definition at line 28 of file ansi_c_lex.yy.cpp.
#define FLEXINT_H |
Definition at line 49 of file ansi_c_lex.yy.cpp.
#define GCC_ASM 17 |
Definition at line 4144 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ASM_PAREN 18 |
Definition at line 4145 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE1 11 |
Definition at line 4138 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE1a 12 |
Definition at line 4139 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE2 13 |
Definition at line 4140 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE3 14 |
Definition at line 4141 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE4 15 |
Definition at line 4142 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GCC_ATTRIBUTE5 16 |
Definition at line 4143 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define GRAMMAR 1 |
Definition at line 4128 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define IGNORE_PARENS 8 |
Definition at line 4135 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define INITIAL 0 |
Definition at line 4127 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define INT16_MAX (32767) |
Definition at line 91 of file ansi_c_lex.yy.cpp.
#define INT16_MIN (-32767-1) |
Definition at line 82 of file ansi_c_lex.yy.cpp.
#define INT32_MAX (2147483647) |
Definition at line 94 of file ansi_c_lex.yy.cpp.
#define INT32_MIN (-2147483647-1) |
Definition at line 85 of file ansi_c_lex.yy.cpp.
#define INT8_MAX (127) |
Definition at line 88 of file ansi_c_lex.yy.cpp.
#define INT8_MIN (-128) |
Definition at line 79 of file ansi_c_lex.yy.cpp.
#define loc | ( | ) | { newstack(yyansi_clval); PARSER.set_source_location(stack(yyansi_clval)); } |
Definition at line 3970 of file ansi_c_lex.yy.cpp.
Referenced by code_blockt::add(), add_array_to_length_association(), add_character_set_constraint(), add_nondet_string_pointer_initialization(), add_pointer_to_array_association(), custom_bitvector_analysist::aliases(), allocate_dynamic_object(), allocate_dynamic_object_with_decl(), java_string_library_preprocesst::allocate_fresh_array(), java_string_library_preprocesst::allocate_fresh_string(), c_new_tmp_symbol(), c_nondet_symbol_factory(), java_string_library_preprocesst::code_assign_java_string_to_string_expr(), java_string_library_preprocesst::code_for_function(), java_string_library_preprocesst::convert_exprt_to_string_exprt(), cpp11_keyword(), cpp98_keyword(), cpp_operator(), create_fatal_assertion(), java_simple_method_stubst::create_method_stub_at(), java_string_library_preprocesst::decl_string_expr(), declare_created_symbols(), typecheckt::err_location(), custom_bitvector_analysist::eval(), call_grapht::format_callsites(), java_string_library_preprocesst::fresh_string(), gen_nondet_init(), generate_java_start_function(), java_string_library_preprocesst::get_primitive_value_of_object(), cone_of_influencet::get_succs(), bmc_covert::id(), initialize_nondet_string_struct(), linker_script_merget::ls_data2instructions(), java_string_library_preprocesst::make_argument_for_format(), java_string_library_preprocesst::make_assign_and_return_function_from_call(), java_string_library_preprocesst::make_assign_function_from_call(), java_string_library_preprocesst::make_copy_constructor_code(), java_string_library_preprocesst::make_copy_string_code(), java_string_library_preprocesst::make_equals_function_code(), java_string_library_preprocesst::make_float_to_string_code(), java_string_library_preprocesst::make_function_from_call(), make_identifier(), java_string_library_preprocesst::make_init_from_array_code(), java_string_library_preprocesst::make_init_function_from_call(), make_nondet_infinite_char_array(), java_string_library_preprocesst::make_nondet_string_expr(), java_string_library_preprocesst::make_object_get_class_code(), java_string_library_preprocesst::make_string_format_code(), java_string_library_preprocesst::make_string_returning_function_from_call(), MSC_cpp_keyword(), MSC_Keyword(), object_factory(), java_string_library_preprocesst::process_equals_function_operands(), java_string_library_preprocesst::process_operands(), java_string_library_preprocesst::process_parameters(), java_string_library_preprocesst::replace_char_array(), java_string_library_preprocesst::string_expr_of_function(), java_string_library_preprocesst::string_literal_to_string_expr(), utf16_little_endian_to_java(), and yyansi_clex().
#define MSC_ANNOTATION 10 |
Definition at line 4137 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define MSC_ASM 7 |
Definition at line 4134 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define MSC_PRAGMA 9 |
Definition at line 4136 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define PARSER ansi_c_parser |
Definition at line 3959 of file ansi_c_lex.yy.cpp.
Referenced by cpp11_keyword(), cpp98_keyword(), cpp_operator(), make_identifier(), MSC_cpp_keyword(), MSC_Keyword(), and yyansi_clex().
#define REJECT reject_used_but_not_detected |
Definition at line 3924 of file ansi_c_lex.yy.cpp.
#define STRING_LITERAL 4 |
Definition at line 4131 of file ansi_c_lex.yy.cpp.
Referenced by smt2_tokenizert::get_string_literal(), smt2irept::parse(), and yyansi_clex().
#define STRING_LITERAL_COMMENT 5 |
Definition at line 4132 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define UINT16_MAX (65535U) |
Definition at line 100 of file ansi_c_lex.yy.cpp.
#define UINT32_MAX (4294967295U) |
Definition at line 103 of file ansi_c_lex.yy.cpp.
#define UINT8_MAX (255U) |
Definition at line 97 of file ansi_c_lex.yy.cpp.
#define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
Definition at line 202 of file ansi_c_lex.yy.cpp.
#define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
Definition at line 348 of file ansi_c_lex.yy.cpp.
#define YY_BREAK /*LINTED*/break; |
Definition at line 4329 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_BUF_SIZE 16384 |
Definition at line 159 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex(), and yyansi_crestart().
#define YY_BUFFER_EOF_PENDING 2 |
Definition at line 264 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer().
#define YY_BUFFER_NEW 0 |
Definition at line 252 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), and yyansi_clex().
#define YY_BUFFER_NORMAL 1 |
Definition at line 253 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define yy_create_buffer yyansi_c_create_buffer |
Definition at line 9 of file ansi_c_lex.yy.cpp.
#define YY_CURRENT_BUFFER |
Definition at line 280 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_delete_buffer(), yyansi_c_flush_buffer(), yyansi_c_init_buffer(), yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_clex_destroy(), yyansi_cpop_buffer_state(), yyansi_cpush_buffer_state(), and yyansi_crestart().
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
Definition at line 287 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_delete_buffer(), yyansi_c_load_buffer_state(), yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_clex_destroy(), yyansi_cpop_buffer_state(), yyansi_cpush_buffer_state(), and yyansi_crestart().
#define YY_DECL int yyansi_clex (void) |
Definition at line 4317 of file ansi_c_lex.yy.cpp.
#define YY_DECL_IS_OURS 1 |
Definition at line 4313 of file ansi_c_lex.yy.cpp.
#define yy_delete_buffer yyansi_c_delete_buffer |
Definition at line 10 of file ansi_c_lex.yy.cpp.
#define YY_DO_BEFORE_ACTION |
Definition at line 376 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_END_OF_BUFFER 429 |
Definition at line 384 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_END_OF_BUFFER_CHAR 0 |
Definition at line 148 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_flush_buffer(), yyansi_c_scan_buffer(), and yyansi_c_scan_bytes().
#define YY_EXIT_FAILURE 2 |
Definition at line 8131 of file ansi_c_lex.yy.cpp.
Referenced by yy_fatal_error().
#define YY_EXTRA_TYPE void * |
Definition at line 4157 of file ansi_c_lex.yy.cpp.
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Definition at line 4304 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_pop_state(), yy_push_state(), yyansi_c_create_buffer(), yyansi_c_scan_buffer(), yyansi_c_scan_bytes(), yyansi_censure_buffer_stack(), and yyansi_clex().
#define yy_flex_debug yyansi_c_flex_debug |
Definition at line 11 of file ansi_c_lex.yy.cpp.
#define YY_FLEX_MAJOR_VERSION 2 |
Definition at line 29 of file ansi_c_lex.yy.cpp.
#define YY_FLEX_MINOR_VERSION 6 |
Definition at line 30 of file ansi_c_lex.yy.cpp.
#define YY_FLEX_SUBMINOR_VERSION 1 |
Definition at line 31 of file ansi_c_lex.yy.cpp.
#define yy_flush_buffer yyansi_c_flush_buffer |
Definition at line 13 of file ansi_c_lex.yy.cpp.
#define YY_FLUSH_BUFFER yyansi_c_flush_buffer(YY_CURRENT_BUFFER ) |
Definition at line 316 of file ansi_c_lex.yy.cpp.
Referenced by ansi_c_scanner_init().
#define yy_init_buffer yyansi_c_init_buffer |
Definition at line 12 of file ansi_c_lex.yy.cpp.
#define YY_INPUT | ( | buf, | |
result, | |||
max_size | |||
) |
Definition at line 4257 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer().
#define YY_INT_ALIGNED short int |
Definition at line 5 of file ansi_c_lex.yy.cpp.
#define YY_LESS_LINENO | ( | n | ) |
Definition at line 185 of file ansi_c_lex.yy.cpp.
#define YY_LINENO_REWIND_TO | ( | ptr | ) |
Definition at line 186 of file ansi_c_lex.yy.cpp.
#define yy_load_buffer_state yyansi_c_load_buffer_state |
Definition at line 14 of file ansi_c_lex.yy.cpp.
#define YY_MORE_ADJ 0 |
Definition at line 3926 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), and yyansi_clex().
#define yy_new_buffer yyansi_c_create_buffer |
Definition at line 326 of file ansi_c_lex.yy.cpp.
#define YY_NEW_FILE yyansi_crestart(yyansi_cin ) |
Definition at line 146 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_NO_INPUT 1 |
Definition at line 3930 of file ansi_c_lex.yy.cpp.
#define YY_NULL 0 |
Definition at line 120 of file ansi_c_lex.yy.cpp.
#define YY_NUM_RULES 428 |
Definition at line 383 of file ansi_c_lex.yy.cpp.
#define YY_READ_BUF_SIZE 8192 |
Definition at line 4241 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer().
#define YY_RESTORE_YY_MORE_OFFSET |
Definition at line 3927 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_RULE_SETUP YY_USER_ACTION |
Definition at line 4332 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
Definition at line 127 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), and yyansi_clex().
#define yy_set_bol | ( | at_bol | ) |
Definition at line 338 of file ansi_c_lex.yy.cpp.
#define yy_set_interactive | ( | is_interactive | ) |
Definition at line 328 of file ansi_c_lex.yy.cpp.
#define YY_START (((yy_start) - 1) / 2) |
Definition at line 139 of file ansi_c_lex.yy.cpp.
Referenced by yy_push_state(), and yyansi_clex().
#define YY_START_STACK_INCR 25 |
Definition at line 4299 of file ansi_c_lex.yy.cpp.
Referenced by yy_push_state().
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
Definition at line 165 of file ansi_c_lex.yy.cpp.
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Definition at line 143 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define YY_STRUCT_YY_BUFFER_STATE |
Definition at line 205 of file ansi_c_lex.yy.cpp.
#define yy_switch_to_buffer yyansi_c_switch_to_buffer |
Definition at line 15 of file ansi_c_lex.yy.cpp.
#define YY_TYPEDEF_YY_BUFFER_STATE |
Definition at line 168 of file ansi_c_lex.yy.cpp.
#define YY_TYPEDEF_YY_SIZE_T |
Definition at line 173 of file ansi_c_lex.yy.cpp.
#define YY_USER_ACTION |
Definition at line 4324 of file ansi_c_lex.yy.cpp.
#define yyalloc yyansi_calloc |
Definition at line 24 of file ansi_c_lex.yy.cpp.
#define yyconst const |
Definition at line 111 of file ansi_c_lex.yy.cpp.
#define yyfree yyansi_cfree |
Definition at line 26 of file ansi_c_lex.yy.cpp.
#define yyin yyansi_cin |
Definition at line 16 of file ansi_c_lex.yy.cpp.
#define yyleng yyansi_cleng |
Definition at line 17 of file ansi_c_lex.yy.cpp.
#define yyless | ( | n | ) |
Definition at line 8143 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define yyless | ( | n | ) |
Definition at line 8143 of file ansi_c_lex.yy.cpp.
#define yylex yyansi_clex |
Definition at line 18 of file ansi_c_lex.yy.cpp.
#define yylineno yyansi_clineno |
Definition at line 19 of file ansi_c_lex.yy.cpp.
#define yymore | ( | ) | yymore_used_but_not_detected |
Definition at line 3925 of file ansi_c_lex.yy.cpp.
#define yynoreturn |
Definition at line 116 of file ansi_c_lex.yy.cpp.
#define yyout yyansi_cout |
Definition at line 20 of file ansi_c_lex.yy.cpp.
#define yyrealloc yyansi_crealloc |
Definition at line 25 of file ansi_c_lex.yy.cpp.
#define yyrestart yyansi_crestart |
Definition at line 21 of file ansi_c_lex.yy.cpp.
#define YYSTATE YY_START |
Definition at line 140 of file ansi_c_lex.yy.cpp.
#define YYSTYPE unsigned |
Definition at line 3960 of file ansi_c_lex.yy.cpp.
#define YYTABLES_NAME "yytables" |
Definition at line 8343 of file ansi_c_lex.yy.cpp.
#define yyterminate | ( | ) | return YY_NULL |
Definition at line 4294 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
#define yytext yyansi_ctext |
Definition at line 22 of file ansi_c_lex.yy.cpp.
#define yytext_ptr yyansi_ctext |
Definition at line 366 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), yyansi_c_load_buffer_state(), and yyansi_clex().
#define yywrap yyansi_cwrap |
Definition at line 23 of file ansi_c_lex.yy.cpp.
typedef short int flex_int16_t |
Definition at line 71 of file ansi_c_lex.yy.cpp.
typedef int flex_int32_t |
Definition at line 72 of file ansi_c_lex.yy.cpp.
typedef signed char flex_int8_t |
Definition at line 70 of file ansi_c_lex.yy.cpp.
typedef unsigned short int flex_uint16_t |
Definition at line 74 of file ansi_c_lex.yy.cpp.
typedef unsigned int flex_uint32_t |
Definition at line 75 of file ansi_c_lex.yy.cpp.
typedef unsigned char flex_uint8_t |
Definition at line 73 of file ansi_c_lex.yy.cpp.
typedef struct yy_buffer_state* YY_BUFFER_STATE |
Definition at line 169 of file ansi_c_lex.yy.cpp.
typedef unsigned char YY_CHAR |
Definition at line 352 of file ansi_c_lex.yy.cpp.
typedef size_t yy_size_t |
Definition at line 174 of file ansi_c_lex.yy.cpp.
typedef int yy_state_type |
Definition at line 356 of file ansi_c_lex.yy.cpp.
void ansi_c_scanner_init | ( | ) |
Definition at line 4117 of file ansi_c_lex.yy.cpp.
References BEGIN, and YY_FLUSH_BUFFER.
Referenced by convert(), ansi_c_languaget::parse(), and ansi_c_languaget::to_expr().
int cpp11_keyword | ( | int | token | ) |
Definition at line 4056 of file ansi_c_lex.yy.cpp.
References loc, make_identifier(), and PARSER.
Referenced by yyansi_clex().
int cpp98_keyword | ( | int | token | ) |
Definition at line 4045 of file ansi_c_lex.yy.cpp.
References loc, make_identifier(), and PARSER.
Referenced by yyansi_clex().
int cpp_operator | ( | int | token | ) |
Definition at line 4078 of file ansi_c_lex.yy.cpp.
References loc, PARSER, TOK_SCANNER_ERROR, and yyansi_cerror().
Referenced by yyansi_clex().
int make_identifier | ( | ) |
Definition at line 3973 of file ansi_c_lex.yy.cpp.
References ANSI_C_TYPEDEF, hex_to_unsigned(), loc, PARSER, stack, TOK_IDENTIFIER, TOK_TYPEDEFNAME, utf32_to_utf8(), yyansi_cleng, yyansi_clval, and yyansi_ctext.
Referenced by cpp11_keyword(), cpp98_keyword(), MSC_cpp_keyword(), MSC_Keyword(), and yyansi_clex().
int MSC_cpp_keyword | ( | int | token | ) |
Definition at line 4067 of file ansi_c_lex.yy.cpp.
References loc, make_identifier(), PARSER, and configt::ansi_ct::VISUAL_STUDIO.
Referenced by yyansi_clex().
int MSC_Keyword | ( | int | token | ) |
Definition at line 4033 of file ansi_c_lex.yy.cpp.
References loc, make_identifier(), PARSER, and configt::ansi_ct::VISUAL_STUDIO.
Referenced by yyansi_clex().
|
static |
Definition at line 8134 of file ansi_c_lex.yy.cpp.
References YY_EXIT_FAILURE.
|
static |
Definition at line 7477 of file ansi_c_lex.yy.cpp.
References EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, yy_buffer_state::yy_buf_size, YY_BUFFER_EOF_PENDING, yy_c_buf_p, yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER_LVALUE, YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, YY_INPUT, yy_buffer_state::yy_is_our_buffer, YY_MORE_ADJ, yy_n_chars, YY_READ_BUF_SIZE, yyansi_cin, yyansi_crealloc(), yyansi_crestart(), and yytext_ptr.
Referenced by yyansi_clex().
|
static |
Definition at line 7611 of file ansi_c_lex.yy.cpp.
References yy_accept, yy_base, yy_c_buf_p, yy_chk, yy_def, yy_ec, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_nxt, YY_SC_TO_UI, yy_start, and yytext_ptr.
Referenced by yyansi_clex().
|
static |
Definition at line 8237 of file ansi_c_lex.yy.cpp.
References yy_buffer_stack, yy_buffer_stack_max, yy_buffer_stack_top, yy_c_buf_p, yy_init, yy_start, yy_start_stack, yy_start_stack_depth, yy_start_stack_ptr, yyansi_cin, and yyansi_cout.
Referenced by yyansi_clex_destroy().
|
static |
Definition at line 8117 of file ansi_c_lex.yy.cpp.
References BEGIN, YY_FATAL_ERROR, yy_start_stack, and yy_start_stack_ptr.
Referenced by yyansi_clex().
|
static |
Definition at line 8093 of file ansi_c_lex.yy.cpp.
References BEGIN, YY_FATAL_ERROR, YY_START, yy_start_stack, yy_start_stack_depth, YY_START_STACK_INCR, yy_start_stack_ptr, yyansi_calloc(), and yyansi_crealloc().
Referenced by yyansi_clex().
|
static |
Definition at line 8125 of file ansi_c_lex.yy.cpp.
References yy_start_stack, and yy_start_stack_ptr.
Referenced by yyansi_clex().
|
static |
Definition at line 7643 of file ansi_c_lex.yy.cpp.
References yy_accept, yy_base, yy_c_buf_p, yy_chk, yy_def, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, and yy_nxt.
Referenced by yyansi_clex().
YY_BUFFER_STATE yyansi_c_create_buffer | ( | FILE * | file, |
int | size | ||
) |
Allocate and initialize an input buffer state.
file | A readable stream. |
size | The character buffer size in bytes. When in doubt, use YY_BUF_SIZE . |
Definition at line 7811 of file ansi_c_lex.yy.cpp.
References yy_buffer_state::yy_buf_size, yy_buffer_state::yy_ch_buf, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyansi_c_init_buffer(), and yyansi_calloc().
Referenced by yyansi_clex(), and yyansi_crestart().
void yyansi_c_delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Destroy the buffer.
b | a buffer created with yyansi_c_create_buffer() |
Definition at line 7839 of file ansi_c_lex.yy.cpp.
References yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_buffer_state::yy_is_our_buffer, and yyansi_cfree().
Referenced by yyansi_clex_destroy(), and yyansi_cpop_buffer_state().
void yyansi_c_flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Discard all buffered characters.
On the next scan, YY_INPUT will be called.
b | the buffer state to be flushed, usually YY_CURRENT_BUFFER . |
Definition at line 7886 of file ansi_c_lex.yy.cpp.
References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_CURRENT_BUFFER, YY_END_OF_BUFFER_CHAR, yy_buffer_state::yy_n_chars, and yyansi_c_load_buffer_state().
Referenced by yyansi_c_init_buffer().
|
static |
Definition at line 7858 of file ansi_c_lex.yy.cpp.
References yy_buffer_state::yy_bs_column, yy_buffer_state::yy_bs_lineno, YY_CURRENT_BUFFER, yy_buffer_state::yy_fill_buffer, yy_buffer_state::yy_input_file, yy_buffer_state::yy_is_interactive, and yyansi_c_flush_buffer().
Referenced by yyansi_c_create_buffer(), and yyansi_crestart().
|
static |
Definition at line 7797 of file ansi_c_lex.yy.cpp.
References yy_c_buf_p, YY_CURRENT_BUFFER_LVALUE, yy_hold_char, yy_n_chars, yyansi_cin, and yytext_ptr.
Referenced by yyansi_c_flush_buffer(), yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_cpop_buffer_state(), yyansi_cpush_buffer_state(), and yyansi_crestart().
YY_BUFFER_STATE yyansi_c_scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
Setup the input buffer state to scan directly from a user-specified character buffer.
base | the character buffer |
size | the size in bytes of the character buffer |
Definition at line 8013 of file ansi_c_lex.yy.cpp.
References yy_buffer_state::yy_at_bol, yy_buffer_state::yy_buf_pos, yy_buffer_state::yy_buf_size, YY_BUFFER_NEW, yy_buffer_state::yy_buffer_status, yy_buffer_state::yy_ch_buf, YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_fill_buffer, yy_buffer_state::yy_input_file, yy_buffer_state::yy_is_interactive, yy_buffer_state::yy_is_our_buffer, yy_buffer_state::yy_n_chars, yyansi_c_switch_to_buffer(), and yyansi_calloc().
Referenced by yyansi_c_scan_bytes().
YY_BUFFER_STATE yyansi_c_scan_bytes | ( | const char * | yybytes, |
int | _yybytes_len | ||
) |
Setup the input buffer state to scan the given bytes.
The next call to yyansi_clex() will scan from a copy of bytes.
yybytes | the byte buffer to scan |
_yybytes_len | the number of bytes in the buffer pointed to by bytes. |
Definition at line 8063 of file ansi_c_lex.yy.cpp.
References YY_END_OF_BUFFER_CHAR, YY_FATAL_ERROR, yy_buffer_state::yy_is_our_buffer, yyansi_c_scan_buffer(), and yyansi_calloc().
Referenced by yyansi_c_scan_string().
YY_BUFFER_STATE yyansi_c_scan_string | ( | const char * | yystr | ) |
Setup the input buffer state to scan a string.
The next call to yyansi_clex() will scan from a copy of str.
yystr | a NUL-terminated string to scan |
Definition at line 8050 of file ansi_c_lex.yy.cpp.
References yyansi_c_scan_bytes().
void yyansi_c_switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Switch to a different input buffer.
new_buffer | The new input buffer. |
Definition at line 7766 of file ansi_c_lex.yy.cpp.
References yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyansi_c_load_buffer_state(), and yyansi_censure_buffer_stack().
Referenced by yyansi_c_scan_buffer().
void * yyansi_calloc | ( | yy_size_t | size | ) |
Definition at line 8320 of file ansi_c_lex.yy.cpp.
References malloc().
Referenced by yy_push_state(), yyansi_c_create_buffer(), yyansi_c_scan_buffer(), yyansi_c_scan_bytes(), and yyansi_censure_buffer_stack().
|
static |
Definition at line 7964 of file ansi_c_lex.yy.cpp.
References yy_buffer_stack, yy_buffer_stack_max, yy_buffer_stack_top, YY_FATAL_ERROR, yyansi_calloc(), and yyansi_crealloc().
Referenced by yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_cpush_buffer_state(), and yyansi_crestart().
void yyansi_cfree | ( | void * | ptr | ) |
Definition at line 8338 of file ansi_c_lex.yy.cpp.
References free().
Referenced by yyansi_c_delete_buffer(), and yyansi_clex_destroy().
int yyansi_cget_debug | ( | void | ) |
Definition at line 8227 of file ansi_c_lex.yy.cpp.
References yyansi_c_flex_debug.
void* yyansi_cget_extra | ( | void | ) |
FILE * yyansi_cget_in | ( | void | ) |
int yyansi_cget_leng | ( | void | ) |
Get the length of the current token.
Definition at line 8187 of file ansi_c_lex.yy.cpp.
References yyansi_cleng.
int yyansi_cget_lineno | ( | void | ) |
Get the current line number.
Definition at line 8162 of file ansi_c_lex.yy.cpp.
References yyansi_clineno.
FILE * yyansi_cget_out | ( | void | ) |
char * yyansi_cget_text | ( | void | ) |
int yyansi_clex | ( | void | ) |
The main scanner function which does all the work.
Definition at line 4337 of file ansi_c_lex.yy.cpp.
References configt::ansi_ct::APPLE, configt::ansi_ct::ARM, ASM_BLOCK, BEGIN, configt::ansi_ct::CODEWARRIOR, COMMENT1, COMMENT2, convert_character_literal(), convert_float_literal(), convert_integer_literal(), convert_string_literal(), cpp11_keyword(), cpp98_keyword(), cpp_operator(), CPROVER_ID, ECHO, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, irept::find(), configt::ansi_ct::GCC, GCC_ASM, GCC_ASM_PAREN, GCC_ATTRIBUTE1, GCC_ATTRIBUTE1a, GCC_ATTRIBUTE2, GCC_ATTRIBUTE3, GCC_ATTRIBUTE4, GCC_ATTRIBUTE5, GRAMMAR, IGNORE_PARENS, INITIAL, loc, make_identifier(), MSC_ANNOTATION, MSC_ASM, MSC_cpp_keyword(), MSC_Keyword(), MSC_PRAGMA, newstack, PARSER, preprocessor_line(), size_type(), stack, STRING_LITERAL, STRING_LITERAL_COMMENT, TOK_ACSL_EXISTS, TOK_ACSL_FORALL, TOK_ALIGNAS, TOK_ALIGNOF, TOK_ANDAND, TOK_ANDASSIGN, TOK_ARRAY_OF, TOK_ARROW, TOK_ARROWPM, TOK_ASM_STRING, TOK_ATOMIC_TYPE_QUALIFIER, TOK_ATOMIC_TYPE_SPECIFIER, TOK_AUTO, TOK_BINARY_TYPE_PREDICATE, TOK_BOOL, TOK_BREAK, TOK_BUILTIN_VA_ARG, TOK_CASE, TOK_CATCH, TOK_CHAR, TOK_CHAR16_T, TOK_CHAR32_T, TOK_CHARACTER, TOK_CLANG_BUILTIN_CONVERTVECTOR, TOK_CLASS, TOK_COMPLEX, TOK_CONST, TOK_CONSTEXPR, TOK_CONTINUE, TOK_CPROVER_ATOMIC, TOK_CPROVER_BITVECTOR, TOK_CPROVER_BOOL, TOK_CPROVER_CATCH, TOK_CPROVER_ENSURES, TOK_CPROVER_FINALLY, TOK_CPROVER_FIXEDBV, TOK_CPROVER_FLOATBV, TOK_CPROVER_ID, TOK_CPROVER_LOOP_INVARIANT, TOK_CPROVER_REQUIRES, TOK_CPROVER_THROW, TOK_CPROVER_TRY, TOK_CW_VAR_ARG_TYPEOF, TOK_DECLTYPE, TOK_DECR, TOK_DEFAULT, TOK_DELETE, TOK_DIVASSIGN, TOK_DO, TOK_DOTPM, TOK_DOUBLE, TOK_ELLIPSIS, TOK_ELSE, TOK_ENUM, TOK_EQ, TOK_EQUIVALENT, TOK_EXISTS, TOK_EXPLICIT, TOK_EXTERN, TOK_FALSE, TOK_FLOAT, TOK_FLOATING, TOK_FOR, TOK_FORALL, TOK_FRIEND, TOK_GCC_ASM, TOK_GCC_ASM_PAREN, TOK_GCC_ATTRIBUTE, TOK_GCC_ATTRIBUTE_ALIAS, TOK_GCC_ATTRIBUTE_ALIGNED, TOK_GCC_ATTRIBUTE_ALWAYS_INLINE, TOK_GCC_ATTRIBUTE_CONSTRUCTOR, TOK_GCC_ATTRIBUTE_DESTRUCTOR, TOK_GCC_ATTRIBUTE_FALLTHROUGH, TOK_GCC_ATTRIBUTE_GNU_INLINE, TOK_GCC_ATTRIBUTE_MODE, TOK_GCC_ATTRIBUTE_NORETURN, TOK_GCC_ATTRIBUTE_PACKED, TOK_GCC_ATTRIBUTE_SECTION, TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION, TOK_GCC_ATTRIBUTE_USED, TOK_GCC_ATTRIBUTE_VECTOR_SIZE, TOK_GCC_ATTRIBUTE_WEAK, TOK_GCC_AUTO_TYPE, TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P, TOK_GCC_DECIMAL128, TOK_GCC_DECIMAL32, TOK_GCC_DECIMAL64, TOK_GCC_FLOAT128, TOK_GCC_FLOAT128X, TOK_GCC_FLOAT16, TOK_GCC_FLOAT32, TOK_GCC_FLOAT32X, TOK_GCC_FLOAT64, TOK_GCC_FLOAT64X, TOK_GCC_FLOAT80, TOK_GCC_INT128, TOK_GCC_LABEL, TOK_GE, TOK_GENERIC, TOK_GOTO, TOK_IF, TOK_IMAG, TOK_IMAGINARY, TOK_IMPLIES, TOK_INCR, TOK_INLINE, TOK_INT, TOK_INT16, TOK_INT32, TOK_INT64, TOK_INT8, TOK_INTEGER, TOK_LE, TOK_LONG, TOK_MINUSASSIGN, TOK_MODASSIGN, TOK_MSC_ASM, TOK_MSC_BASED, TOK_MSC_DECLSPEC, TOK_MSC_EXCEPT, TOK_MSC_FINALLY, TOK_MSC_IF_EXISTS, TOK_MSC_IF_NOT_EXISTS, TOK_MSC_LEAVE, TOK_MSC_TRY, TOK_MULTASSIGN, TOK_MUTABLE, TOK_NAMESPACE, TOK_NE, TOK_NEW, TOK_NOEXCEPT, TOK_NORETURN, TOK_NULLPTR, TOK_OFFSETOF, TOK_OPERATOR, TOK_ORASSIGN, TOK_OROR, TOK_PLUSASSIGN, TOK_PRIVATE, TOK_PROTECTED, TOK_PTR32, TOK_PTR64, TOK_PUBLIC, TOK_REAL, TOK_REGISTER, TOK_RESTRICT, TOK_RETURN, TOK_SCANNER_ERROR, TOK_SCOPE, TOK_SHIFTLEFT, TOK_SHIFTRIGHT, TOK_SHLASSIGN, TOK_SHORT, TOK_SHRASSIGN, TOK_SIGNED, TOK_SIZEOF, TOK_STATIC, TOK_STATIC_ASSERT, TOK_STRING, TOK_STRUCT, TOK_SWITCH, TOK_TEMPLATE, TOK_THIS, TOK_THREAD_LOCAL, TOK_THROW, TOK_TRUE, TOK_TRY, TOK_TYPEDEF, TOK_TYPEID, TOK_TYPENAME, TOK_TYPEOF, TOK_UNARY_TYPE_PREDICATE, TOK_UNDERLYING_TYPE, TOK_UNION, TOK_UNSIGNED, TOK_USING, TOK_VIRTUAL, TOK_VOID, TOK_VOLATILE, TOK_WCHAR_T, TOK_WHILE, TOK_XORASSIGN, configt::ansi_ct::VISUAL_STUDIO, yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, yy_pop_state(), yy_push_state(), YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_top_state(), yy_try_NUL_trans(), yyansi_c_create_buffer(), yyansi_c_load_buffer_state(), yyansi_censure_buffer_stack(), yyansi_cerror(), yyansi_cin, yyansi_clval, yyansi_cout, yyansi_ctext, yyansi_cwrap(), yyless, yyterminate, and yytext_ptr.
Referenced by cpp_token_buffert::read_token().
int yyansi_clex_destroy | ( | void | ) |
Definition at line 8270 of file ansi_c_lex.yy.cpp.
References yy_buffer_stack, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_init_globals(), yy_start_stack, yyansi_c_delete_buffer(), yyansi_cfree(), and yyansi_cpop_buffer_state().
void yyansi_cpop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
Definition at line 7945 of file ansi_c_lex.yy.cpp.
References yy_buffer_stack_top, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yyansi_c_delete_buffer(), and yyansi_c_load_buffer_state().
Referenced by yyansi_clex_destroy().
void yyansi_cpush_buffer_state | ( | YY_BUFFER_STATE | new_buffer | ) |
Pushes the new state onto the stack.
The new state becomes the current state. This function will allocate the stack if necessary.
new_buffer | The new state. |
Definition at line 7915 of file ansi_c_lex.yy.cpp.
References yy_buffer_stack_top, yy_c_buf_p, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_did_buffer_switch_on_eof, yy_hold_char, yy_n_chars, yyansi_c_load_buffer_state(), and yyansi_censure_buffer_stack().
void * yyansi_crealloc | ( | void * | ptr, |
yy_size_t | size | ||
) |
Definition at line 8325 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_push_state(), and yyansi_censure_buffer_stack().
void yyansi_crestart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
input_file | A readable stream. |
INITIAL
. Definition at line 7749 of file ansi_c_lex.yy.cpp.
References YY_BUF_SIZE, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yyansi_c_create_buffer(), yyansi_c_init_buffer(), yyansi_c_load_buffer_state(), yyansi_censure_buffer_stack(), and yyansi_cin.
Referenced by yy_get_next_buffer().
void yyansi_cset_debug | ( | int | debug_flag | ) |
Definition at line 8232 of file ansi_c_lex.yy.cpp.
References yyansi_c_flex_debug.
void yyansi_cset_extra | ( | void * | user_defined | ) |
void yyansi_cset_in | ( | FILE * | _in_str | ) |
Set the input stream.
This does not discard the current input buffer.
_in_str | A readable stream. |
Definition at line 8217 of file ansi_c_lex.yy.cpp.
References yyansi_cin.
void yyansi_cset_lineno | ( | int | _line_number | ) |
Set the current line number.
_line_number | line number |
Definition at line 8205 of file ansi_c_lex.yy.cpp.
References yyansi_clineno.
void yyansi_cset_out | ( | FILE * | _out_str | ) |
Definition at line 8222 of file ansi_c_lex.yy.cpp.
References yyansi_cout.
int yyansi_cwrap | ( | void | ) |
Definition at line 8349 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_clex().
|
static |
Definition at line 392 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 863 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Stack as an array.
Definition at line 272 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), yyansi_censure_buffer_stack(), and yyansi_clex_destroy().
|
static |
capacity of stack.
Definition at line 271 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), and yyansi_censure_buffer_stack().
|
static |
index of top of stack.
Definition at line 270 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), yyansi_censure_buffer_stack(), yyansi_cpop_buffer_state(), and yyansi_cpush_buffer_state().
|
static |
Definition at line 295 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_get_previous_state(), yy_init_globals(), yy_try_NUL_trans(), yyansi_c_load_buffer_state(), yyansi_c_switch_to_buffer(), yyansi_clex(), and yyansi_cpush_buffer_state().
|
static |
Definition at line 2829 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 1303 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 302 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_switch_to_buffer(), yyansi_clex(), yyansi_cpop_buffer_state(), and yyansi_cpush_buffer_state().
|
static |
Definition at line 816 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), and yyansi_clex().
|
static |
Definition at line 290 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_c_load_buffer_state(), yyansi_c_switch_to_buffer(), yyansi_clex(), and yyansi_cpush_buffer_state().
|
static |
Definition at line 296 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), and yyansi_clex().
|
static |
Definition at line 3916 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 3915 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 848 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 291 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yyansi_c_load_buffer_state(), yyansi_c_switch_to_buffer(), yyansi_clex(), and yyansi_cpush_buffer_state().
|
static |
Definition at line 1743 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_try_NUL_trans(), and yyansi_clex().
|
static |
Definition at line 297 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_previous_state(), yy_init_globals(), and yyansi_clex().
|
static |
Definition at line 4227 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), yy_pop_state(), yy_push_state(), yy_top_state(), and yyansi_clex_destroy().
|
static |
Definition at line 4226 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), and yy_push_state().
|
static |
Definition at line 4225 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), yy_pop_state(), yy_push_state(), and yy_top_state().
int yyansi_c_flex_debug = 0 |
Definition at line 3919 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_cget_debug(), and yyansi_cset_debug().
FILE * yyansi_cin = NULL |
Definition at line 354 of file ansi_c_lex.yy.cpp.
Referenced by yy_get_next_buffer(), yy_init_globals(), yyansi_c_load_buffer_state(), yyansi_cget_in(), yyansi_clex(), yyansi_crestart(), and yyansi_cset_in().
int yyansi_cleng |
Definition at line 292 of file ansi_c_lex.yy.cpp.
Referenced by make_identifier(), and yyansi_cget_leng().
int yyansi_clineno = 1 |
Definition at line 360 of file ansi_c_lex.yy.cpp.
Referenced by yyansi_cget_lineno(), and yyansi_cset_lineno().
FILE * yyansi_cout = NULL |
Definition at line 354 of file ansi_c_lex.yy.cpp.
Referenced by yy_init_globals(), yyansi_cget_out(), yyansi_clex(), and yyansi_cset_out().
char * yyansi_ctext |
Definition at line 3928 of file ansi_c_lex.yy.cpp.
Referenced by make_identifier(), yyansi_cget_text(), and yyansi_clex().