cprover
|
Go to the source code of this file.
Classes | |
union | yyalloc |
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "3.6.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_CAST(Type, Val) ((Type) (Val)) |
#define | YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) |
#define | YY_NULLPTR ((void*)0) |
#define | YY_YYJSON_JSON_Y_TAB_H_INCLUDED |
#define | YYDEBUG 0 |
#define | YYTOKENTYPE |
#define | YYSTYPE_IS_TRIVIAL 1 |
#define | YYSTYPE_IS_DECLARED 1 |
#define | YYPTRDIFF_T long |
#define | YYPTRDIFF_MAXIMUM LONG_MAX |
#define | YYSIZE_T unsigned |
#define | YYSIZE_MAXIMUM |
#define | YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X)) |
#define | YY_(Msgid) Msgid |
#define | YY_ATTRIBUTE_PURE |
#define | YY_ATTRIBUTE_UNUSED |
#define | YYUSE(E) ((void) (E)) |
#define | YY_INITIAL_VALUE(Value) Value |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_END |
#define | YY_IGNORE_USELESS_CAST_BEGIN |
#define | YY_IGNORE_USELESS_CAST_END |
#define | YY_ASSERT(E) ((void) (0 && (E))) |
#define | YYSTACK_ALLOC YYMALLOC |
#define | YYSTACK_FREE YYFREE |
#define | YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
#define | YYMALLOC malloc |
#define | YYFREE free |
#define | YYSTACK_GAP_MAXIMUM (YYSIZEOF (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 | YYMAXUTOK 262 |
#define | YYTRANSLATE(YYX) |
#define | YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State]) |
Accessing symbol of state STATE. More... | |
#define | YYPACT_NINF (-11) |
#define | yypact_value_is_default(Yyn) ((Yyn) == YYPACT_NINF) |
#define | YYTABLE_NINF (-12) |
#define | yytable_value_is_error(Yyn) 0 |
#define | yyerrok (yyerrstatus = 0) |
#define | yyclearin (yychar = YYEMPTY) |
#define | YYACCEPT goto yyacceptlab |
#define | YYABORT goto yyabortlab |
#define | YYERROR goto yyerrorlab |
#define | YYRECOVERING() (!!yyerrstatus) |
#define | YYBACKUP(Token, Value) |
#define | YYERRCODE YYUNDEF |
#define | YYDPRINTF(Args) ((void) 0) |
#define | YY_SYMBOL_PRINT(Title, Kind, 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 enum yytokentype | yytoken_kind_t |
typedef int | YYSTYPE |
typedef enum yysymbol_kind_t | yysymbol_kind_t |
typedef signed char | yytype_int8 |
typedef short | yytype_int16 |
typedef unsigned char | yytype_uint8 |
typedef unsigned short | yytype_uint16 |
typedef yytype_int8 | yy_state_t |
typedef int | yy_state_fast_t |
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 (unsigned) |
void | free (void *) |
static void | yydestruct (const char *yymsg, yysymbol_kind_t yykind, YYSTYPE *yyvaluep) |
Variables | |
char * | yyjsontext |
int | yyjsonleng |
YYSTYPE | yyjsonlval |
static const yytype_int8 | yytranslate [] |
static const yytype_int8 | yypact [] |
static const yytype_int8 | yydefact [] |
static const yytype_int8 | yypgoto [] |
static const yytype_int8 | yydefgoto [] |
static const yytype_int8 | yytable [] |
static const yytype_int8 | yycheck [] |
static const yytype_int8 | yystos [] |
static const yytype_int8 | yyr1 [] |
static const yytype_int8 | yyr2 [] |
int | yyjsonchar |
int | yyjsonnerrs |
#define YY_ | ( | Msgid | ) | Msgid |
Definition at line 375 of file json_y.tab.cpp.
#define YY_ACCESSING_SYMBOL | ( | State | ) | YY_CAST (yysymbol_kind_t, yystos[State]) |
#define YY_ASSERT | ( | E | ) | ((void) (0 && (E))) |
Definition at line 435 of file json_y.tab.cpp.
#define YY_ATTRIBUTE_PURE |
Definition at line 384 of file json_y.tab.cpp.
#define YY_ATTRIBUTE_UNUSED |
Definition at line 392 of file json_y.tab.cpp.
#define YY_CAST | ( | Type, | |
Val | |||
) | ((Type) (Val)) |
Definition at line 167 of file json_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Definition at line 415 of file json_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 416 of file json_y.tab.cpp.
#define YY_IGNORE_USELESS_CAST_BEGIN |
Definition at line 430 of file json_y.tab.cpp.
#define YY_IGNORE_USELESS_CAST_END |
Definition at line 431 of file json_y.tab.cpp.
#define YY_INITIAL_VALUE | ( | Value | ) | Value |
Definition at line 412 of file json_y.tab.cpp.
#define YY_NULLPTR ((void*)0) |
Definition at line 179 of file json_y.tab.cpp.
#define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 922 of file json_y.tab.cpp.
#define YY_REINTERPRET_CAST | ( | Type, | |
Val | |||
) | ((Type) (Val)) |
Definition at line 168 of file json_y.tab.cpp.
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Definition at line 921 of file json_y.tab.cpp.
#define YY_SYMBOL_PRINT | ( | Title, | |
Kind, | |||
Value, | |||
Location | |||
) |
Definition at line 920 of file json_y.tab.cpp.
#define YY_YYJSON_JSON_Y_TAB_H_INCLUDED |
Definition at line 186 of file json_y.tab.cpp.
#define YYABORT goto yyabortlab |
Definition at line 764 of file json_y.tab.cpp.
#define YYACCEPT goto yyacceptlab |
Definition at line 763 of file json_y.tab.cpp.
#define YYBACKUP | ( | Token, | |
Value | |||
) |
Definition at line 770 of file json_y.tab.cpp.
#define YYBISON 1 |
Definition at line 50 of file json_y.tab.cpp.
#define YYBISON_VERSION "3.6.4" |
Definition at line 53 of file json_y.tab.cpp.
#define yychar yyjsonchar |
Definition at line 75 of file json_y.tab.cpp.
Definition at line 761 of file json_y.tab.cpp.
#define YYCOPY | ( | Dst, | |
Src, | |||
Count | |||
) |
Definition at line 552 of file json_y.tab.cpp.
#define YYCOPY_NEEDED 1 |
Definition at line 524 of file json_y.tab.cpp.
#define yydebug yyjsondebug |
Definition at line 72 of file json_y.tab.cpp.
#define YYDEBUG 0 |
Definition at line 189 of file json_y.tab.cpp.
#define YYDPRINTF | ( | Args | ) | ((void) 0) |
Definition at line 919 of file json_y.tab.cpp.
#define YYERRCODE YYUNDEF |
Definition at line 789 of file json_y.tab.cpp.
#define yyerrok (yyerrstatus = 0) |
Definition at line 760 of file json_y.tab.cpp.
#define yyerror yyjsonerror |
Definition at line 71 of file json_y.tab.cpp.
#define YYERROR goto yyerrorlab |
Definition at line 765 of file json_y.tab.cpp.
#define YYFINAL 16 |
Definition at line 565 of file json_y.tab.cpp.
#define YYFREE free |
Definition at line 496 of file json_y.tab.cpp.
#define YYINITDEPTH 200 |
Definition at line 928 of file json_y.tab.cpp.
#define YYLAST 30 |
Definition at line 567 of file json_y.tab.cpp.
#define yylex yyjsonlex |
Definition at line 70 of file json_y.tab.cpp.
#define yylval yyjsonlval |
Definition at line 74 of file json_y.tab.cpp.
#define YYMALLOC malloc |
Definition at line 490 of file json_y.tab.cpp.
#define YYMAXDEPTH 10000 |
Definition at line 939 of file json_y.tab.cpp.
#define YYMAXUTOK 262 |
Definition at line 578 of file json_y.tab.cpp.
#define yynerrs yyjsonnerrs |
Definition at line 73 of file json_y.tab.cpp.
#define YYNNTS 14 |
Definition at line 572 of file json_y.tab.cpp.
#define YYNRULES 24 |
Definition at line 574 of file json_y.tab.cpp.
#define YYNSTATES 34 |
Definition at line 576 of file json_y.tab.cpp.
#define YYNTOKENS 14 |
Definition at line 570 of file json_y.tab.cpp.
#define YYPACT_NINF (-11) |
Definition at line 667 of file json_y.tab.cpp.
#define yypact_value_is_default | ( | Yyn | ) | ((Yyn) == YYPACT_NINF) |
Definition at line 669 of file json_y.tab.cpp.
#define yyparse yyjsonparse |
Definition at line 69 of file json_y.tab.cpp.
#define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
#define YYPTRDIFF_MAXIMUM LONG_MAX |
Definition at line 335 of file json_y.tab.cpp.
#define YYPTRDIFF_T long |
Definition at line 334 of file json_y.tab.cpp.
#define YYPULL 1 |
Definition at line 65 of file json_y.tab.cpp.
#define YYPURE 0 |
Definition at line 59 of file json_y.tab.cpp.
#define YYPUSH 0 |
Definition at line 62 of file json_y.tab.cpp.
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 768 of file json_y.tab.cpp.
#define YYSIZE_MAXIMUM |
Definition at line 352 of file json_y.tab.cpp.
#define YYSIZE_T unsigned |
Definition at line 348 of file json_y.tab.cpp.
#define YYSIZEOF | ( | X | ) | YY_CAST (YYPTRDIFF_T, sizeof (X)) |
Definition at line 358 of file json_y.tab.cpp.
#define YYSKELETON_NAME "yacc.c" |
Definition at line 56 of file json_y.tab.cpp.
#define YYSTACK_ALLOC YYMALLOC |
Definition at line 476 of file json_y.tab.cpp.
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 479 of file json_y.tab.cpp.
#define YYSTACK_BYTES | ( | N | ) |
Definition at line 520 of file json_y.tab.cpp.
#define YYSTACK_FREE YYFREE |
Definition at line 477 of file json_y.tab.cpp.
Definition at line 516 of file json_y.tab.cpp.
#define YYSTACK_RELOCATE | ( | Stack_alloc, | |
Stack | |||
) |
Definition at line 531 of file json_y.tab.cpp.
#define YYSTYPE_IS_DECLARED 1 |
Definition at line 217 of file json_y.tab.cpp.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 216 of file json_y.tab.cpp.
#define YYTABLE_NINF (-12) |
Definition at line 672 of file json_y.tab.cpp.
#define yytable_value_is_error | ( | Yyn | ) | 0 |
Definition at line 674 of file json_y.tab.cpp.
#define YYTOKENTYPE |
Definition at line 197 of file json_y.tab.cpp.
#define YYTRANSLATE | ( | YYX | ) |
Definition at line 583 of file json_y.tab.cpp.
#define YYUSE | ( | E | ) | ((void) (E)) |
Definition at line 398 of file json_y.tab.cpp.
typedef int yy_state_fast_t |
Definition at line 364 of file json_y.tab.cpp.
typedef yytype_int8 yy_state_t |
Definition at line 361 of file json_y.tab.cpp.
typedef int YYSTYPE |
Definition at line 214 of file json_y.tab.cpp.
typedef enum yysymbol_kind_t yysymbol_kind_t |
Definition at line 222 of file json_y.tab.cpp.
typedef enum yytokentype yytoken_kind_t |
Definition at line 152 of file json_y.tab.cpp.
typedef short yytype_int16 |
Definition at line 297 of file json_y.tab.cpp.
typedef signed char yytype_int8 |
Definition at line 289 of file json_y.tab.cpp.
typedef unsigned short yytype_uint16 |
Definition at line 317 of file json_y.tab.cpp.
typedef unsigned char yytype_uint8 |
Definition at line 306 of file json_y.tab.cpp.
anonymous enum |
Enumerator | |
---|---|
YYENOMEM |
Definition at line 757 of file json_y.tab.cpp.
enum yysymbol_kind_t |
Definition at line 226 of file json_y.tab.cpp.
enum yytokentype |
Definition at line 197 of file json_y.tab.cpp.
|
static |
Definition at line 147 of file json_y.tab.cpp.
|
static |
Definition at line 103 of file json_y.tab.cpp.
void free | ( | void * | ) |
void* malloc | ( | unsigned | ) |
|
static |
Definition at line 951 of file json_y.tab.cpp.
int yyjsonerror | ( | const std::string & | error | ) |
Definition at line 152 of file json_y.tab.cpp.
int yyjsonlex | ( | ) |
The main scanner function which does all the work.
Definition at line 952 of file json_lex.yy.cpp.
int yyjsonparse | ( | void | ) |
Definition at line 981 of file json_y.tab.cpp.
|
static |
Definition at line 722 of file json_y.tab.cpp.
|
static |
Definition at line 689 of file json_y.tab.cpp.
|
static |
Definition at line 705 of file json_y.tab.cpp.
int yyjsonchar |
Definition at line 966 of file json_y.tab.cpp.
int yyjsonleng |
Definition at line 530 of file json_lex.yy.cpp.
YYSTYPE yyjsonlval |
Definition at line 969 of file json_y.tab.cpp.
int yyjsonnerrs |
Definition at line 971 of file json_y.tab.cpp.
char* yyjsontext |
Definition at line 739 of file json_lex.yy.cpp.
|
static |
Definition at line 678 of file json_y.tab.cpp.
|
static |
Definition at line 698 of file json_y.tab.cpp.
|
static |
Definition at line 741 of file json_y.tab.cpp.
|
static |
Definition at line 749 of file json_y.tab.cpp.
|
static |
Definition at line 732 of file json_y.tab.cpp.
|
static |
Definition at line 714 of file json_y.tab.cpp.
|
static |
Definition at line 589 of file json_y.tab.cpp.