cprover
|
Go to the source code of this file.
Classes | |
union | YYSTYPE |
union | yyalloc |
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "3.5" |
#define | YYSKELETON_NAME "yacc.c" |
#define | YYPURE 0 |
#define | YYPUSH 0 |
#define | YYPULL 1 |
#define | yyparse yyxmlparse |
#define | yylex yyxmllex |
#define | yyerror yyxmlerror |
#define | yydebug yyxmldebug |
#define | yynerrs yyxmlnerrs |
#define | yylval yyxmllval |
#define | yychar yyxmlchar |
#define | YY_CAST(Type, Val) ((Type) (Val)) |
#define | YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) |
#define | YY_NULLPTR ((void*)0) |
#define | YYERROR_VERBOSE 1 |
#define | YY_YYXML_XML_Y_TAB_HPP_INCLUDED |
#define | YYDEBUG 0 |
#define | YYTOKENTYPE |
#define | STARTXMLDECL 258 |
#define | VERSION 259 |
#define | STARTPI 260 |
#define | ENDPI 261 |
#define | EQ 262 |
#define | SLASH 263 |
#define | CLOSE 264 |
#define | END 265 |
#define | ENCODING 266 |
#define | NAME 267 |
#define | VALUE 268 |
#define | DATA 269 |
#define | COMMENT 270 |
#define | START 271 |
#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 6 |
#define | YYLAST 25 |
#define | YYNTOKENS 17 |
#define | YYNNTS 20 |
#define | YYNRULES 29 |
#define | YYNSTATES 43 |
#define | YYUNDEFTOK 2 |
#define | YYMAXUTOK 271 |
#define | YYTRANSLATE(YYX) (0 <= (YYX) && (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
#define | YYPACT_NINF (-13) |
#define | yypact_value_is_default(Yyn) ((Yyn) == YYPACT_NINF) |
#define | YYTABLE_NINF (-1) |
#define | yytable_value_is_error(Yyn) 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 | YYCASE_(N, S) |
#define | YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) |
#define | YYSYNTAX_ERROR |
Typedefs | |
typedef union YYSTYPE | YYSTYPE |
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 | yyxmllex () |
The main scanner function which does all the work. More... | |
int | yyxmlerror (const std::string &error) |
int | yyxmlparse (void) |
void * | malloc (unsigned) |
void | free (void *) |
static long | yystrlen (const char *yystr) |
static char * | yystpcpy (char *yydest, const char *yysrc) |
static long | yytnamerr (char *yyres, const char *yystr) |
static int | yysyntax_error (long *yymsg_alloc, char **yymsg, yy_state_t *yyssp, int yytoken) |
static void | yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) |
Variables | |
char * | yyxmltext |
YYSTYPE | yyxmllval |
static const yytype_int8 | yytranslate [] |
static const char *const | yytname [] |
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 | yyxmlchar |
int | yyxmlnerrs |
#define CLOSE 264 |
Definition at line 163 of file xml_y.tab.cpp.
#define COMMENT 270 |
Definition at line 169 of file xml_y.tab.cpp.
#define DATA 269 |
Definition at line 168 of file xml_y.tab.cpp.
#define ENCODING 266 |
Definition at line 165 of file xml_y.tab.cpp.
#define END 265 |
Definition at line 164 of file xml_y.tab.cpp.
#define ENDPI 261 |
Definition at line 160 of file xml_y.tab.cpp.
#define EQ 262 |
Definition at line 161 of file xml_y.tab.cpp.
#define NAME 267 |
Definition at line 166 of file xml_y.tab.cpp.
#define SLASH 263 |
Definition at line 162 of file xml_y.tab.cpp.
#define START 271 |
Definition at line 170 of file xml_y.tab.cpp.
#define STARTPI 260 |
Definition at line 159 of file xml_y.tab.cpp.
#define STARTXMLDECL 258 |
Definition at line 157 of file xml_y.tab.cpp.
#define VALUE 268 |
Definition at line 167 of file xml_y.tab.cpp.
#define VERSION 259 |
Definition at line 158 of file xml_y.tab.cpp.
#define YY_ | ( | Msgid | ) | Msgid |
Definition at line 306 of file xml_y.tab.cpp.
#define YY_ASSERT | ( | E | ) | ((void) (0 && (E))) |
Definition at line 365 of file xml_y.tab.cpp.
#define YY_ATTRIBUTE_PURE |
Definition at line 314 of file xml_y.tab.cpp.
#define YY_ATTRIBUTE_UNUSED |
Definition at line 322 of file xml_y.tab.cpp.
#define YY_CAST | ( | Type, | |
Val | |||
) | ((Type) (Val)) |
Definition at line 99 of file xml_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Definition at line 345 of file xml_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 346 of file xml_y.tab.cpp.
#define YY_IGNORE_USELESS_CAST_BEGIN |
Definition at line 360 of file xml_y.tab.cpp.
#define YY_IGNORE_USELESS_CAST_END |
Definition at line 361 of file xml_y.tab.cpp.
#define YY_INITIAL_VALUE | ( | Value | ) | Value |
Definition at line 342 of file xml_y.tab.cpp.
#define YY_NULLPTR ((void*)0) |
Definition at line 111 of file xml_y.tab.cpp.
#define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 841 of file xml_y.tab.cpp.
#define YY_REINTERPRET_CAST | ( | Type, | |
Val | |||
) | ((Type) (Val)) |
Definition at line 100 of file xml_y.tab.cpp.
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Definition at line 840 of file xml_y.tab.cpp.
#define YY_SYMBOL_PRINT | ( | Title, | |
Type, | |||
Value, | |||
Location | |||
) |
Definition at line 839 of file xml_y.tab.cpp.
#define YY_YYXML_XML_Y_TAB_HPP_INCLUDED |
Definition at line 126 of file xml_y.tab.cpp.
#define YYABORT goto yyabortlab |
Definition at line 684 of file xml_y.tab.cpp.
#define YYACCEPT goto yyacceptlab |
Definition at line 683 of file xml_y.tab.cpp.
#define YYBACKUP | ( | Token, | |
Value | |||
) |
Definition at line 690 of file xml_y.tab.cpp.
#define YYBISON 1 |
Definition at line 48 of file xml_y.tab.cpp.
#define YYBISON_VERSION "3.5" |
Definition at line 51 of file xml_y.tab.cpp.
#define YYCASE_ | ( | N, | |
S | |||
) |
#define yychar yyxmlchar |
Definition at line 73 of file xml_y.tab.cpp.
Definition at line 679 of file xml_y.tab.cpp.
#define YYCOPY | ( | Dst, | |
Src, | |||
Count | |||
) |
Definition at line 483 of file xml_y.tab.cpp.
#define YYCOPY_NEEDED 1 |
Definition at line 455 of file xml_y.tab.cpp.
#define yydebug yyxmldebug |
Definition at line 70 of file xml_y.tab.cpp.
#define YYDEBUG 0 |
Definition at line 129 of file xml_y.tab.cpp.
#define YYDPRINTF | ( | Args | ) |
Definition at line 838 of file xml_y.tab.cpp.
#define YYEMPTY (-2) |
Definition at line 680 of file xml_y.tab.cpp.
#define YYEOF 0 |
Definition at line 681 of file xml_y.tab.cpp.
#define YYERRCODE 256 |
Definition at line 709 of file xml_y.tab.cpp.
#define yyerrok (yyerrstatus = 0) |
Definition at line 678 of file xml_y.tab.cpp.
#define yyerror yyxmlerror |
Definition at line 69 of file xml_y.tab.cpp.
#define YYERROR goto yyerrorlab |
Definition at line 685 of file xml_y.tab.cpp.
#define YYERROR_VERBOSE 1 |
Definition at line 120 of file xml_y.tab.cpp.
#define YYFINAL 6 |
Definition at line 496 of file xml_y.tab.cpp.
#define YYFREE free |
Definition at line 426 of file xml_y.tab.cpp.
#define YYINITDEPTH 200 |
Definition at line 847 of file xml_y.tab.cpp.
#define YYLAST 25 |
Definition at line 498 of file xml_y.tab.cpp.
#define yylex yyxmllex |
Definition at line 68 of file xml_y.tab.cpp.
#define yylval yyxmllval |
Definition at line 72 of file xml_y.tab.cpp.
#define YYMALLOC malloc |
Definition at line 420 of file xml_y.tab.cpp.
#define YYMAXDEPTH 10000 |
Definition at line 858 of file xml_y.tab.cpp.
#define YYMAXUTOK 271 |
Definition at line 510 of file xml_y.tab.cpp.
#define yynerrs yyxmlnerrs |
Definition at line 71 of file xml_y.tab.cpp.
#define YYNNTS 20 |
Definition at line 503 of file xml_y.tab.cpp.
#define YYNRULES 29 |
Definition at line 505 of file xml_y.tab.cpp.
#define YYNSTATES 43 |
Definition at line 507 of file xml_y.tab.cpp.
#define YYNTOKENS 17 |
Definition at line 501 of file xml_y.tab.cpp.
#define YYPACT_NINF (-13) |
Definition at line 586 of file xml_y.tab.cpp.
#define yypact_value_is_default | ( | Yyn | ) | ((Yyn) == YYPACT_NINF) |
Definition at line 588 of file xml_y.tab.cpp.
#define yyparse yyxmlparse |
Definition at line 67 of file xml_y.tab.cpp.
#define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
#define YYPTRDIFF_MAXIMUM LONG_MAX |
Definition at line 267 of file xml_y.tab.cpp.
#define YYPTRDIFF_T long |
Definition at line 266 of file xml_y.tab.cpp.
#define YYPULL 1 |
Definition at line 63 of file xml_y.tab.cpp.
#define YYPURE 0 |
Definition at line 57 of file xml_y.tab.cpp.
#define YYPUSH 0 |
Definition at line 60 of file xml_y.tab.cpp.
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 688 of file xml_y.tab.cpp.
#define YYSIZE_MAXIMUM |
Definition at line 284 of file xml_y.tab.cpp.
#define YYSIZE_T unsigned |
Definition at line 280 of file xml_y.tab.cpp.
#define YYSIZEOF | ( | X | ) | YY_CAST (YYPTRDIFF_T, sizeof (X)) |
Definition at line 290 of file xml_y.tab.cpp.
#define YYSKELETON_NAME "yacc.c" |
Definition at line 54 of file xml_y.tab.cpp.
#define YYSTACK_ALLOC YYMALLOC |
Definition at line 406 of file xml_y.tab.cpp.
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 409 of file xml_y.tab.cpp.
#define YYSTACK_BYTES | ( | N | ) |
Definition at line 451 of file xml_y.tab.cpp.
#define YYSTACK_FREE YYFREE |
Definition at line 407 of file xml_y.tab.cpp.
Definition at line 447 of file xml_y.tab.cpp.
#define YYSTACK_RELOCATE | ( | Stack_alloc, | |
Stack | |||
) |
Definition at line 462 of file xml_y.tab.cpp.
#define YYSTYPE_IS_DECLARED 1 |
Definition at line 184 of file xml_y.tab.cpp.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 183 of file xml_y.tab.cpp.
#define YYSYNTAX_ERROR |
#define YYTABLE_NINF (-1) |
Definition at line 591 of file xml_y.tab.cpp.
#define yytable_value_is_error | ( | Yyn | ) | 0 |
Definition at line 593 of file xml_y.tab.cpp.
#define YYTERROR 1 |
Definition at line 708 of file xml_y.tab.cpp.
#define YYTOKENTYPE |
Definition at line 137 of file xml_y.tab.cpp.
#define YYTRANSLATE | ( | YYX | ) | (0 <= (YYX) && (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Definition at line 515 of file xml_y.tab.cpp.
#define YYUNDEFTOK 2 |
Definition at line 509 of file xml_y.tab.cpp.
#define YYUSE | ( | E | ) | ((void) (E)) |
Definition at line 328 of file xml_y.tab.cpp.
typedef int yy_state_fast_t |
Definition at line 296 of file xml_y.tab.cpp.
typedef yytype_int8 yy_state_t |
Definition at line 293 of file xml_y.tab.cpp.
Definition at line 182 of file xml_y.tab.cpp.
typedef short yytype_int16 |
Definition at line 230 of file xml_y.tab.cpp.
typedef signed char yytype_int8 |
Definition at line 222 of file xml_y.tab.cpp.
typedef unsigned short yytype_uint16 |
Definition at line 250 of file xml_y.tab.cpp.
typedef unsigned char yytype_uint8 |
Definition at line 239 of file xml_y.tab.cpp.
enum yytokentype |
Definition at line 138 of file xml_y.tab.cpp.
void free | ( | void * | ) |
void* malloc | ( | unsigned | ) |
|
static |
Definition at line 1099 of file xml_y.tab.cpp.
|
static |
Definition at line 887 of file xml_y.tab.cpp.
|
static |
Definition at line 870 of file xml_y.tab.cpp.
|
static |
Definition at line 960 of file xml_y.tab.cpp.
|
static |
Definition at line 909 of file xml_y.tab.cpp.
int yyxmlerror | ( | const std::string & | error | ) |
Definition at line 85 of file xml_y.tab.cpp.
int yyxmllex | ( | ) |
The main scanner function which does all the work.
Definition at line 1042 of file xml_lex.yy.cpp.
int yyxmlparse | ( | void | ) |
Definition at line 1128 of file xml_y.tab.cpp.
|
static |
Definition at line 643 of file xml_y.tab.cpp.
|
static |
Definition at line 610 of file xml_y.tab.cpp.
|
static |
Definition at line 627 of file xml_y.tab.cpp.
|
static |
Definition at line 598 of file xml_y.tab.cpp.
|
static |
Definition at line 620 of file xml_y.tab.cpp.
|
static |
Definition at line 662 of file xml_y.tab.cpp.
|
static |
Definition at line 670 of file xml_y.tab.cpp.
|
static |
Definition at line 652 of file xml_y.tab.cpp.
|
static |
Definition at line 636 of file xml_y.tab.cpp.
|
static |
Definition at line 565 of file xml_y.tab.cpp.
|
static |
Definition at line 520 of file xml_y.tab.cpp.
int yyxmlchar |
Definition at line 1115 of file xml_y.tab.cpp.
YYSTYPE yyxmllval |
Definition at line 1118 of file xml_y.tab.cpp.
int yyxmlnerrs |
Definition at line 1120 of file xml_y.tab.cpp.
char* yyxmltext |
Definition at line 816 of file xml_lex.yy.cpp.