|
cprover
|
Include dependency graph for json_y.tab.cpp:Go to the source code of this file.
Classes | |
| union | yyalloc |
Macros | |
| #define | YYBISON 1 |
| #define | YYBISON_VERSION "3.0.5" |
| #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.
| #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.
| #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.
| #define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 301 of file json_y.tab.cpp.
| #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.
| #define YY_STACK_PRINT | ( | Bottom, | |
| Top | |||
| ) |
Definition at line 775 of file json_y.tab.cpp.
| #define YY_SYMBOL_PRINT | ( | Title, | |
| Type, | |||
| Value, | |||
| Location | |||
| ) |
Definition at line 774 of file json_y.tab.cpp.
| #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.
| #define YYACCEPT goto yyacceptlab |
Definition at line 620 of file json_y.tab.cpp.
| #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.5" |
Definition at line 47 of file json_y.tab.cpp.
| #define yychar yyjsonchar |
Definition at line 70 of file json_y.tab.cpp.
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.
| #define YYEMPTY (-2) |
Definition at line 617 of file json_y.tab.cpp.
| #define YYEOF 0 |
Definition at line 618 of file json_y.tab.cpp.
| #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.
| #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.
| #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.
| #define YYLAST 30 |
Definition at line 439 of file json_y.tab.cpp.
| #define yylex yyjsonlex |
Definition at line 64 of file json_y.tab.cpp.
| #define yylval yyjsonlval |
Definition at line 69 of file json_y.tab.cpp.
| #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.
| #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.
| #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.
| #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.
| #define yyparse yyjsonparse |
Definition at line 63 of file json_y.tab.cpp.
| #define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
| #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.
| #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.
| #define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 350 of file json_y.tab.cpp.
| #define YYSTACK_BYTES | ( | N | ) |
Definition at line 392 of file json_y.tab.cpp.
| #define YYSTACK_FREE YYFREE |
Definition at line 348 of file json_y.tab.cpp.
| #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.
| #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.
| #define YYTERROR 1 |
Definition at line 645 of file json_y.tab.cpp.
| #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.
| #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.
| 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 |
Definition at line 120 of file json_y.tab.cpp.
|
static |
Definition at line 84 of file json_y.tab.cpp.
| void free | ( | void * | ) |
| void* malloc | ( | size_t | ) |
|
static |
Definition at line 1025 of file json_y.tab.cpp.
| int yyjsonerror | ( | const std::string & | error | ) |
Definition at line 125 of file json_y.tab.cpp.
| int yyjsonlex | ( | ) |
The main scanner function which does all the work.
Definition at line 933 of file json_lex.yy.cpp.
| int yyjsonparse | ( | void | ) |
Definition at line 1054 of file json_y.tab.cpp.
|
static |
Definition at line 580 of file json_y.tab.cpp.
|
static |
Definition at line 547 of file json_y.tab.cpp.
|
static |
Definition at line 563 of file json_y.tab.cpp.
| int yyjsonchar |
Definition at line 1041 of file json_y.tab.cpp.
| int yyjsonleng |
| YYSTYPE yyjsonlval |
Definition at line 1044 of file json_y.tab.cpp.
| int yyjsonnerrs |
Definition at line 1046 of file json_y.tab.cpp.
| char* yyjsontext |
|
static |
Definition at line 536 of file json_y.tab.cpp.
|
static |
Definition at line 556 of file json_y.tab.cpp.
|
static |
Definition at line 599 of file json_y.tab.cpp.
|
static |
Definition at line 607 of file json_y.tab.cpp.
|
static |
Definition at line 590 of file json_y.tab.cpp.
|
static |
Definition at line 572 of file json_y.tab.cpp.
|
static |
Definition at line 460 of file json_y.tab.cpp.