cprover
xml_y.tab.cpp File Reference
#include <cstring>
#include "xml_parser.h"
#include <limits.h>
+ Include dependency graph for xml_y.tab.cpp:

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
 

Enumerations

enum  yytokentype {
  TOK_AUTO = 258, TOK_BOOL = 259, TOK_COMPLEX = 260, TOK_BREAK = 261,
  TOK_CASE = 262, TOK_CHAR = 263, TOK_CONST = 264, TOK_CONTINUE = 265,
  TOK_DEFAULT = 266, TOK_DO = 267, TOK_DOUBLE = 268, TOK_ELSE = 269,
  TOK_ENUM = 270, TOK_EXTERN = 271, TOK_FLOAT = 272, TOK_FOR = 273,
  TOK_GOTO = 274, TOK_IF = 275, TOK_INLINE = 276, TOK_INT = 277,
  TOK_LONG = 278, TOK_REGISTER = 279, TOK_RESTRICT = 280, TOK_RETURN = 281,
  TOK_SHORT = 282, TOK_SIGNED = 283, TOK_SIZEOF = 284, TOK_STATIC = 285,
  TOK_STRUCT = 286, TOK_SWITCH = 287, TOK_TYPEDEF = 288, TOK_UNION = 289,
  TOK_UNSIGNED = 290, TOK_VOID = 291, TOK_VOLATILE = 292, TOK_WCHAR_T = 293,
  TOK_WHILE = 294, TOK_ARROW = 295, TOK_INCR = 296, TOK_DECR = 297,
  TOK_SHIFTLEFT = 298, TOK_SHIFTRIGHT = 299, TOK_LE = 300, TOK_GE = 301,
  TOK_EQ = 302, TOK_NE = 303, TOK_ANDAND = 304, TOK_OROR = 305,
  TOK_ELLIPSIS = 306, TOK_MULTASSIGN = 307, TOK_DIVASSIGN = 308, TOK_MODASSIGN = 309,
  TOK_PLUSASSIGN = 310, TOK_MINUSASSIGN = 311, TOK_SHLASSIGN = 312, TOK_SHRASSIGN = 313,
  TOK_ANDASSIGN = 314, TOK_XORASSIGN = 315, TOK_ORASSIGN = 316, TOK_IDENTIFIER = 317,
  TOK_TYPEDEFNAME = 318, TOK_INTEGER = 319, TOK_FLOATING = 320, TOK_CHARACTER = 321,
  TOK_STRING = 322, TOK_ASM_STRING = 323, TOK_INT8 = 324, TOK_INT16 = 325,
  TOK_INT32 = 326, TOK_INT64 = 327, TOK_PTR32 = 328, TOK_PTR64 = 329,
  TOK_TYPEOF = 330, TOK_GCC_AUTO_TYPE = 331, TOK_GCC_FLOAT16 = 332, TOK_GCC_FLOAT32 = 333,
  TOK_GCC_FLOAT32X = 334, TOK_GCC_FLOAT80 = 335, TOK_GCC_FLOAT64 = 336, TOK_GCC_FLOAT64X = 337,
  TOK_GCC_FLOAT128 = 338, TOK_GCC_FLOAT128X = 339, TOK_GCC_INT128 = 340, TOK_GCC_DECIMAL32 = 341,
  TOK_GCC_DECIMAL64 = 342, TOK_GCC_DECIMAL128 = 343, TOK_GCC_ASM = 344, TOK_GCC_ASM_PAREN = 345,
  TOK_GCC_ATTRIBUTE = 346, TOK_GCC_ATTRIBUTE_ALIGNED = 347, TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION = 348, TOK_GCC_ATTRIBUTE_PACKED = 349,
  TOK_GCC_ATTRIBUTE_VECTOR_SIZE = 350, TOK_GCC_ATTRIBUTE_MODE = 351, TOK_GCC_ATTRIBUTE_GNU_INLINE = 352, TOK_GCC_ATTRIBUTE_WEAK = 353,
  TOK_GCC_ATTRIBUTE_ALIAS = 354, TOK_GCC_ATTRIBUTE_SECTION = 355, TOK_GCC_ATTRIBUTE_NORETURN = 356, TOK_GCC_ATTRIBUTE_CONSTRUCTOR = 357,
  TOK_GCC_ATTRIBUTE_DESTRUCTOR = 358, TOK_GCC_ATTRIBUTE_FALLTHROUGH = 359, TOK_GCC_ATTRIBUTE_USED = 360, TOK_GCC_LABEL = 361,
  TOK_MSC_ASM = 362, TOK_MSC_BASED = 363, TOK_CW_VAR_ARG_TYPEOF = 364, TOK_BUILTIN_VA_ARG = 365,
  TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P = 366, TOK_CLANG_BUILTIN_CONVERTVECTOR = 367, TOK_OFFSETOF = 368, TOK_ALIGNOF = 369,
  TOK_MSC_TRY = 370, TOK_MSC_FINALLY = 371, TOK_MSC_EXCEPT = 372, TOK_MSC_LEAVE = 373,
  TOK_MSC_DECLSPEC = 374, TOK_MSC_FORCEINLINE = 375, TOK_INTERFACE = 376, TOK_CDECL = 377,
  TOK_STDCALL = 378, TOK_FASTCALL = 379, TOK_CLRCALL = 380, TOK_FORALL = 381,
  TOK_EXISTS = 382, TOK_ACSL_FORALL = 383, TOK_ACSL_EXISTS = 384, TOK_ACSL_LET = 385,
  TOK_ARRAY_OF = 386, TOK_CPROVER_BITVECTOR = 387, TOK_CPROVER_FLOATBV = 388, TOK_CPROVER_FIXEDBV = 389,
  TOK_CPROVER_ATOMIC = 390, TOK_CPROVER_BOOL = 391, TOK_CPROVER_THROW = 392, TOK_CPROVER_CATCH = 393,
  TOK_CPROVER_TRY = 394, TOK_CPROVER_FINALLY = 395, TOK_CPROVER_ID = 396, TOK_CPROVER_LOOP_INVARIANT = 397,
  TOK_CPROVER_REQUIRES = 398, TOK_CPROVER_ENSURES = 399, TOK_IMPLIES = 400, TOK_EQUIVALENT = 401,
  TOK_XORXOR = 402, TOK_TRUE = 403, TOK_FALSE = 404, TOK_REAL = 405,
  TOK_IMAG = 406, TOK_ALIGNAS = 407, TOK_ATOMIC_TYPE_QUALIFIER = 408, TOK_ATOMIC_TYPE_SPECIFIER = 409,
  TOK_GENERIC = 410, TOK_IMAGINARY = 411, TOK_NORETURN = 412, TOK_STATIC_ASSERT = 413,
  TOK_THREAD_LOCAL = 414, TOK_NULLPTR = 415, TOK_CONSTEXPR = 416, TOK_SCANNER_ERROR = 417,
  TOK_SCANNER_EOF = 418, TOK_CATCH = 419, TOK_CHAR16_T = 420, TOK_CHAR32_T = 421,
  TOK_CLASS = 422, TOK_DELETE = 423, TOK_DECLTYPE = 424, TOK_EXPLICIT = 425,
  TOK_FRIEND = 426, TOK_MUTABLE = 427, TOK_NAMESPACE = 428, TOK_NEW = 429,
  TOK_NOEXCEPT = 430, TOK_OPERATOR = 431, TOK_PRIVATE = 432, TOK_PROTECTED = 433,
  TOK_PUBLIC = 434, TOK_TEMPLATE = 435, TOK_THIS = 436, TOK_THROW = 437,
  TOK_TYPEID = 438, TOK_TYPENAME = 439, TOK_TRY = 440, TOK_USING = 441,
  TOK_VIRTUAL = 442, TOK_SCOPE = 443, TOK_DOTPM = 444, TOK_ARROWPM = 445,
  TOK_UNARY_TYPE_PREDICATE = 446, TOK_BINARY_TYPE_PREDICATE = 447, TOK_MSC_UUIDOF = 448, TOK_MSC_IF_EXISTS = 449,
  TOK_MSC_IF_NOT_EXISTS = 450, TOK_UNDERLYING_TYPE = 451, TOK_SCANNER_ERROR = 258, TOK_NEWLINE = 259,
  TOK_PROCEDURE = 260, TOK_RETURNS = 261, TOK_TO = 262, TOK_THROWS = 263,
  TOK_EVAL = 264, TOK_LABEL = 265, TOK_GOTO = 266, TOK_SKIP = 267,
  TOK_WITH = 268, TOK_NEW = 269, TOK_HAS_FIELD = 270, TOK_DELETE = 271,
  TOK_PROTO_FIELD = 272, TOK_PROTO_OBJ = 273, TOK_REF = 274, TOK_FIELD = 275,
  TOK_BASE = 276, TOK_TYPEOF = 277, TOK_NULL = 278, TOK_UNDEFINED = 279,
  TOK_EMPTY = 280, TOK_TRUE = 281, TOK_FALSE = 282, TOK_PROTO = 283,
  TOK_FID = 284, TOK_SCOPE = 285, TOK_CONSTRUCTID = 286, TOK_PRIMVALUE = 287,
  TOK_TARGETFUNCTION = 288, TOK_CLASS = 289, TOK_NUM_TO_STRING = 290, TOK_STRING_TO_NUM = 291,
  TOK_NUM_TO_INT32 = 292, TOK_NUM_TO_UINT32 = 293, TOK_MEMBER_REFERENCE = 294, TOK_VARIABLE_REFERENCE = 295,
  TOK_T_NULL = 296, TOK_T_UNDEFINED = 297, TOK_T_BOOLEAN = 298, TOK_T_STRING = 299,
  TOK_T_NUMBER = 300, TOK_T_BUILTIN_OBJECT = 301, TOK_T_USER_OBJECT = 302, TOK_T_OBJECT = 303,
  TOK_T_REFERENCE = 304, TOK_DEFEQ = 305, TOK_LEQ = 306, TOK_AND = 307,
  TOK_OR = 308, TOK_SUBTYPE_OF = 309, TOK_LEFT_SHIFT = 310, TOK_SIGNED_RIGHT_SHIFT = 311,
  TOK_UNSIGNED_RIGHT_SHIFT = 312, TOK_NOT = 313, TOK_IDENTIFIER = 314, TOK_FLOATING = 315,
  TOK_STRING = 316, TOK_BUILTIN_LOC = 317, TOK_BUILTIN_IDENTIFIER = 318, TOK_SPEC_IDENTIFIER = 319,
  TOK_STRING = 258, TOK_NUMBER = 259, TOK_TRUE = 260, TOK_FALSE = 261,
  TOK_NULL = 262, TOK_STRING = 258, TOK_NUMBER = 259, TOK_TRUE = 260,
  TOK_FALSE = 261, TOK_NULL = 262, STARTXMLDECL = 258, VERSION = 259,
  STARTPI = 260, ENDPI = 261, EQ = 262, SLASH = 263,
  CLOSE = 264, END = 265, ENCODING = 266, NAME = 267,
  VALUE = 268, DATA = 269, COMMENT = 270, START = 271,
  STARTXMLDECL = 258, VERSION = 259, STARTPI = 260, ENDPI = 261,
  EQ = 262, SLASH = 263, CLOSE = 264, END = 265,
  ENCODING = 266, NAME = 267, VALUE = 268, DATA = 269,
  COMMENT = 270, START = 271
}
 

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
 

Macro Definition Documentation

◆ CLOSE

#define CLOSE   264

Definition at line 163 of file xml_y.tab.cpp.

◆ COMMENT

#define COMMENT   270

Definition at line 169 of file xml_y.tab.cpp.

◆ DATA

#define DATA   269

Definition at line 168 of file xml_y.tab.cpp.

◆ ENCODING

#define ENCODING   266

Definition at line 165 of file xml_y.tab.cpp.

◆ END

#define END   265

Definition at line 164 of file xml_y.tab.cpp.

◆ ENDPI

#define ENDPI   261

Definition at line 160 of file xml_y.tab.cpp.

◆ EQ

#define EQ   262

Definition at line 161 of file xml_y.tab.cpp.

◆ NAME

#define NAME   267

Definition at line 166 of file xml_y.tab.cpp.

◆ SLASH

#define SLASH   263

Definition at line 162 of file xml_y.tab.cpp.

◆ START

#define START   271

Definition at line 170 of file xml_y.tab.cpp.

◆ STARTPI

#define STARTPI   260

Definition at line 159 of file xml_y.tab.cpp.

◆ STARTXMLDECL

#define STARTXMLDECL   258

Definition at line 157 of file xml_y.tab.cpp.

◆ VALUE

#define VALUE   268

Definition at line 167 of file xml_y.tab.cpp.

◆ VERSION

#define VERSION   259

Definition at line 158 of file xml_y.tab.cpp.

◆ YY_

#define YY_ (   Msgid)    Msgid

Definition at line 306 of file xml_y.tab.cpp.

◆ YY_ASSERT

#define YY_ASSERT (   E)    ((void) (0 && (E)))

Definition at line 365 of file xml_y.tab.cpp.

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE

Definition at line 314 of file xml_y.tab.cpp.

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED

Definition at line 322 of file xml_y.tab.cpp.

◆ YY_CAST

#define YY_CAST (   Type,
  Val 
)    ((Type) (Val))

Definition at line 99 of file xml_y.tab.cpp.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

Definition at line 345 of file xml_y.tab.cpp.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

Definition at line 346 of file xml_y.tab.cpp.

◆ YY_IGNORE_USELESS_CAST_BEGIN

#define YY_IGNORE_USELESS_CAST_BEGIN

Definition at line 360 of file xml_y.tab.cpp.

◆ YY_IGNORE_USELESS_CAST_END

#define YY_IGNORE_USELESS_CAST_END

Definition at line 361 of file xml_y.tab.cpp.

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE (   Value)    Value

Definition at line 342 of file xml_y.tab.cpp.

◆ YY_NULLPTR

#define YY_NULLPTR   ((void*)0)

Definition at line 111 of file xml_y.tab.cpp.

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT (   Rule)

Definition at line 841 of file xml_y.tab.cpp.

◆ YY_REINTERPRET_CAST

#define YY_REINTERPRET_CAST (   Type,
  Val 
)    ((Type) (Val))

Definition at line 100 of file xml_y.tab.cpp.

◆ YY_STACK_PRINT

#define YY_STACK_PRINT (   Bottom,
  Top 
)

Definition at line 840 of file xml_y.tab.cpp.

◆ YY_SYMBOL_PRINT

#define YY_SYMBOL_PRINT (   Title,
  Type,
  Value,
  Location 
)

Definition at line 839 of file xml_y.tab.cpp.

◆ YY_YYXML_XML_Y_TAB_HPP_INCLUDED

#define YY_YYXML_XML_Y_TAB_HPP_INCLUDED

Definition at line 126 of file xml_y.tab.cpp.

◆ YYABORT

#define YYABORT   goto yyabortlab

Definition at line 684 of file xml_y.tab.cpp.

◆ YYACCEPT

#define YYACCEPT   goto yyacceptlab

Definition at line 683 of file xml_y.tab.cpp.

◆ YYBACKUP

#define YYBACKUP (   Token,
  Value 
)
Value:
do \
if (yychar == YYEMPTY) \
{ \
yychar = (Token); \
yylval = (Value); \
YYPOPSTACK (yylen); \
yystate = *yyssp; \
goto yybackup; \
} \
else \
{ \
yyerror (YY_("syntax error: cannot back up")); \
YYERROR; \
} \
while (0)

Definition at line 690 of file xml_y.tab.cpp.

◆ YYBISON

#define YYBISON   1

Definition at line 48 of file xml_y.tab.cpp.

◆ YYBISON_VERSION

#define YYBISON_VERSION   "3.5"

Definition at line 51 of file xml_y.tab.cpp.

◆ YYCASE_

#define YYCASE_ (   N,
 
)
Value:
case N: \
yyformat = S; \
break

◆ yychar

#define yychar   yyxmlchar

Definition at line 73 of file xml_y.tab.cpp.

◆ yyclearin

#define yyclearin   (yychar = YYEMPTY)

Definition at line 679 of file xml_y.tab.cpp.

◆ YYCOPY

#define YYCOPY (   Dst,
  Src,
  Count 
)
Value:
do \
{ \
YYPTRDIFF_T yyi; \
for (yyi = 0; yyi < (Count); yyi++) \
(Dst)[yyi] = (Src)[yyi]; \
} \
while (0)

Definition at line 483 of file xml_y.tab.cpp.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED   1

Definition at line 455 of file xml_y.tab.cpp.

◆ yydebug

#define yydebug   yyxmldebug

Definition at line 70 of file xml_y.tab.cpp.

◆ YYDEBUG

#define YYDEBUG   0

Definition at line 129 of file xml_y.tab.cpp.

◆ YYDPRINTF

#define YYDPRINTF (   Args)

Definition at line 838 of file xml_y.tab.cpp.

◆ YYEMPTY

#define YYEMPTY   (-2)

Definition at line 680 of file xml_y.tab.cpp.

◆ YYEOF

#define YYEOF   0

Definition at line 681 of file xml_y.tab.cpp.

◆ YYERRCODE

#define YYERRCODE   256

Definition at line 709 of file xml_y.tab.cpp.

◆ yyerrok

#define yyerrok   (yyerrstatus = 0)

Definition at line 678 of file xml_y.tab.cpp.

◆ yyerror

#define yyerror   yyxmlerror

Definition at line 69 of file xml_y.tab.cpp.

◆ YYERROR

#define YYERROR   goto yyerrorlab

Definition at line 685 of file xml_y.tab.cpp.

◆ YYERROR_VERBOSE

#define YYERROR_VERBOSE   1

Definition at line 120 of file xml_y.tab.cpp.

◆ YYFINAL

#define YYFINAL   6

Definition at line 496 of file xml_y.tab.cpp.

◆ YYFREE

#define YYFREE   free

Definition at line 426 of file xml_y.tab.cpp.

◆ YYINITDEPTH

#define YYINITDEPTH   200

Definition at line 847 of file xml_y.tab.cpp.

◆ YYLAST

#define YYLAST   25

Definition at line 498 of file xml_y.tab.cpp.

◆ yylex

#define yylex   yyxmllex

Definition at line 68 of file xml_y.tab.cpp.

◆ yylval

#define yylval   yyxmllval

Definition at line 72 of file xml_y.tab.cpp.

◆ YYMALLOC

#define YYMALLOC   malloc

Definition at line 420 of file xml_y.tab.cpp.

◆ YYMAXDEPTH

#define YYMAXDEPTH   10000

Definition at line 858 of file xml_y.tab.cpp.

◆ YYMAXUTOK

#define YYMAXUTOK   271

Definition at line 510 of file xml_y.tab.cpp.

◆ yynerrs

#define yynerrs   yyxmlnerrs

Definition at line 71 of file xml_y.tab.cpp.

◆ YYNNTS

#define YYNNTS   20

Definition at line 503 of file xml_y.tab.cpp.

◆ YYNRULES

#define YYNRULES   29

Definition at line 505 of file xml_y.tab.cpp.

◆ YYNSTATES

#define YYNSTATES   43

Definition at line 507 of file xml_y.tab.cpp.

◆ YYNTOKENS

#define YYNTOKENS   17

Definition at line 501 of file xml_y.tab.cpp.

◆ YYPACT_NINF

#define YYPACT_NINF   (-13)

Definition at line 586 of file xml_y.tab.cpp.

◆ yypact_value_is_default

#define yypact_value_is_default (   Yyn)    ((Yyn) == YYPACT_NINF)

Definition at line 588 of file xml_y.tab.cpp.

◆ yyparse

#define yyparse   yyxmlparse

Definition at line 67 of file xml_y.tab.cpp.

◆ YYPOPSTACK

#define YYPOPSTACK (   N)    (yyvsp -= (N), yyssp -= (N))

◆ YYPTRDIFF_MAXIMUM

#define YYPTRDIFF_MAXIMUM   LONG_MAX

Definition at line 267 of file xml_y.tab.cpp.

◆ YYPTRDIFF_T

#define YYPTRDIFF_T   long

Definition at line 266 of file xml_y.tab.cpp.

◆ YYPULL

#define YYPULL   1

Definition at line 63 of file xml_y.tab.cpp.

◆ YYPURE

#define YYPURE   0

Definition at line 57 of file xml_y.tab.cpp.

◆ YYPUSH

#define YYPUSH   0

Definition at line 60 of file xml_y.tab.cpp.

◆ YYRECOVERING

#define YYRECOVERING ( )    (!!yyerrstatus)

Definition at line 688 of file xml_y.tab.cpp.

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM
Value:

Definition at line 284 of file xml_y.tab.cpp.

◆ YYSIZE_T

#define YYSIZE_T   unsigned

Definition at line 280 of file xml_y.tab.cpp.

◆ YYSIZEOF

#define YYSIZEOF (   X)    YY_CAST (YYPTRDIFF_T, sizeof (X))

Definition at line 290 of file xml_y.tab.cpp.

◆ YYSKELETON_NAME

#define YYSKELETON_NAME   "yacc.c"

Definition at line 54 of file xml_y.tab.cpp.

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC   YYMALLOC

Definition at line 406 of file xml_y.tab.cpp.

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

Definition at line 409 of file xml_y.tab.cpp.

◆ YYSTACK_BYTES

#define YYSTACK_BYTES (   N)
Value:

Definition at line 451 of file xml_y.tab.cpp.

◆ YYSTACK_FREE

#define YYSTACK_FREE   YYFREE

Definition at line 407 of file xml_y.tab.cpp.

◆ YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM   (YYSIZEOF (union yyalloc) - 1)

Definition at line 447 of file xml_y.tab.cpp.

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE (   Stack_alloc,
  Stack 
)
Value:
do \
{ \
YYPTRDIFF_T yynewbytes; \
YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
Stack = &yyptr->Stack_alloc; \
yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
yyptr += yynewbytes / YYSIZEOF (*yyptr); \
} \
while (0)

Definition at line 462 of file xml_y.tab.cpp.

◆ YYSTYPE_IS_DECLARED

#define YYSTYPE_IS_DECLARED   1

Definition at line 184 of file xml_y.tab.cpp.

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

Definition at line 183 of file xml_y.tab.cpp.

◆ YYSYNTAX_ERROR

#define YYSYNTAX_ERROR
Value:
yysyntax_error (&yymsg_alloc, &yymsg, \
yyssp, yytoken)

◆ YYTABLE_NINF

#define YYTABLE_NINF   (-1)

Definition at line 591 of file xml_y.tab.cpp.

◆ yytable_value_is_error

#define yytable_value_is_error (   Yyn)    0

Definition at line 593 of file xml_y.tab.cpp.

◆ YYTERROR

#define YYTERROR   1

Definition at line 708 of file xml_y.tab.cpp.

◆ YYTOKENTYPE

#define YYTOKENTYPE

Definition at line 137 of file xml_y.tab.cpp.

◆ YYTRANSLATE

#define YYTRANSLATE (   YYX)    (0 <= (YYX) && (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

Definition at line 515 of file xml_y.tab.cpp.

◆ YYUNDEFTOK

#define YYUNDEFTOK   2

Definition at line 509 of file xml_y.tab.cpp.

◆ YYUSE

#define YYUSE (   E)    ((void) (E))

Definition at line 328 of file xml_y.tab.cpp.

Typedef Documentation

◆ yy_state_fast_t

typedef int yy_state_fast_t

Definition at line 296 of file xml_y.tab.cpp.

◆ yy_state_t

Definition at line 293 of file xml_y.tab.cpp.

◆ YYSTYPE

typedef union YYSTYPE YYSTYPE

Definition at line 182 of file xml_y.tab.cpp.

◆ yytype_int16

typedef short yytype_int16

Definition at line 230 of file xml_y.tab.cpp.

◆ yytype_int8

typedef signed char yytype_int8

Definition at line 222 of file xml_y.tab.cpp.

◆ yytype_uint16

typedef unsigned short yytype_uint16

Definition at line 250 of file xml_y.tab.cpp.

◆ yytype_uint8

typedef unsigned char yytype_uint8

Definition at line 239 of file xml_y.tab.cpp.

Enumeration Type Documentation

◆ yytokentype

Enumerator
TOK_AUTO 
TOK_BOOL 
TOK_COMPLEX 
TOK_BREAK 
TOK_CASE 
TOK_CHAR 
TOK_CONST 
TOK_CONTINUE 
TOK_DEFAULT 
TOK_DO 
TOK_DOUBLE 
TOK_ELSE 
TOK_ENUM 
TOK_EXTERN 
TOK_FLOAT 
TOK_FOR 
TOK_GOTO 
TOK_IF 
TOK_INLINE 
TOK_INT 
TOK_LONG 
TOK_REGISTER 
TOK_RESTRICT 
TOK_RETURN 
TOK_SHORT 
TOK_SIGNED 
TOK_SIZEOF 
TOK_STATIC 
TOK_STRUCT 
TOK_SWITCH 
TOK_TYPEDEF 
TOK_UNION 
TOK_UNSIGNED 
TOK_VOID 
TOK_VOLATILE 
TOK_WCHAR_T 
TOK_WHILE 
TOK_ARROW 
TOK_INCR 
TOK_DECR 
TOK_SHIFTLEFT 
TOK_SHIFTRIGHT 
TOK_LE 
TOK_GE 
TOK_EQ 
TOK_NE 
TOK_ANDAND 
TOK_OROR 
TOK_ELLIPSIS 
TOK_MULTASSIGN 
TOK_DIVASSIGN 
TOK_MODASSIGN 
TOK_PLUSASSIGN 
TOK_MINUSASSIGN 
TOK_SHLASSIGN 
TOK_SHRASSIGN 
TOK_ANDASSIGN 
TOK_XORASSIGN 
TOK_ORASSIGN 
TOK_IDENTIFIER 
TOK_TYPEDEFNAME 
TOK_INTEGER 
TOK_FLOATING 
TOK_CHARACTER 
TOK_STRING 
TOK_ASM_STRING 
TOK_INT8 
TOK_INT16 
TOK_INT32 
TOK_INT64 
TOK_PTR32 
TOK_PTR64 
TOK_TYPEOF 
TOK_GCC_AUTO_TYPE 
TOK_GCC_FLOAT16 
TOK_GCC_FLOAT32 
TOK_GCC_FLOAT32X 
TOK_GCC_FLOAT80 
TOK_GCC_FLOAT64 
TOK_GCC_FLOAT64X 
TOK_GCC_FLOAT128 
TOK_GCC_FLOAT128X 
TOK_GCC_INT128 
TOK_GCC_DECIMAL32 
TOK_GCC_DECIMAL64 
TOK_GCC_DECIMAL128 
TOK_GCC_ASM 
TOK_GCC_ASM_PAREN 
TOK_GCC_ATTRIBUTE 
TOK_GCC_ATTRIBUTE_ALIGNED 
TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 
TOK_GCC_ATTRIBUTE_PACKED 
TOK_GCC_ATTRIBUTE_VECTOR_SIZE 
TOK_GCC_ATTRIBUTE_MODE 
TOK_GCC_ATTRIBUTE_GNU_INLINE 
TOK_GCC_ATTRIBUTE_WEAK 
TOK_GCC_ATTRIBUTE_ALIAS 
TOK_GCC_ATTRIBUTE_SECTION 
TOK_GCC_ATTRIBUTE_NORETURN 
TOK_GCC_ATTRIBUTE_CONSTRUCTOR 
TOK_GCC_ATTRIBUTE_DESTRUCTOR 
TOK_GCC_ATTRIBUTE_FALLTHROUGH 
TOK_GCC_ATTRIBUTE_USED 
TOK_GCC_LABEL 
TOK_MSC_ASM 
TOK_MSC_BASED 
TOK_CW_VAR_ARG_TYPEOF 
TOK_BUILTIN_VA_ARG 
TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 
TOK_CLANG_BUILTIN_CONVERTVECTOR 
TOK_OFFSETOF 
TOK_ALIGNOF 
TOK_MSC_TRY 
TOK_MSC_FINALLY 
TOK_MSC_EXCEPT 
TOK_MSC_LEAVE 
TOK_MSC_DECLSPEC 
TOK_MSC_FORCEINLINE 
TOK_INTERFACE 
TOK_CDECL 
TOK_STDCALL 
TOK_FASTCALL 
TOK_CLRCALL 
TOK_FORALL 
TOK_EXISTS 
TOK_ACSL_FORALL 
TOK_ACSL_EXISTS 
TOK_ACSL_LET 
TOK_ARRAY_OF 
TOK_CPROVER_BITVECTOR 
TOK_CPROVER_FLOATBV 
TOK_CPROVER_FIXEDBV 
TOK_CPROVER_ATOMIC 
TOK_CPROVER_BOOL 
TOK_CPROVER_THROW 
TOK_CPROVER_CATCH 
TOK_CPROVER_TRY 
TOK_CPROVER_FINALLY 
TOK_CPROVER_ID 
TOK_CPROVER_LOOP_INVARIANT 
TOK_CPROVER_REQUIRES 
TOK_CPROVER_ENSURES 
TOK_IMPLIES 
TOK_EQUIVALENT 
TOK_XORXOR 
TOK_TRUE 
TOK_FALSE 
TOK_REAL 
TOK_IMAG 
TOK_ALIGNAS 
TOK_ATOMIC_TYPE_QUALIFIER 
TOK_ATOMIC_TYPE_SPECIFIER 
TOK_GENERIC 
TOK_IMAGINARY 
TOK_NORETURN 
TOK_STATIC_ASSERT 
TOK_THREAD_LOCAL 
TOK_NULLPTR 
TOK_CONSTEXPR 
TOK_SCANNER_ERROR 
TOK_SCANNER_EOF 
TOK_CATCH 
TOK_CHAR16_T 
TOK_CHAR32_T 
TOK_CLASS 
TOK_DELETE 
TOK_DECLTYPE 
TOK_EXPLICIT 
TOK_FRIEND 
TOK_MUTABLE 
TOK_NAMESPACE 
TOK_NEW 
TOK_NOEXCEPT 
TOK_OPERATOR 
TOK_PRIVATE 
TOK_PROTECTED 
TOK_PUBLIC 
TOK_TEMPLATE 
TOK_THIS 
TOK_THROW 
TOK_TYPEID 
TOK_TYPENAME 
TOK_TRY 
TOK_USING 
TOK_VIRTUAL 
TOK_SCOPE 
TOK_DOTPM 
TOK_ARROWPM 
TOK_UNARY_TYPE_PREDICATE 
TOK_BINARY_TYPE_PREDICATE 
TOK_MSC_UUIDOF 
TOK_MSC_IF_EXISTS 
TOK_MSC_IF_NOT_EXISTS 
TOK_UNDERLYING_TYPE 
TOK_SCANNER_ERROR 
TOK_NEWLINE 
TOK_PROCEDURE 
TOK_RETURNS 
TOK_TO 
TOK_THROWS 
TOK_EVAL 
TOK_LABEL 
TOK_GOTO 
TOK_SKIP 
TOK_WITH 
TOK_NEW 
TOK_HAS_FIELD 
TOK_DELETE 
TOK_PROTO_FIELD 
TOK_PROTO_OBJ 
TOK_REF 
TOK_FIELD 
TOK_BASE 
TOK_TYPEOF 
TOK_NULL 
TOK_UNDEFINED 
TOK_EMPTY 
TOK_TRUE 
TOK_FALSE 
TOK_PROTO 
TOK_FID 
TOK_SCOPE 
TOK_CONSTRUCTID 
TOK_PRIMVALUE 
TOK_TARGETFUNCTION 
TOK_CLASS 
TOK_NUM_TO_STRING 
TOK_STRING_TO_NUM 
TOK_NUM_TO_INT32 
TOK_NUM_TO_UINT32 
TOK_MEMBER_REFERENCE 
TOK_VARIABLE_REFERENCE 
TOK_T_NULL 
TOK_T_UNDEFINED 
TOK_T_BOOLEAN 
TOK_T_STRING 
TOK_T_NUMBER 
TOK_T_BUILTIN_OBJECT 
TOK_T_USER_OBJECT 
TOK_T_OBJECT 
TOK_T_REFERENCE 
TOK_DEFEQ 
TOK_LEQ 
TOK_AND 
TOK_OR 
TOK_SUBTYPE_OF 
TOK_LEFT_SHIFT 
TOK_SIGNED_RIGHT_SHIFT 
TOK_UNSIGNED_RIGHT_SHIFT 
TOK_NOT 
TOK_IDENTIFIER 
TOK_FLOATING 
TOK_STRING 
TOK_BUILTIN_LOC 
TOK_BUILTIN_IDENTIFIER 
TOK_SPEC_IDENTIFIER 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 

Definition at line 138 of file xml_y.tab.cpp.

Function Documentation

◆ free()

void free ( void *  )

◆ malloc()

void* malloc ( unsigned  )

◆ yydestruct()

static void yydestruct ( const char *  yymsg,
int  yytype,
YYSTYPE yyvaluep 
)
static

Definition at line 1099 of file xml_y.tab.cpp.

◆ yystpcpy()

static char* yystpcpy ( char *  yydest,
const char *  yysrc 
)
static

Definition at line 887 of file xml_y.tab.cpp.

◆ yystrlen()

static long yystrlen ( const char *  yystr)
static

Definition at line 870 of file xml_y.tab.cpp.

◆ yysyntax_error()

static int yysyntax_error ( long *  yymsg_alloc,
char **  yymsg,
yy_state_t yyssp,
int  yytoken 
)
static

Definition at line 960 of file xml_y.tab.cpp.

◆ yytnamerr()

static long yytnamerr ( char *  yyres,
const char *  yystr 
)
static

Definition at line 909 of file xml_y.tab.cpp.

◆ yyxmlerror()

int yyxmlerror ( const std::string &  error)

Definition at line 85 of file xml_y.tab.cpp.

◆ yyxmllex()

int yyxmllex ( )

The main scanner function which does all the work.

Definition at line 1042 of file xml_lex.yy.cpp.

◆ yyxmlparse()

int yyxmlparse ( void  )

Definition at line 1128 of file xml_y.tab.cpp.

Variable Documentation

◆ yycheck

const yytype_int8 yycheck[]
static
Initial value:
=
{
11, 5, 5, 8, 9, 3, 10, 12, 0, 16,
14, 15, 15, 12, 7, 12, 27, 6, 13, 9,
6, 12, 9, 8, 32, 37
}

Definition at line 643 of file xml_y.tab.cpp.

◆ yydefact

const yytype_int8 yydefact[]
static
Initial value:
=
{
7, 4, 0, 0, 9, 28, 1, 15, 9, 3,
5, 28, 2, 0, 10, 8, 11, 0, 0, 27,
0, 12, 0, 6, 0, 18, 16, 28, 29, 17,
24, 13, 22, 0, 26, 20, 21, 0, 14, 25,
0, 23, 19
}

Definition at line 610 of file xml_y.tab.cpp.

◆ yydefgoto

const yytype_int8 yydefgoto[]
static
Initial value:
=
{
-1, 2, 3, 4, 5, 18, 9, 15, 16, 27,
33, 8, 11, 26, 30, 32, 37, 40, 10, 19
}

Definition at line 627 of file xml_y.tab.cpp.

◆ yypact

const yytype_int8 yypact[]
static
Initial value:
=
{
2, -13, 8, -7, -13, -13, -13, -13, -13, -3,
1, -13, -3, 3, -13, -13, -13, 7, 11, -13,
-5, -13, 5, -13, 10, -13, -13, -13, -13, -13,
-13, 1, -4, 14, 9, -13, -13, -7, -13, -13,
13, -13, -13
}

Definition at line 598 of file xml_y.tab.cpp.

◆ yypgoto

const yytype_int8 yypgoto[]
static
Initial value:
=
{
-13, -13, -13, -13, -13, -13, 15, -8, -13, -13,
-13, -12, -13, -13, -13, -13, -13, -13, -11, -13
}

Definition at line 620 of file xml_y.tab.cpp.

◆ yyr1

const yytype_int8 yyr1[]
static
Initial value:
=
{
0, 17, 18, 19, 21, 22, 20, 20, 23, 23,
24, 24, 26, 27, 25, 29, 28, 30, 31, 30,
32, 32, 33, 32, 32, 34, 34, 35, 35, 36
}

Definition at line 662 of file xml_y.tab.cpp.

◆ yyr2

const yytype_int8 yyr2[]
static
Initial value:
=
{
0, 2, 3, 2, 0, 0, 5, 0, 2, 0,
1, 1, 0, 0, 6, 0, 4, 2, 0, 6,
2, 2, 0, 3, 0, 1, 0, 2, 0, 3
}

Definition at line 670 of file xml_y.tab.cpp.

◆ yystos

const yytype_int8 yystos[]
static
Initial value:
=
{
0, 3, 18, 19, 20, 21, 0, 16, 28, 23,
35, 29, 23, 5, 15, 24, 25, 12, 22, 36,
35, 12, 7, 6, 8, 9, 30, 26, 13, 9,
31, 35, 32, 27, 10, 14, 24, 33, 6, 12,
34, 28, 9
}

Definition at line 652 of file xml_y.tab.cpp.

◆ yytable

const yytype_int8 yytable[]
static
Initial value:
=
{
20, 13, 13, 24, 25, 1, 34, 17, 6, 7,
35, 14, 14, 17, 22, 21, 31, 23, 28, 29,
38, 39, 42, 12, 36, 41
}

Definition at line 636 of file xml_y.tab.cpp.

◆ yytname

const char* const yytname[]
static
Initial value:
=
{
"$end", "error", "$undefined", "STARTXMLDECL", "VERSION", "STARTPI",
"ENDPI", "EQ", "SLASH", "CLOSE", "END", "ENCODING", "NAME", "VALUE",
"DATA", "COMMENT", "START", "$accept", "document", "prolog",
"XMLDecl_opt", "$@1", "$@2", "misc_seq_opt", "misc", "PI", "$@3", "$@4",
"element", "$@5", "empty_or_content", "$@6", "content", "$@7",
"name_opt", "attribute_seq_opt", "attribute", ((void*)0)
}

Definition at line 565 of file xml_y.tab.cpp.

◆ yytranslate

const yytype_int8 yytranslate[]
static

Definition at line 520 of file xml_y.tab.cpp.

◆ yyxmlchar

int yyxmlchar

Definition at line 1115 of file xml_y.tab.cpp.

◆ yyxmllval

YYSTYPE yyxmllval

Definition at line 1118 of file xml_y.tab.cpp.

◆ yyxmlnerrs

int yyxmlnerrs

Definition at line 1120 of file xml_y.tab.cpp.

◆ yyxmltext

char* yyxmltext

Definition at line 816 of file xml_lex.yy.cpp.

YYSIZE_T
#define YYSIZE_T
Definition: xml_y.tab.cpp:280
YYSIZEOF
#define YYSIZEOF(X)
Definition: xml_y.tab.cpp:290
YYSTACK_GAP_MAXIMUM
#define YYSTACK_GAP_MAXIMUM
Definition: xml_y.tab.cpp:447
YYEMPTY
#define YYEMPTY
Definition: xml_y.tab.cpp:680
yy_state_t
yytype_int16 yy_state_t
Definition: ansi_c_y.tab.cpp:669
yysyntax_error
static int yysyntax_error(long *yymsg_alloc, char **yymsg, yy_state_t *yyssp, int yytoken)
Definition: xml_y.tab.cpp:960
YYSTYPE
Definition: xml_y.tab.cpp:174
yychar
#define yychar
Definition: xml_y.tab.cpp:73
YY_CAST
#define YY_CAST(Type, Val)
Definition: xml_y.tab.cpp:99
YY_
#define YY_(Msgid)
Definition: xml_y.tab.cpp:306
YYPTRDIFF_MAXIMUM
#define YYPTRDIFF_MAXIMUM
Definition: xml_y.tab.cpp:267
YYPTRDIFF_T
#define YYPTRDIFF_T
Definition: xml_y.tab.cpp:266