cprover
|
Go to the source code of this file.
Classes | |
union | yyalloc |
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "3.0.4" |
#define | YYSKELETON_NAME "yacc.c" |
#define | YYPURE 0 |
#define | YYPUSH 0 |
#define | YYPULL 1 |
#define | yyparse yyjsonparse |
#define | yylex yyjsonlex |
#define | yyerror yyjsonerror |
#define | yydebug yyjsondebug |
#define | yynerrs yyjsonnerrs |
#define | yylval yyjsonlval |
#define | yychar yyjsonchar |
#define | YY_NULLPTR 0 |
#define | YYERROR_VERBOSE 0 |
#define | YY_YYJSON_JSON_Y_TAB_HPP_INCLUDED |
#define | YYDEBUG 0 |
#define | YYTOKENTYPE |
#define | TOK_STRING 258 |
#define | TOK_NUMBER 259 |
#define | TOK_TRUE 260 |
#define | TOK_FALSE 261 |
#define | TOK_NULL 262 |
#define | YYSTYPE_IS_TRIVIAL 1 |
#define | YYSTYPE_IS_DECLARED 1 |
#define | YYSIZE_T size_t |
#define | YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
#define | YY_(Msgid) Msgid |
#define | YY_ATTRIBUTE(Spec) /* empty */ |
#define | YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
#define | YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
#define | _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
#define | YYUSE(E) ((void) (E)) |
#define | YY_INITIAL_VALUE(Value) Value |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_END |
#define | YYSTACK_ALLOC YYMALLOC |
#define | YYSTACK_FREE YYFREE |
#define | YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
#define | YYMALLOC malloc |
#define | YYFREE free |
#define | YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
#define | YYSTACK_BYTES(N) |
#define | YYCOPY_NEEDED 1 |
#define | YYSTACK_RELOCATE(Stack_alloc, Stack) |
#define | YYCOPY(Dst, Src, Count) |
#define | YYFINAL 16 |
#define | YYLAST 30 |
#define | YYNTOKENS 14 |
#define | YYNNTS 14 |
#define | YYNRULES 24 |
#define | YYNSTATES 34 |
#define | YYUNDEFTOK 2 |
#define | YYMAXUTOK 262 |
#define | YYTRANSLATE(YYX) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
#define | YYPACT_NINF -11 |
#define | yypact_value_is_default(Yystate) (!!((Yystate) == (-11))) |
#define | YYTABLE_NINF -12 |
#define | yytable_value_is_error(Yytable_value) 0 |
#define | yyerrok (yyerrstatus = 0) |
#define | yyclearin (yychar = YYEMPTY) |
#define | YYEMPTY (-2) |
#define | YYEOF 0 |
#define | YYACCEPT goto yyacceptlab |
#define | YYABORT goto yyabortlab |
#define | YYERROR goto yyerrorlab |
#define | YYRECOVERING() (!!yyerrstatus) |
#define | YYBACKUP(Token, Value) |
#define | YYTERROR 1 |
#define | YYERRCODE 256 |
#define | YYDPRINTF(Args) |
#define | YY_SYMBOL_PRINT(Title, Type, Value, Location) |
#define | YY_STACK_PRINT(Bottom, Top) |
#define | YY_REDUCE_PRINT(Rule) |
#define | YYINITDEPTH 200 |
#define | YYMAXDEPTH 10000 |
#define | YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) |
Typedefs | |
typedef int | YYSTYPE |
typedef unsigned char | yytype_uint8 |
typedef signed char | yytype_int8 |
typedef unsigned short int | yytype_uint16 |
typedef short int | yytype_int16 |
Functions | |
int | yyjsonlex () |
The main scanner function which does all the work. More... | |
static std::string | convert_TOK_STRING () |
static std::string | convert_TOK_NUMBER () |
int | yyjsonerror (const std::string &error) |
int | yyjsonparse (void) |
void * | malloc (size_t) |
void | free (void *) |
static void | yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) |
Variables | |
char * | yyjsontext |
int | yyjsonleng |
YYSTYPE | yyjsonlval |
static const yytype_uint8 | yytranslate [] |
static const yytype_int8 | yypact [] |
static const yytype_uint8 | yydefact [] |
static const yytype_int8 | yypgoto [] |
static const yytype_int8 | yydefgoto [] |
static const yytype_int8 | yytable [] |
static const yytype_int8 | yycheck [] |
static const yytype_uint8 | yystos [] |
static const yytype_uint8 | yyr1 [] |
static const yytype_uint8 | yyr2 [] |
int | yyjsonchar |
int | yyjsonnerrs |
#define _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
Definition at line 277 of file json_y.tab.cpp.
#define TOK_FALSE 261 |
Definition at line 178 of file json_y.tab.cpp.
#define TOK_NULL 262 |
Definition at line 179 of file json_y.tab.cpp.
#define TOK_NUMBER 259 |
Definition at line 176 of file json_y.tab.cpp.
Referenced by yyjsonlex().
#define TOK_STRING 258 |
Definition at line 175 of file json_y.tab.cpp.
#define TOK_TRUE 260 |
Definition at line 177 of file json_y.tab.cpp.
#define YY_ | ( | Msgid | ) | Msgid |
Definition at line 250 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YY_ATTRIBUTE | ( | Spec | ) | /* empty */ |
Definition at line 260 of file json_y.tab.cpp.
#define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
Definition at line 265 of file json_y.tab.cpp.
#define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
Definition at line 269 of file json_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Definition at line 300 of file json_y.tab.cpp.
Referenced by yydestruct(), and yyjsonparse().
#define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 301 of file json_y.tab.cpp.
Referenced by yydestruct(), and yyjsonparse().
#define YY_INITIAL_VALUE | ( | Value | ) | Value |
Definition at line 297 of file json_y.tab.cpp.
#define YY_NULLPTR 0 |
Definition at line 138 of file json_y.tab.cpp.
#define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 776 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Definition at line 775 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YY_SYMBOL_PRINT | ( | Title, | |
Type, | |||
Value, | |||
Location | |||
) |
Definition at line 774 of file json_y.tab.cpp.
Referenced by yydestruct(), and yyjsonparse().
#define YY_YYJSON_JSON_Y_TAB_HPP_INCLUDED |
Definition at line 153 of file json_y.tab.cpp.
#define YYABORT goto yyabortlab |
Definition at line 621 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYACCEPT goto yyacceptlab |
Definition at line 620 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYBACKUP | ( | Token, | |
Value | |||
) |
Definition at line 627 of file json_y.tab.cpp.
#define YYBISON 1 |
Definition at line 44 of file json_y.tab.cpp.
#define YYBISON_VERSION "3.0.4" |
Definition at line 47 of file json_y.tab.cpp.
#define yychar yyjsonchar |
Definition at line 70 of file json_y.tab.cpp.
Referenced by yyjsonparse().
Definition at line 616 of file json_y.tab.cpp.
#define YYCOPY | ( | Dst, | |
Src, | |||
Count | |||
) |
Definition at line 424 of file json_y.tab.cpp.
#define YYCOPY_NEEDED 1 |
Definition at line 396 of file json_y.tab.cpp.
#define yydebug yyjsondebug |
Definition at line 66 of file json_y.tab.cpp.
#define YYDEBUG 0 |
Definition at line 156 of file json_y.tab.cpp.
#define YYDPRINTF | ( | Args | ) |
Definition at line 773 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYEMPTY (-2) |
Definition at line 617 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYEOF 0 |
Definition at line 618 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYERRCODE 256 |
Definition at line 646 of file json_y.tab.cpp.
#define yyerrok (yyerrstatus = 0) |
Definition at line 615 of file json_y.tab.cpp.
#define yyerror yyjsonerror |
Definition at line 65 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYERROR goto yyerrorlab |
Definition at line 622 of file json_y.tab.cpp.
#define YYERROR_VERBOSE 0 |
Definition at line 147 of file json_y.tab.cpp.
#define YYFINAL 16 |
Definition at line 437 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYFREE free |
Definition at line 367 of file json_y.tab.cpp.
#define YYINITDEPTH 200 |
Definition at line 782 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYLAST 30 |
Definition at line 439 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define yylex yyjsonlex |
Definition at line 64 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define yylval yyjsonlval |
Definition at line 69 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYMALLOC malloc |
Definition at line 361 of file json_y.tab.cpp.
#define YYMAXDEPTH 10000 |
Definition at line 793 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYMAXUTOK 262 |
Definition at line 453 of file json_y.tab.cpp.
#define yynerrs yyjsonnerrs |
Definition at line 67 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYNNTS 14 |
Definition at line 444 of file json_y.tab.cpp.
#define YYNRULES 24 |
Definition at line 446 of file json_y.tab.cpp.
#define YYNSTATES 34 |
Definition at line 448 of file json_y.tab.cpp.
#define YYNTOKENS 14 |
Definition at line 442 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYPACT_NINF -11 |
Definition at line 524 of file json_y.tab.cpp.
#define yypact_value_is_default | ( | Yystate | ) | (!!((Yystate) == (-11))) |
Definition at line 526 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define yyparse yyjsonparse |
Definition at line 63 of file json_y.tab.cpp.
#define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
Referenced by yyjsonparse().
#define YYPULL 1 |
Definition at line 59 of file json_y.tab.cpp.
#define YYPURE 0 |
Definition at line 53 of file json_y.tab.cpp.
#define YYPUSH 0 |
Definition at line 56 of file json_y.tab.cpp.
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 625 of file json_y.tab.cpp.
#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
Definition at line 240 of file json_y.tab.cpp.
#define YYSIZE_T size_t |
Definition at line 234 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYSKELETON_NAME "yacc.c" |
Definition at line 50 of file json_y.tab.cpp.
#define YYSTACK_ALLOC YYMALLOC |
Definition at line 347 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 350 of file json_y.tab.cpp.
#define YYSTACK_BYTES | ( | N | ) |
#define YYSTACK_FREE YYFREE |
Definition at line 348 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
Definition at line 388 of file json_y.tab.cpp.
#define YYSTACK_RELOCATE | ( | Stack_alloc, | |
Stack | |||
) |
Definition at line 403 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYSTYPE_IS_DECLARED 1 |
Definition at line 185 of file json_y.tab.cpp.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 184 of file json_y.tab.cpp.
#define YYTABLE_NINF -12 |
Definition at line 529 of file json_y.tab.cpp.
#define yytable_value_is_error | ( | Yytable_value | ) | 0 |
Definition at line 531 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYTERROR 1 |
Definition at line 645 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYTOKENTYPE |
Definition at line 164 of file json_y.tab.cpp.
#define YYTRANSLATE | ( | YYX | ) | ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Definition at line 455 of file json_y.tab.cpp.
Referenced by yyjsonparse().
#define YYUNDEFTOK 2 |
Definition at line 452 of file json_y.tab.cpp.
#define YYUSE | ( | E | ) | ((void) (E)) |
Definition at line 283 of file json_y.tab.cpp.
Referenced by yydestruct().
typedef int YYSTYPE |
Definition at line 183 of file json_y.tab.cpp.
typedef short int yytype_int16 |
Definition at line 224 of file json_y.tab.cpp.
typedef signed char yytype_int8 |
Definition at line 212 of file json_y.tab.cpp.
typedef unsigned short int yytype_uint16 |
Definition at line 218 of file json_y.tab.cpp.
typedef unsigned char yytype_uint8 |
Definition at line 206 of file json_y.tab.cpp.
enum yytokentype |
Definition at line 165 of file json_y.tab.cpp.
|
static |
|
static |
Definition at line 84 of file json_y.tab.cpp.
References yyjsonleng, and yyjsontext.
Referenced by yyjsonparse().
void free | ( | void * | ) |
void* malloc | ( | size_t | ) |
|
static |
Definition at line 1024 of file json_y.tab.cpp.
References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.
Referenced by yyjsonparse().
int yyjsonerror | ( | const std::string & | error | ) |
Definition at line 125 of file json_y.tab.cpp.
References json_parser, parsert::parse_error(), and yyjsontext.
int yyjsonlex | ( | ) |
The main scanner function which does all the work.
Definition at line 704 of file json_lex.yy.cpp.
References EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, INITIAL, TOK_FALSE, TOK_NULL, TOK_NUMBER, TOK_STRING, TOK_TRUE, 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_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_try_NUL_trans(), yyjson_create_buffer(), yyjson_load_buffer_state(), yyjsonensure_buffer_stack(), yyjsonin, yyjsonout, yyjsontext, yyjsonwrap, yyterminate, and yytext_ptr.
int yyjsonparse | ( | void | ) |
Definition at line 1053 of file json_y.tab.cpp.
References jsont::array, convert_TOK_NUMBER(), convert_TOK_STRING(), json_parser, jsont::object, json_parsert::pop(), json_parsert::push(), json_parsert::top(), jsont::value, YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, yyalloc::yyss_alloc, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, YYTRANSLATE, and yyalloc::yyvs_alloc.
Referenced by json_parsert::parse().
|
static |
Definition at line 580 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 547 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 563 of file json_y.tab.cpp.
Referenced by yyjsonparse().
int yyjsonchar |
Definition at line 1040 of file json_y.tab.cpp.
int yyjsonleng |
Referenced by convert_TOK_STRING().
YYSTYPE yyjsonlval |
Definition at line 1043 of file json_y.tab.cpp.
int yyjsonnerrs |
Definition at line 1045 of file json_y.tab.cpp.
char* yyjsontext |
Referenced by convert_TOK_NUMBER(), convert_TOK_STRING(), and yyjsonerror().
|
static |
Definition at line 536 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 556 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 599 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 607 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 590 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 572 of file json_y.tab.cpp.
Referenced by yyjsonparse().
|
static |
Definition at line 460 of file json_y.tab.cpp.