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.6.4"
 
#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 YY_YYXML_XML_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   6
 
#define YYLAST   25
 
#define YYNTOKENS   17
 
#define YYNNTS   20
 
#define YYNRULES   29
 
#define YYNSTATES   43
 
#define YYMAXUTOK   271
 
#define YYTRANSLATE(YYX)
 
#define YY_ACCESSING_SYMBOL(State)   YY_CAST (yysymbol_kind_t, yystos[State])
 Accessing symbol of state STATE. More...
 
#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 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 union YYSTYPE 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
 

Enumerations

enum  yytokentype {
  YYEMPTY = -2, YYEOF = 0, YYerror = 256, YYUNDEF = 257,
  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, YYEMPTY = -2, YYEOF = 0,
  YYerror = 256, YYUNDEF = 257, 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,
  YYEMPTY = -2, YYEOF = 0, YYerror = 256, YYUNDEF = 257,
  TOK_STRING = 258, TOK_NUMBER = 259, TOK_TRUE = 260, TOK_FALSE = 261,
  TOK_NULL = 262, YYEMPTY = -2, YYEOF = 0, YYerror = 256,
  YYUNDEF = 257, TOK_STRING = 258, TOK_NUMBER = 259, TOK_TRUE = 260,
  TOK_FALSE = 261, TOK_NULL = 262, YYEMPTY = -2, YYEOF = 0,
  YYerror = 256, YYUNDEF = 257, TOK_VERSION = 258, TOK_BEGIN = 259,
  TOK_FUNCTION_BLOCK = 260, TOK_END_FUNCTION_BLOCK = 261, TOK_FUNCTION = 262, TOK_END_FUNCTION = 263,
  TOK_VAR_INPUT = 264, TOK_VAR_INOUT = 265, TOK_VAR_OUTPUT = 266, TOK_VAR_STATIC = 267,
  TOK_VAR_TEMP = 268, TOK_VAR_CONSTANT = 269, TOK_END_VAR = 270, TOK_NETWORK = 271,
  TOK_TITLE = 272, TOK_TAG = 273, TOK_END_TAG = 274, TOK_INT = 275,
  TOK_DINT = 276, TOK_REAL = 277, TOK_BOOL = 278, TOK_VOID = 279,
  TOK_LOAD = 280, TOK_TRANSFER = 281, TOK_CALL = 282, TOK_NOP = 283,
  TOK_SET_RLO = 284, TOK_CLR_RLO = 285, TOK_SET = 286, TOK_RESET = 287,
  TOK_NOT = 288, TOK_AND = 289, TOK_AND_NOT = 290, TOK_OR = 291,
  TOK_OR_NOT = 292, TOK_XOR = 293, TOK_XOR_NOT = 294, TOK_AND_NESTED = 295,
  TOK_AND_NOT_NESTED = 296, TOK_OR_NESTED = 297, TOK_OR_NOT_NESTED = 298, TOK_XOR_NESTED = 299,
  TOK_XOR_NOT_NESTED = 300, TOK_NESTING_CLOSED = 301, TOK_ASSIGN = 302, TOK_CONST_ADD = 303,
  TOK_ACCU_INT_ADD = 304, TOK_ACCU_INT_SUB = 305, TOK_ACCU_INT_MUL = 306, TOK_ACCU_INT_DIV = 307,
  TOK_ACCU_INT_EQ = 308, TOK_ACCU_INT_NEQ = 309, TOK_ACCU_INT_GT = 310, TOK_ACCU_INT_LT = 311,
  TOK_ACCU_INT_GTE = 312, TOK_ACCU_INT_LTE = 313, TOK_ACCU_REAL_ADD = 314, TOK_ACCU_REAL_SUB = 315,
  TOK_ACCU_REAL_MUL = 316, TOK_ACCU_REAL_DIV = 317, TOK_ACCU_REAL_EQ = 318, TOK_ACCU_REAL_NEQ = 319,
  TOK_ACCU_REAL_GT = 320, TOK_ACCU_REAL_LT = 321, TOK_ACCU_REAL_GTE = 322, TOK_ACCU_REAL_LTE = 323,
  TOK_ACCU_DINT_ADD = 324, TOK_ACCU_DINT_SUB = 325, TOK_ACCU_DINT_MUL = 326, TOK_ACCU_DINT_DIV = 327,
  TOK_ACCU_DINT_EQ = 328, TOK_ACCU_DINT_NEQ = 329, TOK_ACCU_DINT_GT = 330, TOK_ACCU_DINT_LT = 331,
  TOK_ACCU_DINT_GTE = 332, TOK_ACCU_DINT_LTE = 333, TOK_ASSIGNMENT = 334, TOK_INT_LITERAL = 335,
  TOK_BOOL_LITERAL = 336, TOK_REAL_LITERAL = 337, TOK_IDENTIFIER = 338, TOK_TITLE_VALUE = 339,
  TOK_VERSION_VALUE = 340, TOK_LABEL = 341, YYEMPTY = -2, YYEOF = 0,
  YYerror = 256, YYUNDEF = 257, 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,
  YYEMPTY = -2, YYEOF = 0, YYerror = 256, YYUNDEF = 257,
  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
}
 
enum  yysymbol_kind_t {
  YYSYMBOL_YYEMPTY = -2, YYSYMBOL_YYEOF = 0, YYSYMBOL_YYerror = 1, YYSYMBOL_YYUNDEF = 2,
  YYSYMBOL_TOK_AUTO = 3, YYSYMBOL_TOK_BOOL = 4, YYSYMBOL_TOK_COMPLEX = 5, YYSYMBOL_TOK_BREAK = 6,
  YYSYMBOL_TOK_CASE = 7, YYSYMBOL_TOK_CHAR = 8, YYSYMBOL_TOK_CONST = 9, YYSYMBOL_TOK_CONTINUE = 10,
  YYSYMBOL_TOK_DEFAULT = 11, YYSYMBOL_TOK_DO = 12, YYSYMBOL_TOK_DOUBLE = 13, YYSYMBOL_TOK_ELSE = 14,
  YYSYMBOL_TOK_ENUM = 15, YYSYMBOL_TOK_EXTERN = 16, YYSYMBOL_TOK_FLOAT = 17, YYSYMBOL_TOK_FOR = 18,
  YYSYMBOL_TOK_GOTO = 19, YYSYMBOL_TOK_IF = 20, YYSYMBOL_TOK_INLINE = 21, YYSYMBOL_TOK_INT = 22,
  YYSYMBOL_TOK_LONG = 23, YYSYMBOL_TOK_REGISTER = 24, YYSYMBOL_TOK_RESTRICT = 25, YYSYMBOL_TOK_RETURN = 26,
  YYSYMBOL_TOK_SHORT = 27, YYSYMBOL_TOK_SIGNED = 28, YYSYMBOL_TOK_SIZEOF = 29, YYSYMBOL_TOK_STATIC = 30,
  YYSYMBOL_TOK_STRUCT = 31, YYSYMBOL_TOK_SWITCH = 32, YYSYMBOL_TOK_TYPEDEF = 33, YYSYMBOL_TOK_UNION = 34,
  YYSYMBOL_TOK_UNSIGNED = 35, YYSYMBOL_TOK_VOID = 36, YYSYMBOL_TOK_VOLATILE = 37, YYSYMBOL_TOK_WCHAR_T = 38,
  YYSYMBOL_TOK_WHILE = 39, YYSYMBOL_TOK_ARROW = 40, YYSYMBOL_TOK_INCR = 41, YYSYMBOL_TOK_DECR = 42,
  YYSYMBOL_TOK_SHIFTLEFT = 43, YYSYMBOL_TOK_SHIFTRIGHT = 44, YYSYMBOL_TOK_LE = 45, YYSYMBOL_TOK_GE = 46,
  YYSYMBOL_TOK_EQ = 47, YYSYMBOL_TOK_NE = 48, YYSYMBOL_TOK_ANDAND = 49, YYSYMBOL_TOK_OROR = 50,
  YYSYMBOL_TOK_ELLIPSIS = 51, YYSYMBOL_TOK_MULTASSIGN = 52, YYSYMBOL_TOK_DIVASSIGN = 53, YYSYMBOL_TOK_MODASSIGN = 54,
  YYSYMBOL_TOK_PLUSASSIGN = 55, YYSYMBOL_TOK_MINUSASSIGN = 56, YYSYMBOL_TOK_SHLASSIGN = 57, YYSYMBOL_TOK_SHRASSIGN = 58,
  YYSYMBOL_TOK_ANDASSIGN = 59, YYSYMBOL_TOK_XORASSIGN = 60, YYSYMBOL_TOK_ORASSIGN = 61, YYSYMBOL_TOK_IDENTIFIER = 62,
  YYSYMBOL_TOK_TYPEDEFNAME = 63, YYSYMBOL_TOK_INTEGER = 64, YYSYMBOL_TOK_FLOATING = 65, YYSYMBOL_TOK_CHARACTER = 66,
  YYSYMBOL_TOK_STRING = 67, YYSYMBOL_TOK_ASM_STRING = 68, YYSYMBOL_TOK_INT8 = 69, YYSYMBOL_TOK_INT16 = 70,
  YYSYMBOL_TOK_INT32 = 71, YYSYMBOL_TOK_INT64 = 72, YYSYMBOL_TOK_PTR32 = 73, YYSYMBOL_TOK_PTR64 = 74,
  YYSYMBOL_TOK_TYPEOF = 75, YYSYMBOL_TOK_GCC_AUTO_TYPE = 76, YYSYMBOL_TOK_GCC_FLOAT16 = 77, YYSYMBOL_TOK_GCC_FLOAT32 = 78,
  YYSYMBOL_TOK_GCC_FLOAT32X = 79, YYSYMBOL_TOK_GCC_FLOAT80 = 80, YYSYMBOL_TOK_GCC_FLOAT64 = 81, YYSYMBOL_TOK_GCC_FLOAT64X = 82,
  YYSYMBOL_TOK_GCC_FLOAT128 = 83, YYSYMBOL_TOK_GCC_FLOAT128X = 84, YYSYMBOL_TOK_GCC_INT128 = 85, YYSYMBOL_TOK_GCC_DECIMAL32 = 86,
  YYSYMBOL_TOK_GCC_DECIMAL64 = 87, YYSYMBOL_TOK_GCC_DECIMAL128 = 88, YYSYMBOL_TOK_GCC_ASM = 89, YYSYMBOL_TOK_GCC_ASM_PAREN = 90,
  YYSYMBOL_TOK_GCC_ATTRIBUTE = 91, YYSYMBOL_TOK_GCC_ATTRIBUTE_ALIGNED = 92, YYSYMBOL_TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION = 93, YYSYMBOL_TOK_GCC_ATTRIBUTE_PACKED = 94,
  YYSYMBOL_TOK_GCC_ATTRIBUTE_VECTOR_SIZE = 95, YYSYMBOL_TOK_GCC_ATTRIBUTE_MODE = 96, YYSYMBOL_TOK_GCC_ATTRIBUTE_GNU_INLINE = 97, YYSYMBOL_TOK_GCC_ATTRIBUTE_WEAK = 98,
  YYSYMBOL_TOK_GCC_ATTRIBUTE_ALIAS = 99, YYSYMBOL_TOK_GCC_ATTRIBUTE_SECTION = 100, YYSYMBOL_TOK_GCC_ATTRIBUTE_NORETURN = 101, YYSYMBOL_TOK_GCC_ATTRIBUTE_CONSTRUCTOR = 102,
  YYSYMBOL_TOK_GCC_ATTRIBUTE_DESTRUCTOR = 103, YYSYMBOL_TOK_GCC_ATTRIBUTE_FALLTHROUGH = 104, YYSYMBOL_TOK_GCC_ATTRIBUTE_USED = 105, YYSYMBOL_TOK_GCC_LABEL = 106,
  YYSYMBOL_TOK_MSC_ASM = 107, YYSYMBOL_TOK_MSC_BASED = 108, YYSYMBOL_TOK_CW_VAR_ARG_TYPEOF = 109, YYSYMBOL_TOK_BUILTIN_VA_ARG = 110,
  YYSYMBOL_TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P = 111, YYSYMBOL_TOK_CLANG_BUILTIN_CONVERTVECTOR = 112, YYSYMBOL_TOK_OFFSETOF = 113, YYSYMBOL_TOK_ALIGNOF = 114,
  YYSYMBOL_TOK_MSC_TRY = 115, YYSYMBOL_TOK_MSC_FINALLY = 116, YYSYMBOL_TOK_MSC_EXCEPT = 117, YYSYMBOL_TOK_MSC_LEAVE = 118,
  YYSYMBOL_TOK_MSC_DECLSPEC = 119, YYSYMBOL_TOK_MSC_FORCEINLINE = 120, YYSYMBOL_TOK_INTERFACE = 121, YYSYMBOL_TOK_CDECL = 122,
  YYSYMBOL_TOK_STDCALL = 123, YYSYMBOL_TOK_FASTCALL = 124, YYSYMBOL_TOK_CLRCALL = 125, YYSYMBOL_TOK_FORALL = 126,
  YYSYMBOL_TOK_EXISTS = 127, YYSYMBOL_TOK_ACSL_FORALL = 128, YYSYMBOL_TOK_ACSL_EXISTS = 129, YYSYMBOL_TOK_ACSL_LET = 130,
  YYSYMBOL_TOK_ARRAY_OF = 131, YYSYMBOL_TOK_CPROVER_BITVECTOR = 132, YYSYMBOL_TOK_CPROVER_FLOATBV = 133, YYSYMBOL_TOK_CPROVER_FIXEDBV = 134,
  YYSYMBOL_TOK_CPROVER_ATOMIC = 135, YYSYMBOL_TOK_CPROVER_BOOL = 136, YYSYMBOL_TOK_CPROVER_THROW = 137, YYSYMBOL_TOK_CPROVER_CATCH = 138,
  YYSYMBOL_TOK_CPROVER_TRY = 139, YYSYMBOL_TOK_CPROVER_FINALLY = 140, YYSYMBOL_TOK_CPROVER_ID = 141, YYSYMBOL_TOK_CPROVER_LOOP_INVARIANT = 142,
  YYSYMBOL_TOK_CPROVER_REQUIRES = 143, YYSYMBOL_TOK_CPROVER_ENSURES = 144, YYSYMBOL_TOK_IMPLIES = 145, YYSYMBOL_TOK_EQUIVALENT = 146,
  YYSYMBOL_TOK_XORXOR = 147, YYSYMBOL_TOK_TRUE = 148, YYSYMBOL_TOK_FALSE = 149, YYSYMBOL_TOK_REAL = 150,
  YYSYMBOL_TOK_IMAG = 151, YYSYMBOL_TOK_ALIGNAS = 152, YYSYMBOL_TOK_ATOMIC_TYPE_QUALIFIER = 153, YYSYMBOL_TOK_ATOMIC_TYPE_SPECIFIER = 154,
  YYSYMBOL_TOK_GENERIC = 155, YYSYMBOL_TOK_IMAGINARY = 156, YYSYMBOL_TOK_NORETURN = 157, YYSYMBOL_TOK_STATIC_ASSERT = 158,
  YYSYMBOL_TOK_THREAD_LOCAL = 159, YYSYMBOL_TOK_NULLPTR = 160, YYSYMBOL_TOK_CONSTEXPR = 161, YYSYMBOL_TOK_SCANNER_ERROR = 162,
  YYSYMBOL_TOK_SCANNER_EOF = 163, YYSYMBOL_TOK_CATCH = 164, YYSYMBOL_TOK_CHAR16_T = 165, YYSYMBOL_TOK_CHAR32_T = 166,
  YYSYMBOL_TOK_CLASS = 167, YYSYMBOL_TOK_DELETE = 168, YYSYMBOL_TOK_DECLTYPE = 169, YYSYMBOL_TOK_EXPLICIT = 170,
  YYSYMBOL_TOK_FRIEND = 171, YYSYMBOL_TOK_MUTABLE = 172, YYSYMBOL_TOK_NAMESPACE = 173, YYSYMBOL_TOK_NEW = 174,
  YYSYMBOL_TOK_NOEXCEPT = 175, YYSYMBOL_TOK_OPERATOR = 176, YYSYMBOL_TOK_PRIVATE = 177, YYSYMBOL_TOK_PROTECTED = 178,
  YYSYMBOL_TOK_PUBLIC = 179, YYSYMBOL_TOK_TEMPLATE = 180, YYSYMBOL_TOK_THIS = 181, YYSYMBOL_TOK_THROW = 182,
  YYSYMBOL_TOK_TYPEID = 183, YYSYMBOL_TOK_TYPENAME = 184, YYSYMBOL_TOK_TRY = 185, YYSYMBOL_TOK_USING = 186,
  YYSYMBOL_TOK_VIRTUAL = 187, YYSYMBOL_TOK_SCOPE = 188, YYSYMBOL_TOK_DOTPM = 189, YYSYMBOL_TOK_ARROWPM = 190,
  YYSYMBOL_TOK_UNARY_TYPE_PREDICATE = 191, YYSYMBOL_TOK_BINARY_TYPE_PREDICATE = 192, YYSYMBOL_TOK_MSC_UUIDOF = 193, YYSYMBOL_TOK_MSC_IF_EXISTS = 194,
  YYSYMBOL_TOK_MSC_IF_NOT_EXISTS = 195, YYSYMBOL_TOK_UNDERLYING_TYPE = 196, YYSYMBOL_197_ = 197, YYSYMBOL_198_ = 198,
  YYSYMBOL_199_ = 199, YYSYMBOL_200_ = 200, YYSYMBOL_201_ = 201, YYSYMBOL_202_ = 202,
  YYSYMBOL_203_ = 203, YYSYMBOL_204_ = 204, YYSYMBOL_205_ = 205, YYSYMBOL_206_ = 206,
  YYSYMBOL_207_ = 207, YYSYMBOL_208_ = 208, YYSYMBOL_209_ = 209, YYSYMBOL_210_ = 210,
  YYSYMBOL_211_ = 211, YYSYMBOL_212_ = 212, YYSYMBOL_213_ = 213, YYSYMBOL_214_ = 214,
  YYSYMBOL_215_ = 215, YYSYMBOL_216_ = 216, YYSYMBOL_217_ = 217, YYSYMBOL_218_ = 218,
  YYSYMBOL_219_ = 219, YYSYMBOL_220_ = 220, YYSYMBOL_YYACCEPT = 221, YYSYMBOL_grammar = 222,
  YYSYMBOL_identifier = 223, YYSYMBOL_typedef_name = 224, YYSYMBOL_integer = 225, YYSYMBOL_floating = 226,
  YYSYMBOL_character = 227, YYSYMBOL_string = 228, YYSYMBOL_constant = 229, YYSYMBOL_primary_expression = 230,
  YYSYMBOL_generic_selection = 231, YYSYMBOL_generic_assoc_list = 232, YYSYMBOL_generic_association = 233, YYSYMBOL_gcc_builtin_expressions = 234,
  YYSYMBOL_clang_builtin_expressions = 235, YYSYMBOL_cw_builtin_expressions = 236, YYSYMBOL_offsetof = 237, YYSYMBOL_offsetof_member_designator = 238,
  YYSYMBOL_quantifier_expression = 239, YYSYMBOL_loop_invariant_opt = 240, YYSYMBOL_requires_opt = 241, YYSYMBOL_ensures_opt = 242,
  YYSYMBOL_statement_expression = 243, YYSYMBOL_postfix_expression = 244, YYSYMBOL_member_name = 245, YYSYMBOL_argument_expression_list = 246,
  YYSYMBOL_unary_expression = 247, YYSYMBOL_cast_expression = 248, YYSYMBOL_multiplicative_expression = 249, YYSYMBOL_additive_expression = 250,
  YYSYMBOL_shift_expression = 251, YYSYMBOL_relational_expression = 252, YYSYMBOL_equality_expression = 253, YYSYMBOL_and_expression = 254,
  YYSYMBOL_exclusive_or_expression = 255, YYSYMBOL_inclusive_or_expression = 256, YYSYMBOL_logical_and_expression = 257, YYSYMBOL_logical_xor_expression = 258,
  YYSYMBOL_logical_or_expression = 259, YYSYMBOL_logical_implication_expression = 260, YYSYMBOL_logical_equivalence_expression = 261, YYSYMBOL_ACSL_binding_expression = 262,
  YYSYMBOL_conditional_expression = 263, YYSYMBOL_assignment_expression = 264, YYSYMBOL_comma_expression = 265, YYSYMBOL_constant_expression = 266,
  YYSYMBOL_comma_expression_opt = 267, YYSYMBOL_declaration = 268, YYSYMBOL_static_assert_declaration = 269, YYSYMBOL_default_declaring_list = 270,
  YYSYMBOL_271_1 = 271, YYSYMBOL_272_2 = 272, YYSYMBOL_273_3 = 273, YYSYMBOL_post_declarator_attribute = 274,
  YYSYMBOL_post_declarator_attributes = 275, YYSYMBOL_post_declarator_attributes_opt = 276, YYSYMBOL_declaring_list = 277, YYSYMBOL_278_4 = 278,
  YYSYMBOL_279_5 = 279, YYSYMBOL_280_6 = 280, YYSYMBOL_declaration_specifier = 281, YYSYMBOL_type_specifier = 282,
  YYSYMBOL_declaration_qualifier_list = 283, YYSYMBOL_type_qualifier_list = 284, YYSYMBOL_attribute_type_qualifier_list = 285, YYSYMBOL_declaration_qualifier = 286,
  YYSYMBOL_type_qualifier = 287, YYSYMBOL_alignas_specifier = 288, YYSYMBOL_attribute_or_type_qualifier = 289, YYSYMBOL_attribute_or_type_qualifier_or_storage_class = 290,
  YYSYMBOL_attribute_type_qualifier_storage_class_list = 291, YYSYMBOL_basic_declaration_specifier = 292, YYSYMBOL_basic_type_specifier = 293, YYSYMBOL_sue_declaration_specifier = 294,
  YYSYMBOL_sue_type_specifier = 295, YYSYMBOL_typedef_declaration_specifier = 296, YYSYMBOL_typeof_declaration_specifier = 297, YYSYMBOL_atomic_declaration_specifier = 298,
  YYSYMBOL_typedef_type_specifier = 299, YYSYMBOL_typeof_specifier = 300, YYSYMBOL_typeof_type_specifier = 301, YYSYMBOL_atomic_specifier = 302,
  YYSYMBOL_atomic_type_specifier = 303, YYSYMBOL_msc_decl_identifier = 304, YYSYMBOL_msc_decl_modifier = 305, YYSYMBOL_msc_declspec_seq = 306,
  YYSYMBOL_msc_declspec = 307, YYSYMBOL_msc_declspec_opt = 308, YYSYMBOL_storage_class = 309, YYSYMBOL_basic_type_name = 310,
  YYSYMBOL_elaborated_type_name = 311, YYSYMBOL_array_of_construct = 312, YYSYMBOL_pragma_packed = 313, YYSYMBOL_aggregate_name = 314,
  YYSYMBOL_315_7 = 315, YYSYMBOL_316_8 = 316, YYSYMBOL_317_9 = 317, YYSYMBOL_aggregate_key = 318,
  YYSYMBOL_gcc_type_attribute = 319, YYSYMBOL_gcc_attribute = 320, YYSYMBOL_gcc_attribute_list = 321, YYSYMBOL_gcc_attribute_specifier = 322,
  YYSYMBOL_gcc_type_attribute_opt = 323, YYSYMBOL_gcc_type_attribute_list = 324, YYSYMBOL_member_declaration_list_opt = 325, YYSYMBOL_member_declaration_list = 326,
  YYSYMBOL_member_declaration = 327, YYSYMBOL_member_default_declaring_list = 328, YYSYMBOL_member_declaring_list = 329, YYSYMBOL_member_declarator = 330,
  YYSYMBOL_member_identifier_declarator = 331, YYSYMBOL_bit_field_size_opt = 332, YYSYMBOL_bit_field_size = 333, YYSYMBOL_enum_name = 334,
  YYSYMBOL_335_10 = 335, YYSYMBOL_336_11 = 336, YYSYMBOL_enum_key = 337, YYSYMBOL_enumerator_list_opt = 338,
  YYSYMBOL_enumerator_list = 339, YYSYMBOL_enumerator_declaration = 340, YYSYMBOL_enumerator_value_opt = 341, YYSYMBOL_parameter_type_list = 342,
  YYSYMBOL_KnR_parameter_list = 343, YYSYMBOL_KnR_parameter = 344, YYSYMBOL_parameter_list = 345, YYSYMBOL_parameter_declaration = 346,
  YYSYMBOL_identifier_or_typedef_name = 347, YYSYMBOL_type_name = 348, YYSYMBOL_initializer_opt = 349, YYSYMBOL_initializer = 350,
  YYSYMBOL_initializer_list = 351, YYSYMBOL_initializer_list_opt = 352, YYSYMBOL_designated_initializer = 353, YYSYMBOL_designator = 354,
  YYSYMBOL_statement = 355, YYSYMBOL_declaration_statement = 356, YYSYMBOL_labeled_statement = 357, YYSYMBOL_statement_attribute = 358,
  YYSYMBOL_compound_statement = 359, YYSYMBOL_compound_scope = 360, YYSYMBOL_statement_list = 361, YYSYMBOL_expression_statement = 362,
  YYSYMBOL_selection_statement = 363, YYSYMBOL_declaration_or_expression_statement = 364, YYSYMBOL_iteration_statement = 365, YYSYMBOL_366_12 = 366,
  YYSYMBOL_jump_statement = 367, YYSYMBOL_gcc_local_label_statement = 368, YYSYMBOL_gcc_local_label_list = 369, YYSYMBOL_gcc_local_label = 370,
  YYSYMBOL_gcc_asm_statement = 371, YYSYMBOL_msc_asm_statement = 372, YYSYMBOL_msc_seh_statement = 373, YYSYMBOL_cprover_exception_statement = 374,
  YYSYMBOL_volatile_or_goto_opt = 375, YYSYMBOL_gcc_asm_commands = 376, YYSYMBOL_gcc_asm_assembler_template = 377, YYSYMBOL_gcc_asm_outputs = 378,
  YYSYMBOL_gcc_asm_output = 379, YYSYMBOL_gcc_asm_output_list = 380, YYSYMBOL_gcc_asm_inputs = 381, YYSYMBOL_gcc_asm_input = 382,
  YYSYMBOL_gcc_asm_input_list = 383, YYSYMBOL_gcc_asm_clobbered_registers = 384, YYSYMBOL_gcc_asm_clobbered_register = 385, YYSYMBOL_gcc_asm_clobbered_registers_list = 386,
  YYSYMBOL_gcc_asm_labels = 387, YYSYMBOL_gcc_asm_labels_list = 388, YYSYMBOL_gcc_asm_label = 389, YYSYMBOL_translation_unit = 390,
  YYSYMBOL_external_definition_list = 391, YYSYMBOL_external_definition = 392, YYSYMBOL_asm_definition = 393, YYSYMBOL_function_definition = 394,
  YYSYMBOL_function_body = 395, YYSYMBOL_KnR_parameter_header_opt = 396, YYSYMBOL_KnR_parameter_header = 397, YYSYMBOL_KnR_parameter_declaration = 398,
  YYSYMBOL_KnR_declaration_qualifier_list = 399, YYSYMBOL_KnR_basic_declaration_specifier = 400, YYSYMBOL_KnR_typedef_declaration_specifier = 401, YYSYMBOL_KnR_sue_declaration_specifier = 402,
  YYSYMBOL_KnR_declaration_specifier = 403, YYSYMBOL_KnR_parameter_declaring_list = 404, YYSYMBOL_function_head = 405, YYSYMBOL_declarator = 406,
  YYSYMBOL_paren_attribute_declarator = 407, YYSYMBOL_typedef_declarator = 408, YYSYMBOL_parameter_typedef_declarator = 409, YYSYMBOL_clean_typedef_declarator = 410,
  YYSYMBOL_clean_postfix_typedef_declarator = 411, YYSYMBOL_paren_typedef_declarator = 412, YYSYMBOL_paren_postfix_typedef_declarator = 413, YYSYMBOL_simple_paren_typedef_declarator = 414,
  YYSYMBOL_identifier_declarator = 415, YYSYMBOL_unary_identifier_declarator = 416, YYSYMBOL_postfix_identifier_declarator = 417, YYSYMBOL_paren_identifier_declarator = 418,
  YYSYMBOL_abstract_declarator = 419, YYSYMBOL_parameter_abstract_declarator = 420, YYSYMBOL_postfixing_abstract_declarator = 421, YYSYMBOL_422_13 = 422,
  YYSYMBOL_parameter_postfixing_abstract_declarator = 423, YYSYMBOL_424_14 = 424, YYSYMBOL_array_abstract_declarator = 425, YYSYMBOL_unary_abstract_declarator = 426,
  YYSYMBOL_parameter_unary_abstract_declarator = 427, YYSYMBOL_postfix_abstract_declarator = 428, YYSYMBOL_parameter_postfix_abstract_declarator = 429, YYSYMBOL_YYEMPTY = -2,
  YYSYMBOL_YYEOF = 0, YYSYMBOL_YYerror = 1, YYSYMBOL_YYUNDEF = 2, YYSYMBOL_TOK_SCANNER_ERROR = 3,
  YYSYMBOL_TOK_NEWLINE = 4, YYSYMBOL_TOK_PROCEDURE = 5, YYSYMBOL_TOK_RETURNS = 6, YYSYMBOL_TOK_TO = 7,
  YYSYMBOL_TOK_THROWS = 8, YYSYMBOL_TOK_EVAL = 9, YYSYMBOL_TOK_LABEL = 10, YYSYMBOL_TOK_GOTO = 11,
  YYSYMBOL_TOK_SKIP = 12, YYSYMBOL_TOK_WITH = 13, YYSYMBOL_TOK_NEW = 14, YYSYMBOL_TOK_HAS_FIELD = 15,
  YYSYMBOL_TOK_DELETE = 16, YYSYMBOL_TOK_PROTO_FIELD = 17, YYSYMBOL_TOK_PROTO_OBJ = 18, YYSYMBOL_TOK_REF = 19,
  YYSYMBOL_TOK_FIELD = 20, YYSYMBOL_TOK_BASE = 21, YYSYMBOL_TOK_TYPEOF = 22, YYSYMBOL_TOK_NULL = 23,
  YYSYMBOL_TOK_UNDEFINED = 24, YYSYMBOL_TOK_EMPTY = 25, YYSYMBOL_TOK_TRUE = 26, YYSYMBOL_TOK_FALSE = 27,
  YYSYMBOL_TOK_PROTO = 28, YYSYMBOL_TOK_FID = 29, YYSYMBOL_TOK_SCOPE = 30, YYSYMBOL_TOK_CONSTRUCTID = 31,
  YYSYMBOL_TOK_PRIMVALUE = 32, YYSYMBOL_TOK_TARGETFUNCTION = 33, YYSYMBOL_TOK_CLASS = 34, YYSYMBOL_TOK_NUM_TO_STRING = 35,
  YYSYMBOL_TOK_STRING_TO_NUM = 36, YYSYMBOL_TOK_NUM_TO_INT32 = 37, YYSYMBOL_TOK_NUM_TO_UINT32 = 38, YYSYMBOL_TOK_MEMBER_REFERENCE = 39,
  YYSYMBOL_TOK_VARIABLE_REFERENCE = 40, YYSYMBOL_TOK_T_NULL = 41, YYSYMBOL_TOK_T_UNDEFINED = 42, YYSYMBOL_TOK_T_BOOLEAN = 43,
  YYSYMBOL_TOK_T_STRING = 44, YYSYMBOL_TOK_T_NUMBER = 45, YYSYMBOL_TOK_T_BUILTIN_OBJECT = 46, YYSYMBOL_TOK_T_USER_OBJECT = 47,
  YYSYMBOL_TOK_T_OBJECT = 48, YYSYMBOL_TOK_T_REFERENCE = 49, YYSYMBOL_TOK_DEFEQ = 50, YYSYMBOL_TOK_LEQ = 51,
  YYSYMBOL_TOK_AND = 52, YYSYMBOL_TOK_OR = 53, YYSYMBOL_TOK_SUBTYPE_OF = 54, YYSYMBOL_TOK_LEFT_SHIFT = 55,
  YYSYMBOL_TOK_SIGNED_RIGHT_SHIFT = 56, YYSYMBOL_TOK_UNSIGNED_RIGHT_SHIFT = 57, YYSYMBOL_TOK_NOT = 58, YYSYMBOL_TOK_IDENTIFIER = 59,
  YYSYMBOL_TOK_FLOATING = 60, YYSYMBOL_TOK_STRING = 61, YYSYMBOL_TOK_BUILTIN_LOC = 62, YYSYMBOL_TOK_BUILTIN_IDENTIFIER = 63,
  YYSYMBOL_TOK_SPEC_IDENTIFIER = 64, YYSYMBOL_65_ = 65, YYSYMBOL_66_ = 66, YYSYMBOL_67_ = 67,
  YYSYMBOL_68_ = 68, YYSYMBOL_69_ = 69, YYSYMBOL_70_ = 70, YYSYMBOL_71_ = 71,
  YYSYMBOL_72_ = 72, YYSYMBOL_73_ = 73, YYSYMBOL_74_ = 74, YYSYMBOL_75_ = 75,
  YYSYMBOL_76_ = 76, YYSYMBOL_77_ = 77, YYSYMBOL_78_ = 78, YYSYMBOL_79_ = 79,
  YYSYMBOL_80_ = 80, YYSYMBOL_81_ = 81, YYSYMBOL_82_ = 82, YYSYMBOL_83_ = 83,
  YYSYMBOL_YYACCEPT = 84, YYSYMBOL_program = 85, YYSYMBOL_procedure_decls = 86, YYSYMBOL_procedure_decl = 87,
  YYSYMBOL_proc_ident = 88, YYSYMBOL_proc_ident_expr = 89, YYSYMBOL_parameters_opt = 90, YYSYMBOL_parameters = 91,
  YYSYMBOL_statements_opt = 92, YYSYMBOL_statements = 93, YYSYMBOL_statement = 94, YYSYMBOL_instruction = 95,
  YYSYMBOL_rhs = 96, YYSYMBOL_with_opt = 97, YYSYMBOL_expressions_opt = 98, YYSYMBOL_expressions = 99,
  YYSYMBOL_expression = 100, YYSYMBOL_atom_expression = 101, YYSYMBOL_literal = 102, YYSYMBOL_builtin_field = 103,
  YYSYMBOL_binary_op = 104, YYSYMBOL_compare_op = 105, YYSYMBOL_arithmetic_op = 106, YYSYMBOL_boolean_op = 107,
  YYSYMBOL_bitwise_op = 108, YYSYMBOL_unary_op = 109, YYSYMBOL_jsil_type = 110, YYSYMBOL_ref_type = 111,
  YYSYMBOL_YYEMPTY = -2, YYSYMBOL_YYEOF = 0, YYSYMBOL_YYerror = 1, YYSYMBOL_YYUNDEF = 2,
  YYSYMBOL_TOK_STRING = 3, YYSYMBOL_TOK_NUMBER = 4, YYSYMBOL_TOK_TRUE = 5, YYSYMBOL_TOK_FALSE = 6,
  YYSYMBOL_TOK_NULL = 7, YYSYMBOL_8_ = 8, YYSYMBOL_9_ = 9, YYSYMBOL_10_ = 10,
  YYSYMBOL_11_ = 11, YYSYMBOL_12_ = 12, YYSYMBOL_13_ = 13, YYSYMBOL_YYACCEPT = 14,
  YYSYMBOL_document = 15, YYSYMBOL_object = 16, YYSYMBOL_17_1 = 17, YYSYMBOL_18_2 = 18,
  YYSYMBOL_key_value_sequence = 19, YYSYMBOL_key_value_pair = 20, YYSYMBOL_21_3 = 21, YYSYMBOL_array = 22,
  YYSYMBOL_23_4 = 23, YYSYMBOL_24_5 = 24, YYSYMBOL_array_value_sequence = 25, YYSYMBOL_array_value = 26,
  YYSYMBOL_value = 27, YYSYMBOL_YYEMPTY = -2, YYSYMBOL_YYEOF = 0, YYSYMBOL_YYerror = 1,
  YYSYMBOL_YYUNDEF = 2, YYSYMBOL_TOK_VERSION = 3, YYSYMBOL_TOK_BEGIN = 4, YYSYMBOL_TOK_FUNCTION_BLOCK = 5,
  YYSYMBOL_TOK_END_FUNCTION_BLOCK = 6, YYSYMBOL_TOK_FUNCTION = 7, YYSYMBOL_TOK_END_FUNCTION = 8, YYSYMBOL_TOK_VAR_INPUT = 9,
  YYSYMBOL_TOK_VAR_INOUT = 10, YYSYMBOL_TOK_VAR_OUTPUT = 11, YYSYMBOL_TOK_VAR_STATIC = 12, YYSYMBOL_TOK_VAR_TEMP = 13,
  YYSYMBOL_TOK_VAR_CONSTANT = 14, YYSYMBOL_TOK_END_VAR = 15, YYSYMBOL_TOK_NETWORK = 16, YYSYMBOL_TOK_TITLE = 17,
  YYSYMBOL_TOK_TAG = 18, YYSYMBOL_TOK_END_TAG = 19, YYSYMBOL_TOK_INT = 20, YYSYMBOL_TOK_DINT = 21,
  YYSYMBOL_TOK_REAL = 22, YYSYMBOL_TOK_BOOL = 23, YYSYMBOL_TOK_VOID = 24, YYSYMBOL_TOK_LOAD = 25,
  YYSYMBOL_TOK_TRANSFER = 26, YYSYMBOL_TOK_CALL = 27, YYSYMBOL_TOK_NOP = 28, YYSYMBOL_TOK_SET_RLO = 29,
  YYSYMBOL_TOK_CLR_RLO = 30, YYSYMBOL_TOK_SET = 31, YYSYMBOL_TOK_RESET = 32, YYSYMBOL_TOK_NOT = 33,
  YYSYMBOL_TOK_AND = 34, YYSYMBOL_TOK_AND_NOT = 35, YYSYMBOL_TOK_OR = 36, YYSYMBOL_TOK_OR_NOT = 37,
  YYSYMBOL_TOK_XOR = 38, YYSYMBOL_TOK_XOR_NOT = 39, YYSYMBOL_TOK_AND_NESTED = 40, YYSYMBOL_TOK_AND_NOT_NESTED = 41,
  YYSYMBOL_TOK_OR_NESTED = 42, YYSYMBOL_TOK_OR_NOT_NESTED = 43, YYSYMBOL_TOK_XOR_NESTED = 44, YYSYMBOL_TOK_XOR_NOT_NESTED = 45,
  YYSYMBOL_TOK_NESTING_CLOSED = 46, YYSYMBOL_TOK_ASSIGN = 47, YYSYMBOL_TOK_CONST_ADD = 48, YYSYMBOL_TOK_ACCU_INT_ADD = 49,
  YYSYMBOL_TOK_ACCU_INT_SUB = 50, YYSYMBOL_TOK_ACCU_INT_MUL = 51, YYSYMBOL_TOK_ACCU_INT_DIV = 52, YYSYMBOL_TOK_ACCU_INT_EQ = 53,
  YYSYMBOL_TOK_ACCU_INT_NEQ = 54, YYSYMBOL_TOK_ACCU_INT_GT = 55, YYSYMBOL_TOK_ACCU_INT_LT = 56, YYSYMBOL_TOK_ACCU_INT_GTE = 57,
  YYSYMBOL_TOK_ACCU_INT_LTE = 58, YYSYMBOL_TOK_ACCU_REAL_ADD = 59, YYSYMBOL_TOK_ACCU_REAL_SUB = 60, YYSYMBOL_TOK_ACCU_REAL_MUL = 61,
  YYSYMBOL_TOK_ACCU_REAL_DIV = 62, YYSYMBOL_TOK_ACCU_REAL_EQ = 63, YYSYMBOL_TOK_ACCU_REAL_NEQ = 64, YYSYMBOL_TOK_ACCU_REAL_GT = 65,
  YYSYMBOL_TOK_ACCU_REAL_LT = 66, YYSYMBOL_TOK_ACCU_REAL_GTE = 67, YYSYMBOL_TOK_ACCU_REAL_LTE = 68, YYSYMBOL_TOK_ACCU_DINT_ADD = 69,
  YYSYMBOL_TOK_ACCU_DINT_SUB = 70, YYSYMBOL_TOK_ACCU_DINT_MUL = 71, YYSYMBOL_TOK_ACCU_DINT_DIV = 72, YYSYMBOL_TOK_ACCU_DINT_EQ = 73,
  YYSYMBOL_TOK_ACCU_DINT_NEQ = 74, YYSYMBOL_TOK_ACCU_DINT_GT = 75, YYSYMBOL_TOK_ACCU_DINT_LT = 76, YYSYMBOL_TOK_ACCU_DINT_GTE = 77,
  YYSYMBOL_TOK_ACCU_DINT_LTE = 78, YYSYMBOL_TOK_ASSIGNMENT = 79, YYSYMBOL_TOK_INT_LITERAL = 80, YYSYMBOL_TOK_BOOL_LITERAL = 81,
  YYSYMBOL_TOK_REAL_LITERAL = 82, YYSYMBOL_TOK_IDENTIFIER = 83, YYSYMBOL_TOK_TITLE_VALUE = 84, YYSYMBOL_TOK_VERSION_VALUE = 85,
  YYSYMBOL_TOK_LABEL = 86, YYSYMBOL_87_ = 87, YYSYMBOL_88_ = 88, YYSYMBOL_89_ = 89,
  YYSYMBOL_90_ = 90, YYSYMBOL_91_ = 91, YYSYMBOL_YYACCEPT = 92, YYSYMBOL_init = 93,
  YYSYMBOL_Var_Decl_Init = 94, YYSYMBOL_Variable_List = 95, YYSYMBOL_Zom_Separated_Variable_Name = 96, YYSYMBOL_Variable_Name = 97,
  YYSYMBOL_Simple_Spec_Init = 98, YYSYMBOL_Simple_Spec = 99, YYSYMBOL_Elem_Type_Name = 100, YYSYMBOL_Numeric_Type_Name = 101,
  YYSYMBOL_Int_Type_Name = 102, YYSYMBOL_Sign_Int_Type_Name = 103, YYSYMBOL_DInt_Type_Name = 104, YYSYMBOL_Sign_DInt_Type_Name = 105,
  YYSYMBOL_Real_Type_Name = 106, YYSYMBOL_Bool_Type_Name = 107, YYSYMBOL_Opt_Assignment = 108, YYSYMBOL_Derived_FB_Name = 109,
  YYSYMBOL_FB_Decl = 110, YYSYMBOL_Version_Label = 111, YYSYMBOL_Zom_FB_General_Var_Decls = 112, YYSYMBOL_FB_General_Var_Decl = 113,
  YYSYMBOL_FB_IO_Var_Decls = 114, YYSYMBOL_FB_Input_Decls = 115, YYSYMBOL_Zom_FB_Input_Decl = 116, YYSYMBOL_FB_Input_Decl = 117,
  YYSYMBOL_FB_Output_Decls = 118, YYSYMBOL_Zom_FB_Output_Decl = 119, YYSYMBOL_FB_Output_Decl = 120, YYSYMBOL_FB_Inout_Decls = 121,
  YYSYMBOL_Zom_FB_Inout_Decl = 122, YYSYMBOL_FB_Inout_Decl = 123, YYSYMBOL_FB_Static_Decls = 124, YYSYMBOL_Zom_FB_Static_Decl = 125,
  YYSYMBOL_FB_Static_Decl = 126, YYSYMBOL_FB_Body = 127, YYSYMBOL_Func_Decl = 128, YYSYMBOL_Derived_Func_Name = 129,
  YYSYMBOL_Func_Return_Value = 130, YYSYMBOL_Zom_Func_General_Var_Decls = 131, YYSYMBOL_Func_General_Var_Decl = 132, YYSYMBOL_IO_Var_Decls = 133,
  YYSYMBOL_Input_Decls = 134, YYSYMBOL_Zom_Input_Decl = 135, YYSYMBOL_Input_Decl = 136, YYSYMBOL_Inout_Decls = 137,
  YYSYMBOL_Zom_Inout_Decl = 138, YYSYMBOL_Inout_Decl = 139, YYSYMBOL_Output_Decls = 140, YYSYMBOL_Zom_Output_Decl = 141,
  YYSYMBOL_Output_Decl = 142, YYSYMBOL_Temp_Decls = 143, YYSYMBOL_Zom_Temp_Decl = 144, YYSYMBOL_Temp_Decl = 145,
  YYSYMBOL_Constant_Decls = 146, YYSYMBOL_Zom_Constant_Decl = 147, YYSYMBOL_Constant_Decl = 148, YYSYMBOL_Func_Body = 149,
  YYSYMBOL_Zom_IL_Network = 150, YYSYMBOL_IL_Network = 151, YYSYMBOL_Opt_TITLE_VALUE = 152, YYSYMBOL_Opt_Instruction_List = 153,
  YYSYMBOL_Instruction_List = 154, YYSYMBOL_Oom_IL_Instruction = 155, YYSYMBOL_IL_Instruction = 156, YYSYMBOL_Opt_Label = 157,
  YYSYMBOL_IL_Label = 158, YYSYMBOL_Opt_Instruction = 159, YYSYMBOL_IL_Simple_Operation = 160, YYSYMBOL_Opt_Operand = 161,
  YYSYMBOL_IL_Simple_Operator = 162, YYSYMBOL_IL_Operand = 163, YYSYMBOL_Variable_Access = 164, YYSYMBOL_Constant = 165,
  YYSYMBOL_IL_Invocation = 166, YYSYMBOL_Call = 167, YYSYMBOL_Callee_Name = 168, YYSYMBOL_Opt_Param_List = 169,
  YYSYMBOL_Oom_Param_Assignment = 170, YYSYMBOL_Param_Assignment = 171, YYSYMBOL_Opt_Data_Block = 172, YYSYMBOL_Tag_Decl = 173,
  YYSYMBOL_Opt_Tag_List = 174, YYSYMBOL_Tag_List = 175, YYSYMBOL_YYEMPTY = -2, YYSYMBOL_YYEOF = 0,
  YYSYMBOL_YYerror = 1, YYSYMBOL_YYUNDEF = 2, YYSYMBOL_STARTXMLDECL = 3, YYSYMBOL_VERSION = 4,
  YYSYMBOL_STARTPI = 5, YYSYMBOL_ENDPI = 6, YYSYMBOL_EQ = 7, YYSYMBOL_SLASH = 8,
  YYSYMBOL_CLOSE = 9, YYSYMBOL_END = 10, YYSYMBOL_ENCODING = 11, YYSYMBOL_NAME = 12,
  YYSYMBOL_VALUE = 13, YYSYMBOL_DATA = 14, YYSYMBOL_COMMENT = 15, YYSYMBOL_START = 16,
  YYSYMBOL_YYACCEPT = 17, YYSYMBOL_document = 18, YYSYMBOL_prolog = 19, YYSYMBOL_XMLDecl_opt = 20,
  YYSYMBOL_21_1 = 21, YYSYMBOL_22_2 = 22, YYSYMBOL_misc_seq_opt = 23, YYSYMBOL_misc = 24,
  YYSYMBOL_PI = 25, YYSYMBOL_26_3 = 26, YYSYMBOL_27_4 = 27, YYSYMBOL_element = 28,
  YYSYMBOL_29_5 = 29, YYSYMBOL_empty_or_content = 30, YYSYMBOL_31_6 = 31, YYSYMBOL_content = 32,
  YYSYMBOL_33_7 = 33, YYSYMBOL_name_opt = 34, YYSYMBOL_attribute_seq_opt = 35, YYSYMBOL_attribute = 36
}
 
enum  { YYENOMEM = -2 }
 

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 void yydestruct (const char *yymsg, yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
 

Variables

char * yyxmltext
 
YYSTYPE yyxmllval
 
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 yyxmlchar
 
int yyxmlnerrs
 

Macro Definition Documentation

◆ YY_

#define YY_ (   Msgid)    Msgid

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

◆ YY_ACCESSING_SYMBOL

#define YY_ACCESSING_SYMBOL (   State)    YY_CAST (yysymbol_kind_t, yystos[State])

Accessing symbol of state STATE.


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

◆ YY_ASSERT

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

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

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE

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

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED

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

◆ YY_CAST

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

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

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

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

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

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

◆ YY_IGNORE_USELESS_CAST_BEGIN

#define YY_IGNORE_USELESS_CAST_BEGIN

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

◆ YY_IGNORE_USELESS_CAST_END

#define YY_IGNORE_USELESS_CAST_END

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

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE (   Value)    Value

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

◆ YY_NULLPTR

#define YY_NULLPTR   ((void*)0)

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

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT (   Rule)

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

◆ YY_REINTERPRET_CAST

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

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

◆ YY_STACK_PRINT

#define YY_STACK_PRINT (   Bottom,
  Top 
)

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

◆ YY_SYMBOL_PRINT

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

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

◆ YY_YYXML_XML_Y_TAB_H_INCLUDED

#define YY_YYXML_XML_Y_TAB_H_INCLUDED

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

◆ YYABORT

#define YYABORT   goto yyabortlab

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

◆ YYACCEPT

#define YYACCEPT   goto yyacceptlab

Definition at line 738 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 745 of file xml_y.tab.cpp.

◆ YYBISON

#define YYBISON   1

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

◆ YYBISON_VERSION

#define YYBISON_VERSION   "3.6.4"

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

◆ yychar

#define yychar   yyxmlchar

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

◆ yyclearin

#define yyclearin   (yychar = YYEMPTY)

Definition at line 736 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 524 of file xml_y.tab.cpp.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED   1

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

◆ yydebug

#define yydebug   yyxmldebug

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

◆ YYDEBUG

#define YYDEBUG   0

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

◆ YYDPRINTF

#define YYDPRINTF (   Args)    ((void) 0)

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

◆ YYERRCODE

#define YYERRCODE   YYUNDEF

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

◆ yyerrok

#define yyerrok   (yyerrstatus = 0)

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

◆ yyerror

#define yyerror   yyxmlerror

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

◆ YYERROR

#define YYERROR   goto yyerrorlab

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

◆ YYFINAL

#define YYFINAL   6

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

◆ YYFREE

#define YYFREE   free

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

◆ YYINITDEPTH

#define YYINITDEPTH   200

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

◆ YYLAST

#define YYLAST   25

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

◆ yylex

#define yylex   yyxmllex

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

◆ yylval

#define yylval   yyxmllval

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

◆ YYMALLOC

#define YYMALLOC   malloc

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

◆ YYMAXDEPTH

#define YYMAXDEPTH   10000

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

◆ YYMAXUTOK

#define YYMAXUTOK   271

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

◆ yynerrs

#define yynerrs   yyxmlnerrs

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

◆ YYNNTS

#define YYNNTS   20

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

◆ YYNRULES

#define YYNRULES   29

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

◆ YYNSTATES

#define YYNSTATES   43

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

◆ YYNTOKENS

#define YYNTOKENS   17

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

◆ YYPACT_NINF

#define YYPACT_NINF   (-13)

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

◆ yypact_value_is_default

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

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

◆ yyparse

#define yyparse   yyxmlparse

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

◆ YYPOPSTACK

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

◆ YYPTRDIFF_MAXIMUM

#define YYPTRDIFF_MAXIMUM   LONG_MAX

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

◆ YYPTRDIFF_T

#define YYPTRDIFF_T   long

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

◆ YYPULL

#define YYPULL   1

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

◆ YYPURE

#define YYPURE   0

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

◆ YYPUSH

#define YYPUSH   0

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

◆ YYRECOVERING

#define YYRECOVERING ( )    (!!yyerrstatus)

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

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM
Value:

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

◆ YYSIZE_T

#define YYSIZE_T   unsigned

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

◆ YYSIZEOF

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

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

◆ YYSKELETON_NAME

#define YYSKELETON_NAME   "yacc.c"

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

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC   YYMALLOC

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

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

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

◆ YYSTACK_BYTES

#define YYSTACK_BYTES (   N)
Value:

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

◆ YYSTACK_FREE

#define YYSTACK_FREE   YYFREE

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

◆ YYSTACK_GAP_MAXIMUM

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

Definition at line 488 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 503 of file xml_y.tab.cpp.

◆ YYSTYPE_IS_DECLARED

#define YYSTYPE_IS_DECLARED   1

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

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

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

◆ YYTABLE_NINF

#define YYTABLE_NINF   (-1)

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

◆ yytable_value_is_error

#define yytable_value_is_error (   Yyn)    0

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

◆ YYTOKENTYPE

#define YYTOKENTYPE

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

◆ YYTRANSLATE

#define YYTRANSLATE (   YYX)
Value:
(0 <= (YYX) && (YYX) <= YYMAXUTOK \

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

◆ YYUSE

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

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

Typedef Documentation

◆ yy_state_fast_t

typedef int yy_state_fast_t

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

◆ yy_state_t

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

◆ YYSTYPE

typedef union YYSTYPE YYSTYPE

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

◆ yysymbol_kind_t

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

◆ yytoken_kind_t

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

◆ yytype_int16

typedef short yytype_int16

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

◆ yytype_int8

typedef signed char yytype_int8

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

◆ yytype_uint16

typedef unsigned short yytype_uint16

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

◆ yytype_uint8

typedef unsigned char yytype_uint8

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

Enumeration Type Documentation

◆ anonymous enum

anonymous enum
Enumerator
YYENOMEM 

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

◆ yysymbol_kind_t

Enumerator
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_TOK_AUTO 
YYSYMBOL_TOK_BOOL 
YYSYMBOL_TOK_COMPLEX 
YYSYMBOL_TOK_BREAK 
YYSYMBOL_TOK_CASE 
YYSYMBOL_TOK_CHAR 
YYSYMBOL_TOK_CONST 
YYSYMBOL_TOK_CONTINUE 
YYSYMBOL_TOK_DEFAULT 
YYSYMBOL_TOK_DO 
YYSYMBOL_TOK_DOUBLE 
YYSYMBOL_TOK_ELSE 
YYSYMBOL_TOK_ENUM 
YYSYMBOL_TOK_EXTERN 
YYSYMBOL_TOK_FLOAT 
YYSYMBOL_TOK_FOR 
YYSYMBOL_TOK_GOTO 
YYSYMBOL_TOK_IF 
YYSYMBOL_TOK_INLINE 
YYSYMBOL_TOK_INT 
YYSYMBOL_TOK_LONG 
YYSYMBOL_TOK_REGISTER 
YYSYMBOL_TOK_RESTRICT 
YYSYMBOL_TOK_RETURN 
YYSYMBOL_TOK_SHORT 
YYSYMBOL_TOK_SIGNED 
YYSYMBOL_TOK_SIZEOF 
YYSYMBOL_TOK_STATIC 
YYSYMBOL_TOK_STRUCT 
YYSYMBOL_TOK_SWITCH 
YYSYMBOL_TOK_TYPEDEF 
YYSYMBOL_TOK_UNION 
YYSYMBOL_TOK_UNSIGNED 
YYSYMBOL_TOK_VOID 
YYSYMBOL_TOK_VOLATILE 
YYSYMBOL_TOK_WCHAR_T 
YYSYMBOL_TOK_WHILE 
YYSYMBOL_TOK_ARROW 
YYSYMBOL_TOK_INCR 
YYSYMBOL_TOK_DECR 
YYSYMBOL_TOK_SHIFTLEFT 
YYSYMBOL_TOK_SHIFTRIGHT 
YYSYMBOL_TOK_LE 
YYSYMBOL_TOK_GE 
YYSYMBOL_TOK_EQ 
YYSYMBOL_TOK_NE 
YYSYMBOL_TOK_ANDAND 
YYSYMBOL_TOK_OROR 
YYSYMBOL_TOK_ELLIPSIS 
YYSYMBOL_TOK_MULTASSIGN 
YYSYMBOL_TOK_DIVASSIGN 
YYSYMBOL_TOK_MODASSIGN 
YYSYMBOL_TOK_PLUSASSIGN 
YYSYMBOL_TOK_MINUSASSIGN 
YYSYMBOL_TOK_SHLASSIGN 
YYSYMBOL_TOK_SHRASSIGN 
YYSYMBOL_TOK_ANDASSIGN 
YYSYMBOL_TOK_XORASSIGN 
YYSYMBOL_TOK_ORASSIGN 
YYSYMBOL_TOK_IDENTIFIER 
YYSYMBOL_TOK_TYPEDEFNAME 
YYSYMBOL_TOK_INTEGER 
YYSYMBOL_TOK_FLOATING 
YYSYMBOL_TOK_CHARACTER 
YYSYMBOL_TOK_STRING 
YYSYMBOL_TOK_ASM_STRING 
YYSYMBOL_TOK_INT8 
YYSYMBOL_TOK_INT16 
YYSYMBOL_TOK_INT32 
YYSYMBOL_TOK_INT64 
YYSYMBOL_TOK_PTR32 
YYSYMBOL_TOK_PTR64 
YYSYMBOL_TOK_TYPEOF 
YYSYMBOL_TOK_GCC_AUTO_TYPE 
YYSYMBOL_TOK_GCC_FLOAT16 
YYSYMBOL_TOK_GCC_FLOAT32 
YYSYMBOL_TOK_GCC_FLOAT32X 
YYSYMBOL_TOK_GCC_FLOAT80 
YYSYMBOL_TOK_GCC_FLOAT64 
YYSYMBOL_TOK_GCC_FLOAT64X 
YYSYMBOL_TOK_GCC_FLOAT128 
YYSYMBOL_TOK_GCC_FLOAT128X 
YYSYMBOL_TOK_GCC_INT128 
YYSYMBOL_TOK_GCC_DECIMAL32 
YYSYMBOL_TOK_GCC_DECIMAL64 
YYSYMBOL_TOK_GCC_DECIMAL128 
YYSYMBOL_TOK_GCC_ASM 
YYSYMBOL_TOK_GCC_ASM_PAREN 
YYSYMBOL_TOK_GCC_ATTRIBUTE 
YYSYMBOL_TOK_GCC_ATTRIBUTE_ALIGNED 
YYSYMBOL_TOK_GCC_ATTRIBUTE_TRANSPARENT_UNION 
YYSYMBOL_TOK_GCC_ATTRIBUTE_PACKED 
YYSYMBOL_TOK_GCC_ATTRIBUTE_VECTOR_SIZE 
YYSYMBOL_TOK_GCC_ATTRIBUTE_MODE 
YYSYMBOL_TOK_GCC_ATTRIBUTE_GNU_INLINE 
YYSYMBOL_TOK_GCC_ATTRIBUTE_WEAK 
YYSYMBOL_TOK_GCC_ATTRIBUTE_ALIAS 
YYSYMBOL_TOK_GCC_ATTRIBUTE_SECTION 
YYSYMBOL_TOK_GCC_ATTRIBUTE_NORETURN 
YYSYMBOL_TOK_GCC_ATTRIBUTE_CONSTRUCTOR 
YYSYMBOL_TOK_GCC_ATTRIBUTE_DESTRUCTOR 
YYSYMBOL_TOK_GCC_ATTRIBUTE_FALLTHROUGH 
YYSYMBOL_TOK_GCC_ATTRIBUTE_USED 
YYSYMBOL_TOK_GCC_LABEL 
YYSYMBOL_TOK_MSC_ASM 
YYSYMBOL_TOK_MSC_BASED 
YYSYMBOL_TOK_CW_VAR_ARG_TYPEOF 
YYSYMBOL_TOK_BUILTIN_VA_ARG 
YYSYMBOL_TOK_GCC_BUILTIN_TYPES_COMPATIBLE_P 
YYSYMBOL_TOK_CLANG_BUILTIN_CONVERTVECTOR 
YYSYMBOL_TOK_OFFSETOF 
YYSYMBOL_TOK_ALIGNOF 
YYSYMBOL_TOK_MSC_TRY 
YYSYMBOL_TOK_MSC_FINALLY 
YYSYMBOL_TOK_MSC_EXCEPT 
YYSYMBOL_TOK_MSC_LEAVE 
YYSYMBOL_TOK_MSC_DECLSPEC 
YYSYMBOL_TOK_MSC_FORCEINLINE 
YYSYMBOL_TOK_INTERFACE 
YYSYMBOL_TOK_CDECL 
YYSYMBOL_TOK_STDCALL 
YYSYMBOL_TOK_FASTCALL 
YYSYMBOL_TOK_CLRCALL 
YYSYMBOL_TOK_FORALL 
YYSYMBOL_TOK_EXISTS 
YYSYMBOL_TOK_ACSL_FORALL 
YYSYMBOL_TOK_ACSL_EXISTS 
YYSYMBOL_TOK_ACSL_LET 
YYSYMBOL_TOK_ARRAY_OF 
YYSYMBOL_TOK_CPROVER_BITVECTOR 
YYSYMBOL_TOK_CPROVER_FLOATBV 
YYSYMBOL_TOK_CPROVER_FIXEDBV 
YYSYMBOL_TOK_CPROVER_ATOMIC 
YYSYMBOL_TOK_CPROVER_BOOL 
YYSYMBOL_TOK_CPROVER_THROW 
YYSYMBOL_TOK_CPROVER_CATCH 
YYSYMBOL_TOK_CPROVER_TRY 
YYSYMBOL_TOK_CPROVER_FINALLY 
YYSYMBOL_TOK_CPROVER_ID 
YYSYMBOL_TOK_CPROVER_LOOP_INVARIANT 
YYSYMBOL_TOK_CPROVER_REQUIRES 
YYSYMBOL_TOK_CPROVER_ENSURES 
YYSYMBOL_TOK_IMPLIES 
YYSYMBOL_TOK_EQUIVALENT 
YYSYMBOL_TOK_XORXOR 
YYSYMBOL_TOK_TRUE 
YYSYMBOL_TOK_FALSE 
YYSYMBOL_TOK_REAL 
YYSYMBOL_TOK_IMAG 
YYSYMBOL_TOK_ALIGNAS 
YYSYMBOL_TOK_ATOMIC_TYPE_QUALIFIER 
YYSYMBOL_TOK_ATOMIC_TYPE_SPECIFIER 
YYSYMBOL_TOK_GENERIC 
YYSYMBOL_TOK_IMAGINARY 
YYSYMBOL_TOK_NORETURN 
YYSYMBOL_TOK_STATIC_ASSERT 
YYSYMBOL_TOK_THREAD_LOCAL 
YYSYMBOL_TOK_NULLPTR 
YYSYMBOL_TOK_CONSTEXPR 
YYSYMBOL_TOK_SCANNER_ERROR 
YYSYMBOL_TOK_SCANNER_EOF 
YYSYMBOL_TOK_CATCH 
YYSYMBOL_TOK_CHAR16_T 
YYSYMBOL_TOK_CHAR32_T 
YYSYMBOL_TOK_CLASS 
YYSYMBOL_TOK_DELETE 
YYSYMBOL_TOK_DECLTYPE 
YYSYMBOL_TOK_EXPLICIT 
YYSYMBOL_TOK_FRIEND 
YYSYMBOL_TOK_MUTABLE 
YYSYMBOL_TOK_NAMESPACE 
YYSYMBOL_TOK_NEW 
YYSYMBOL_TOK_NOEXCEPT 
YYSYMBOL_TOK_OPERATOR 
YYSYMBOL_TOK_PRIVATE 
YYSYMBOL_TOK_PROTECTED 
YYSYMBOL_TOK_PUBLIC 
YYSYMBOL_TOK_TEMPLATE 
YYSYMBOL_TOK_THIS 
YYSYMBOL_TOK_THROW 
YYSYMBOL_TOK_TYPEID 
YYSYMBOL_TOK_TYPENAME 
YYSYMBOL_TOK_TRY 
YYSYMBOL_TOK_USING 
YYSYMBOL_TOK_VIRTUAL 
YYSYMBOL_TOK_SCOPE 
YYSYMBOL_TOK_DOTPM 
YYSYMBOL_TOK_ARROWPM 
YYSYMBOL_TOK_UNARY_TYPE_PREDICATE 
YYSYMBOL_TOK_BINARY_TYPE_PREDICATE 
YYSYMBOL_TOK_MSC_UUIDOF 
YYSYMBOL_TOK_MSC_IF_EXISTS 
YYSYMBOL_TOK_MSC_IF_NOT_EXISTS 
YYSYMBOL_TOK_UNDERLYING_TYPE 
YYSYMBOL_197_ 
YYSYMBOL_198_ 
YYSYMBOL_199_ 
YYSYMBOL_200_ 
YYSYMBOL_201_ 
YYSYMBOL_202_ 
YYSYMBOL_203_ 
YYSYMBOL_204_ 
YYSYMBOL_205_ 
YYSYMBOL_206_ 
YYSYMBOL_207_ 
YYSYMBOL_208_ 
YYSYMBOL_209_ 
YYSYMBOL_210_ 
YYSYMBOL_211_ 
YYSYMBOL_212_ 
YYSYMBOL_213_ 
YYSYMBOL_214_ 
YYSYMBOL_215_ 
YYSYMBOL_216_ 
YYSYMBOL_217_ 
YYSYMBOL_218_ 
YYSYMBOL_219_ 
YYSYMBOL_220_ 
YYSYMBOL_YYACCEPT 
YYSYMBOL_grammar 
YYSYMBOL_identifier 
YYSYMBOL_typedef_name 
YYSYMBOL_integer 
YYSYMBOL_floating 
YYSYMBOL_character 
YYSYMBOL_string 
YYSYMBOL_constant 
YYSYMBOL_primary_expression 
YYSYMBOL_generic_selection 
YYSYMBOL_generic_assoc_list 
YYSYMBOL_generic_association 
YYSYMBOL_gcc_builtin_expressions 
YYSYMBOL_clang_builtin_expressions 
YYSYMBOL_cw_builtin_expressions 
YYSYMBOL_offsetof 
YYSYMBOL_offsetof_member_designator 
YYSYMBOL_quantifier_expression 
YYSYMBOL_loop_invariant_opt 
YYSYMBOL_requires_opt 
YYSYMBOL_ensures_opt 
YYSYMBOL_statement_expression 
YYSYMBOL_postfix_expression 
YYSYMBOL_member_name 
YYSYMBOL_argument_expression_list 
YYSYMBOL_unary_expression 
YYSYMBOL_cast_expression 
YYSYMBOL_multiplicative_expression 
YYSYMBOL_additive_expression 
YYSYMBOL_shift_expression 
YYSYMBOL_relational_expression 
YYSYMBOL_equality_expression 
YYSYMBOL_and_expression 
YYSYMBOL_exclusive_or_expression 
YYSYMBOL_inclusive_or_expression 
YYSYMBOL_logical_and_expression 
YYSYMBOL_logical_xor_expression 
YYSYMBOL_logical_or_expression 
YYSYMBOL_logical_implication_expression 
YYSYMBOL_logical_equivalence_expression 
YYSYMBOL_ACSL_binding_expression 
YYSYMBOL_conditional_expression 
YYSYMBOL_assignment_expression 
YYSYMBOL_comma_expression 
YYSYMBOL_constant_expression 
YYSYMBOL_comma_expression_opt 
YYSYMBOL_declaration 
YYSYMBOL_static_assert_declaration 
YYSYMBOL_default_declaring_list 
YYSYMBOL_271_1 
YYSYMBOL_272_2 
YYSYMBOL_273_3 
YYSYMBOL_post_declarator_attribute 
YYSYMBOL_post_declarator_attributes 
YYSYMBOL_post_declarator_attributes_opt 
YYSYMBOL_declaring_list 
YYSYMBOL_278_4 
YYSYMBOL_279_5 
YYSYMBOL_280_6 
YYSYMBOL_declaration_specifier 
YYSYMBOL_type_specifier 
YYSYMBOL_declaration_qualifier_list 
YYSYMBOL_type_qualifier_list 
YYSYMBOL_attribute_type_qualifier_list 
YYSYMBOL_declaration_qualifier 
YYSYMBOL_type_qualifier 
YYSYMBOL_alignas_specifier 
YYSYMBOL_attribute_or_type_qualifier 
YYSYMBOL_attribute_or_type_qualifier_or_storage_class 
YYSYMBOL_attribute_type_qualifier_storage_class_list 
YYSYMBOL_basic_declaration_specifier 
YYSYMBOL_basic_type_specifier 
YYSYMBOL_sue_declaration_specifier 
YYSYMBOL_sue_type_specifier 
YYSYMBOL_typedef_declaration_specifier 
YYSYMBOL_typeof_declaration_specifier 
YYSYMBOL_atomic_declaration_specifier 
YYSYMBOL_typedef_type_specifier 
YYSYMBOL_typeof_specifier 
YYSYMBOL_typeof_type_specifier 
YYSYMBOL_atomic_specifier 
YYSYMBOL_atomic_type_specifier 
YYSYMBOL_msc_decl_identifier 
YYSYMBOL_msc_decl_modifier 
YYSYMBOL_msc_declspec_seq 
YYSYMBOL_msc_declspec 
YYSYMBOL_msc_declspec_opt 
YYSYMBOL_storage_class 
YYSYMBOL_basic_type_name 
YYSYMBOL_elaborated_type_name 
YYSYMBOL_array_of_construct 
YYSYMBOL_pragma_packed 
YYSYMBOL_aggregate_name 
YYSYMBOL_315_7 
YYSYMBOL_316_8 
YYSYMBOL_317_9 
YYSYMBOL_aggregate_key 
YYSYMBOL_gcc_type_attribute 
YYSYMBOL_gcc_attribute 
YYSYMBOL_gcc_attribute_list 
YYSYMBOL_gcc_attribute_specifier 
YYSYMBOL_gcc_type_attribute_opt 
YYSYMBOL_gcc_type_attribute_list 
YYSYMBOL_member_declaration_list_opt 
YYSYMBOL_member_declaration_list 
YYSYMBOL_member_declaration 
YYSYMBOL_member_default_declaring_list 
YYSYMBOL_member_declaring_list 
YYSYMBOL_member_declarator 
YYSYMBOL_member_identifier_declarator 
YYSYMBOL_bit_field_size_opt 
YYSYMBOL_bit_field_size 
YYSYMBOL_enum_name 
YYSYMBOL_335_10 
YYSYMBOL_336_11 
YYSYMBOL_enum_key 
YYSYMBOL_enumerator_list_opt 
YYSYMBOL_enumerator_list 
YYSYMBOL_enumerator_declaration 
YYSYMBOL_enumerator_value_opt 
YYSYMBOL_parameter_type_list 
YYSYMBOL_KnR_parameter_list 
YYSYMBOL_KnR_parameter 
YYSYMBOL_parameter_list 
YYSYMBOL_parameter_declaration 
YYSYMBOL_identifier_or_typedef_name 
YYSYMBOL_type_name 
YYSYMBOL_initializer_opt 
YYSYMBOL_initializer 
YYSYMBOL_initializer_list 
YYSYMBOL_initializer_list_opt 
YYSYMBOL_designated_initializer 
YYSYMBOL_designator 
YYSYMBOL_statement 
YYSYMBOL_declaration_statement 
YYSYMBOL_labeled_statement 
YYSYMBOL_statement_attribute 
YYSYMBOL_compound_statement 
YYSYMBOL_compound_scope 
YYSYMBOL_statement_list 
YYSYMBOL_expression_statement 
YYSYMBOL_selection_statement 
YYSYMBOL_declaration_or_expression_statement 
YYSYMBOL_iteration_statement 
YYSYMBOL_366_12 
YYSYMBOL_jump_statement 
YYSYMBOL_gcc_local_label_statement 
YYSYMBOL_gcc_local_label_list 
YYSYMBOL_gcc_local_label 
YYSYMBOL_gcc_asm_statement 
YYSYMBOL_msc_asm_statement 
YYSYMBOL_msc_seh_statement 
YYSYMBOL_cprover_exception_statement 
YYSYMBOL_volatile_or_goto_opt 
YYSYMBOL_gcc_asm_commands 
YYSYMBOL_gcc_asm_assembler_template 
YYSYMBOL_gcc_asm_outputs 
YYSYMBOL_gcc_asm_output 
YYSYMBOL_gcc_asm_output_list 
YYSYMBOL_gcc_asm_inputs 
YYSYMBOL_gcc_asm_input 
YYSYMBOL_gcc_asm_input_list 
YYSYMBOL_gcc_asm_clobbered_registers 
YYSYMBOL_gcc_asm_clobbered_register 
YYSYMBOL_gcc_asm_clobbered_registers_list 
YYSYMBOL_gcc_asm_labels 
YYSYMBOL_gcc_asm_labels_list 
YYSYMBOL_gcc_asm_label 
YYSYMBOL_translation_unit 
YYSYMBOL_external_definition_list 
YYSYMBOL_external_definition 
YYSYMBOL_asm_definition 
YYSYMBOL_function_definition 
YYSYMBOL_function_body 
YYSYMBOL_KnR_parameter_header_opt 
YYSYMBOL_KnR_parameter_header 
YYSYMBOL_KnR_parameter_declaration 
YYSYMBOL_KnR_declaration_qualifier_list 
YYSYMBOL_KnR_basic_declaration_specifier 
YYSYMBOL_KnR_typedef_declaration_specifier 
YYSYMBOL_KnR_sue_declaration_specifier 
YYSYMBOL_KnR_declaration_specifier 
YYSYMBOL_KnR_parameter_declaring_list 
YYSYMBOL_function_head 
YYSYMBOL_declarator 
YYSYMBOL_paren_attribute_declarator 
YYSYMBOL_typedef_declarator 
YYSYMBOL_parameter_typedef_declarator 
YYSYMBOL_clean_typedef_declarator 
YYSYMBOL_clean_postfix_typedef_declarator 
YYSYMBOL_paren_typedef_declarator 
YYSYMBOL_paren_postfix_typedef_declarator 
YYSYMBOL_simple_paren_typedef_declarator 
YYSYMBOL_identifier_declarator 
YYSYMBOL_unary_identifier_declarator 
YYSYMBOL_postfix_identifier_declarator 
YYSYMBOL_paren_identifier_declarator 
YYSYMBOL_abstract_declarator 
YYSYMBOL_parameter_abstract_declarator 
YYSYMBOL_postfixing_abstract_declarator 
YYSYMBOL_422_13 
YYSYMBOL_parameter_postfixing_abstract_declarator 
YYSYMBOL_424_14 
YYSYMBOL_array_abstract_declarator 
YYSYMBOL_unary_abstract_declarator 
YYSYMBOL_parameter_unary_abstract_declarator 
YYSYMBOL_postfix_abstract_declarator 
YYSYMBOL_parameter_postfix_abstract_declarator 
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_TOK_SCANNER_ERROR 
YYSYMBOL_TOK_NEWLINE 
YYSYMBOL_TOK_PROCEDURE 
YYSYMBOL_TOK_RETURNS 
YYSYMBOL_TOK_TO 
YYSYMBOL_TOK_THROWS 
YYSYMBOL_TOK_EVAL 
YYSYMBOL_TOK_LABEL 
YYSYMBOL_TOK_GOTO 
YYSYMBOL_TOK_SKIP 
YYSYMBOL_TOK_WITH 
YYSYMBOL_TOK_NEW 
YYSYMBOL_TOK_HAS_FIELD 
YYSYMBOL_TOK_DELETE 
YYSYMBOL_TOK_PROTO_FIELD 
YYSYMBOL_TOK_PROTO_OBJ 
YYSYMBOL_TOK_REF 
YYSYMBOL_TOK_FIELD 
YYSYMBOL_TOK_BASE 
YYSYMBOL_TOK_TYPEOF 
YYSYMBOL_TOK_NULL 
YYSYMBOL_TOK_UNDEFINED 
YYSYMBOL_TOK_EMPTY 
YYSYMBOL_TOK_TRUE 
YYSYMBOL_TOK_FALSE 
YYSYMBOL_TOK_PROTO 
YYSYMBOL_TOK_FID 
YYSYMBOL_TOK_SCOPE 
YYSYMBOL_TOK_CONSTRUCTID 
YYSYMBOL_TOK_PRIMVALUE 
YYSYMBOL_TOK_TARGETFUNCTION 
YYSYMBOL_TOK_CLASS 
YYSYMBOL_TOK_NUM_TO_STRING 
YYSYMBOL_TOK_STRING_TO_NUM 
YYSYMBOL_TOK_NUM_TO_INT32 
YYSYMBOL_TOK_NUM_TO_UINT32 
YYSYMBOL_TOK_MEMBER_REFERENCE 
YYSYMBOL_TOK_VARIABLE_REFERENCE 
YYSYMBOL_TOK_T_NULL 
YYSYMBOL_TOK_T_UNDEFINED 
YYSYMBOL_TOK_T_BOOLEAN 
YYSYMBOL_TOK_T_STRING 
YYSYMBOL_TOK_T_NUMBER 
YYSYMBOL_TOK_T_BUILTIN_OBJECT 
YYSYMBOL_TOK_T_USER_OBJECT 
YYSYMBOL_TOK_T_OBJECT 
YYSYMBOL_TOK_T_REFERENCE 
YYSYMBOL_TOK_DEFEQ 
YYSYMBOL_TOK_LEQ 
YYSYMBOL_TOK_AND 
YYSYMBOL_TOK_OR 
YYSYMBOL_TOK_SUBTYPE_OF 
YYSYMBOL_TOK_LEFT_SHIFT 
YYSYMBOL_TOK_SIGNED_RIGHT_SHIFT 
YYSYMBOL_TOK_UNSIGNED_RIGHT_SHIFT 
YYSYMBOL_TOK_NOT 
YYSYMBOL_TOK_IDENTIFIER 
YYSYMBOL_TOK_FLOATING 
YYSYMBOL_TOK_STRING 
YYSYMBOL_TOK_BUILTIN_LOC 
YYSYMBOL_TOK_BUILTIN_IDENTIFIER 
YYSYMBOL_TOK_SPEC_IDENTIFIER 
YYSYMBOL_65_ 
YYSYMBOL_66_ 
YYSYMBOL_67_ 
YYSYMBOL_68_ 
YYSYMBOL_69_ 
YYSYMBOL_70_ 
YYSYMBOL_71_ 
YYSYMBOL_72_ 
YYSYMBOL_73_ 
YYSYMBOL_74_ 
YYSYMBOL_75_ 
YYSYMBOL_76_ 
YYSYMBOL_77_ 
YYSYMBOL_78_ 
YYSYMBOL_79_ 
YYSYMBOL_80_ 
YYSYMBOL_81_ 
YYSYMBOL_82_ 
YYSYMBOL_83_ 
YYSYMBOL_YYACCEPT 
YYSYMBOL_program 
YYSYMBOL_procedure_decls 
YYSYMBOL_procedure_decl 
YYSYMBOL_proc_ident 
YYSYMBOL_proc_ident_expr 
YYSYMBOL_parameters_opt 
YYSYMBOL_parameters 
YYSYMBOL_statements_opt 
YYSYMBOL_statements 
YYSYMBOL_statement 
YYSYMBOL_instruction 
YYSYMBOL_rhs 
YYSYMBOL_with_opt 
YYSYMBOL_expressions_opt 
YYSYMBOL_expressions 
YYSYMBOL_expression 
YYSYMBOL_atom_expression 
YYSYMBOL_literal 
YYSYMBOL_builtin_field 
YYSYMBOL_binary_op 
YYSYMBOL_compare_op 
YYSYMBOL_arithmetic_op 
YYSYMBOL_boolean_op 
YYSYMBOL_bitwise_op 
YYSYMBOL_unary_op 
YYSYMBOL_jsil_type 
YYSYMBOL_ref_type 
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_TOK_STRING 
YYSYMBOL_TOK_NUMBER 
YYSYMBOL_TOK_TRUE 
YYSYMBOL_TOK_FALSE 
YYSYMBOL_TOK_NULL 
YYSYMBOL_8_ 
YYSYMBOL_9_ 
YYSYMBOL_10_ 
YYSYMBOL_11_ 
YYSYMBOL_12_ 
YYSYMBOL_13_ 
YYSYMBOL_YYACCEPT 
YYSYMBOL_document 
YYSYMBOL_object 
YYSYMBOL_17_1 
YYSYMBOL_18_2 
YYSYMBOL_key_value_sequence 
YYSYMBOL_key_value_pair 
YYSYMBOL_21_3 
YYSYMBOL_array 
YYSYMBOL_23_4 
YYSYMBOL_24_5 
YYSYMBOL_array_value_sequence 
YYSYMBOL_array_value 
YYSYMBOL_value 
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_TOK_VERSION 
YYSYMBOL_TOK_BEGIN 
YYSYMBOL_TOK_FUNCTION_BLOCK 
YYSYMBOL_TOK_END_FUNCTION_BLOCK 
YYSYMBOL_TOK_FUNCTION 
YYSYMBOL_TOK_END_FUNCTION 
YYSYMBOL_TOK_VAR_INPUT 
YYSYMBOL_TOK_VAR_INOUT 
YYSYMBOL_TOK_VAR_OUTPUT 
YYSYMBOL_TOK_VAR_STATIC 
YYSYMBOL_TOK_VAR_TEMP 
YYSYMBOL_TOK_VAR_CONSTANT 
YYSYMBOL_TOK_END_VAR 
YYSYMBOL_TOK_NETWORK 
YYSYMBOL_TOK_TITLE 
YYSYMBOL_TOK_TAG 
YYSYMBOL_TOK_END_TAG 
YYSYMBOL_TOK_INT 
YYSYMBOL_TOK_DINT 
YYSYMBOL_TOK_REAL 
YYSYMBOL_TOK_BOOL 
YYSYMBOL_TOK_VOID 
YYSYMBOL_TOK_LOAD 
YYSYMBOL_TOK_TRANSFER 
YYSYMBOL_TOK_CALL 
YYSYMBOL_TOK_NOP 
YYSYMBOL_TOK_SET_RLO 
YYSYMBOL_TOK_CLR_RLO 
YYSYMBOL_TOK_SET 
YYSYMBOL_TOK_RESET 
YYSYMBOL_TOK_NOT 
YYSYMBOL_TOK_AND 
YYSYMBOL_TOK_AND_NOT 
YYSYMBOL_TOK_OR 
YYSYMBOL_TOK_OR_NOT 
YYSYMBOL_TOK_XOR 
YYSYMBOL_TOK_XOR_NOT 
YYSYMBOL_TOK_AND_NESTED 
YYSYMBOL_TOK_AND_NOT_NESTED 
YYSYMBOL_TOK_OR_NESTED 
YYSYMBOL_TOK_OR_NOT_NESTED 
YYSYMBOL_TOK_XOR_NESTED 
YYSYMBOL_TOK_XOR_NOT_NESTED 
YYSYMBOL_TOK_NESTING_CLOSED 
YYSYMBOL_TOK_ASSIGN 
YYSYMBOL_TOK_CONST_ADD 
YYSYMBOL_TOK_ACCU_INT_ADD 
YYSYMBOL_TOK_ACCU_INT_SUB 
YYSYMBOL_TOK_ACCU_INT_MUL 
YYSYMBOL_TOK_ACCU_INT_DIV 
YYSYMBOL_TOK_ACCU_INT_EQ 
YYSYMBOL_TOK_ACCU_INT_NEQ 
YYSYMBOL_TOK_ACCU_INT_GT 
YYSYMBOL_TOK_ACCU_INT_LT 
YYSYMBOL_TOK_ACCU_INT_GTE 
YYSYMBOL_TOK_ACCU_INT_LTE 
YYSYMBOL_TOK_ACCU_REAL_ADD 
YYSYMBOL_TOK_ACCU_REAL_SUB 
YYSYMBOL_TOK_ACCU_REAL_MUL 
YYSYMBOL_TOK_ACCU_REAL_DIV 
YYSYMBOL_TOK_ACCU_REAL_EQ 
YYSYMBOL_TOK_ACCU_REAL_NEQ 
YYSYMBOL_TOK_ACCU_REAL_GT 
YYSYMBOL_TOK_ACCU_REAL_LT 
YYSYMBOL_TOK_ACCU_REAL_GTE 
YYSYMBOL_TOK_ACCU_REAL_LTE 
YYSYMBOL_TOK_ACCU_DINT_ADD 
YYSYMBOL_TOK_ACCU_DINT_SUB 
YYSYMBOL_TOK_ACCU_DINT_MUL 
YYSYMBOL_TOK_ACCU_DINT_DIV 
YYSYMBOL_TOK_ACCU_DINT_EQ 
YYSYMBOL_TOK_ACCU_DINT_NEQ 
YYSYMBOL_TOK_ACCU_DINT_GT 
YYSYMBOL_TOK_ACCU_DINT_LT 
YYSYMBOL_TOK_ACCU_DINT_GTE 
YYSYMBOL_TOK_ACCU_DINT_LTE 
YYSYMBOL_TOK_ASSIGNMENT 
YYSYMBOL_TOK_INT_LITERAL 
YYSYMBOL_TOK_BOOL_LITERAL 
YYSYMBOL_TOK_REAL_LITERAL 
YYSYMBOL_TOK_IDENTIFIER 
YYSYMBOL_TOK_TITLE_VALUE 
YYSYMBOL_TOK_VERSION_VALUE 
YYSYMBOL_TOK_LABEL 
YYSYMBOL_87_ 
YYSYMBOL_88_ 
YYSYMBOL_89_ 
YYSYMBOL_90_ 
YYSYMBOL_91_ 
YYSYMBOL_YYACCEPT 
YYSYMBOL_init 
YYSYMBOL_Var_Decl_Init 
YYSYMBOL_Variable_List 
YYSYMBOL_Zom_Separated_Variable_Name 
YYSYMBOL_Variable_Name 
YYSYMBOL_Simple_Spec_Init 
YYSYMBOL_Simple_Spec 
YYSYMBOL_Elem_Type_Name 
YYSYMBOL_Numeric_Type_Name 
YYSYMBOL_Int_Type_Name 
YYSYMBOL_Sign_Int_Type_Name 
YYSYMBOL_DInt_Type_Name 
YYSYMBOL_Sign_DInt_Type_Name 
YYSYMBOL_Real_Type_Name 
YYSYMBOL_Bool_Type_Name 
YYSYMBOL_Opt_Assignment 
YYSYMBOL_Derived_FB_Name 
YYSYMBOL_FB_Decl 
YYSYMBOL_Version_Label 
YYSYMBOL_Zom_FB_General_Var_Decls 
YYSYMBOL_FB_General_Var_Decl 
YYSYMBOL_FB_IO_Var_Decls 
YYSYMBOL_FB_Input_Decls 
YYSYMBOL_Zom_FB_Input_Decl 
YYSYMBOL_FB_Input_Decl 
YYSYMBOL_FB_Output_Decls 
YYSYMBOL_Zom_FB_Output_Decl 
YYSYMBOL_FB_Output_Decl 
YYSYMBOL_FB_Inout_Decls 
YYSYMBOL_Zom_FB_Inout_Decl 
YYSYMBOL_FB_Inout_Decl 
YYSYMBOL_FB_Static_Decls 
YYSYMBOL_Zom_FB_Static_Decl 
YYSYMBOL_FB_Static_Decl 
YYSYMBOL_FB_Body 
YYSYMBOL_Func_Decl 
YYSYMBOL_Derived_Func_Name 
YYSYMBOL_Func_Return_Value 
YYSYMBOL_Zom_Func_General_Var_Decls 
YYSYMBOL_Func_General_Var_Decl 
YYSYMBOL_IO_Var_Decls 
YYSYMBOL_Input_Decls 
YYSYMBOL_Zom_Input_Decl 
YYSYMBOL_Input_Decl 
YYSYMBOL_Inout_Decls 
YYSYMBOL_Zom_Inout_Decl 
YYSYMBOL_Inout_Decl 
YYSYMBOL_Output_Decls 
YYSYMBOL_Zom_Output_Decl 
YYSYMBOL_Output_Decl 
YYSYMBOL_Temp_Decls 
YYSYMBOL_Zom_Temp_Decl 
YYSYMBOL_Temp_Decl 
YYSYMBOL_Constant_Decls 
YYSYMBOL_Zom_Constant_Decl 
YYSYMBOL_Constant_Decl 
YYSYMBOL_Func_Body 
YYSYMBOL_Zom_IL_Network 
YYSYMBOL_IL_Network 
YYSYMBOL_Opt_TITLE_VALUE 
YYSYMBOL_Opt_Instruction_List 
YYSYMBOL_Instruction_List 
YYSYMBOL_Oom_IL_Instruction 
YYSYMBOL_IL_Instruction 
YYSYMBOL_Opt_Label 
YYSYMBOL_IL_Label 
YYSYMBOL_Opt_Instruction 
YYSYMBOL_IL_Simple_Operation 
YYSYMBOL_Opt_Operand 
YYSYMBOL_IL_Simple_Operator 
YYSYMBOL_IL_Operand 
YYSYMBOL_Variable_Access 
YYSYMBOL_Constant 
YYSYMBOL_IL_Invocation 
YYSYMBOL_Call 
YYSYMBOL_Callee_Name 
YYSYMBOL_Opt_Param_List 
YYSYMBOL_Oom_Param_Assignment 
YYSYMBOL_Param_Assignment 
YYSYMBOL_Opt_Data_Block 
YYSYMBOL_Tag_Decl 
YYSYMBOL_Opt_Tag_List 
YYSYMBOL_Tag_List 
YYSYMBOL_YYEMPTY 
YYSYMBOL_YYEOF 
YYSYMBOL_YYerror 
YYSYMBOL_YYUNDEF 
YYSYMBOL_STARTXMLDECL 
YYSYMBOL_VERSION 
YYSYMBOL_STARTPI 
YYSYMBOL_ENDPI 
YYSYMBOL_EQ 
YYSYMBOL_SLASH 
YYSYMBOL_CLOSE 
YYSYMBOL_END 
YYSYMBOL_ENCODING 
YYSYMBOL_NAME 
YYSYMBOL_VALUE 
YYSYMBOL_DATA 
YYSYMBOL_COMMENT 
YYSYMBOL_START 
YYSYMBOL_YYACCEPT 
YYSYMBOL_document 
YYSYMBOL_prolog 
YYSYMBOL_XMLDecl_opt 
YYSYMBOL_21_1 
YYSYMBOL_22_2 
YYSYMBOL_misc_seq_opt 
YYSYMBOL_misc 
YYSYMBOL_PI 
YYSYMBOL_26_3 
YYSYMBOL_27_4 
YYSYMBOL_element 
YYSYMBOL_29_5 
YYSYMBOL_empty_or_content 
YYSYMBOL_31_6 
YYSYMBOL_content 
YYSYMBOL_33_7 
YYSYMBOL_name_opt 
YYSYMBOL_attribute_seq_opt 
YYSYMBOL_attribute 

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

◆ yytokentype

Enumerator
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
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 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
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 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
TOK_STRING 
TOK_NUMBER 
TOK_TRUE 
TOK_FALSE 
TOK_NULL 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
TOK_VERSION 
TOK_BEGIN 
TOK_FUNCTION_BLOCK 
TOK_END_FUNCTION_BLOCK 
TOK_FUNCTION 
TOK_END_FUNCTION 
TOK_VAR_INPUT 
TOK_VAR_INOUT 
TOK_VAR_OUTPUT 
TOK_VAR_STATIC 
TOK_VAR_TEMP 
TOK_VAR_CONSTANT 
TOK_END_VAR 
TOK_NETWORK 
TOK_TITLE 
TOK_TAG 
TOK_END_TAG 
TOK_INT 
TOK_DINT 
TOK_REAL 
TOK_BOOL 
TOK_VOID 
TOK_LOAD 
TOK_TRANSFER 
TOK_CALL 
TOK_NOP 
TOK_SET_RLO 
TOK_CLR_RLO 
TOK_SET 
TOK_RESET 
TOK_NOT 
TOK_AND 
TOK_AND_NOT 
TOK_OR 
TOK_OR_NOT 
TOK_XOR 
TOK_XOR_NOT 
TOK_AND_NESTED 
TOK_AND_NOT_NESTED 
TOK_OR_NESTED 
TOK_OR_NOT_NESTED 
TOK_XOR_NESTED 
TOK_XOR_NOT_NESTED 
TOK_NESTING_CLOSED 
TOK_ASSIGN 
TOK_CONST_ADD 
TOK_ACCU_INT_ADD 
TOK_ACCU_INT_SUB 
TOK_ACCU_INT_MUL 
TOK_ACCU_INT_DIV 
TOK_ACCU_INT_EQ 
TOK_ACCU_INT_NEQ 
TOK_ACCU_INT_GT 
TOK_ACCU_INT_LT 
TOK_ACCU_INT_GTE 
TOK_ACCU_INT_LTE 
TOK_ACCU_REAL_ADD 
TOK_ACCU_REAL_SUB 
TOK_ACCU_REAL_MUL 
TOK_ACCU_REAL_DIV 
TOK_ACCU_REAL_EQ 
TOK_ACCU_REAL_NEQ 
TOK_ACCU_REAL_GT 
TOK_ACCU_REAL_LT 
TOK_ACCU_REAL_GTE 
TOK_ACCU_REAL_LTE 
TOK_ACCU_DINT_ADD 
TOK_ACCU_DINT_SUB 
TOK_ACCU_DINT_MUL 
TOK_ACCU_DINT_DIV 
TOK_ACCU_DINT_EQ 
TOK_ACCU_DINT_NEQ 
TOK_ACCU_DINT_GT 
TOK_ACCU_DINT_LT 
TOK_ACCU_DINT_GTE 
TOK_ACCU_DINT_LTE 
TOK_ASSIGNMENT 
TOK_INT_LITERAL 
TOK_BOOL_LITERAL 
TOK_REAL_LITERAL 
TOK_IDENTIFIER 
TOK_TITLE_VALUE 
TOK_VERSION_VALUE 
TOK_LABEL 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 
YYEMPTY 
YYEOF 
YYerror 
YYUNDEF 
STARTXMLDECL 
VERSION 
STARTPI 
ENDPI 
EQ 
SLASH 
CLOSE 
END 
ENCODING 
NAME 
VALUE 
DATA 
COMMENT 
START 

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

Function Documentation

◆ free()

void free ( void *  )

◆ malloc()

void* malloc ( unsigned  )

◆ yydestruct()

static void yydestruct ( const char *  yymsg,
yysymbol_kind_t  yykind,
YYSTYPE yyvaluep 
)
static

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

◆ yyxmlerror()

int yyxmlerror ( const std::string &  error)

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

◆ yyxmllex()

int yyxmllex ( )

The main scanner function which does all the work.

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

◆ yyxmlparse()

int yyxmlparse ( void  )

Definition at line 956 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 697 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 664 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 681 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 652 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 674 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 716 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 724 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 706 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 690 of file xml_y.tab.cpp.

◆ yytranslate

const yytype_int8 yytranslate[]
static

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

◆ yyxmlchar

int yyxmlchar

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

◆ yyxmllval

YYSTYPE yyxmllval

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

◆ yyxmlnerrs

int yyxmlnerrs

Definition at line 946 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:319
YYSIZEOF
#define YYSIZEOF(X)
Definition: xml_y.tab.cpp:329
yysymbol_kind_t
yysymbol_kind_t
Definition: ansi_c_y.tab.cpp:389
YYSYMBOL_YYUNDEF
@ YYSYMBOL_YYUNDEF
Definition: xml_y.tab.cpp:194
YYSTACK_GAP_MAXIMUM
#define YYSTACK_GAP_MAXIMUM
Definition: xml_y.tab.cpp:487
YYEMPTY
@ YYEMPTY
Definition: xml_y.tab.cpp:145
yy_state_t
yytype_int16 yy_state_t
Definition: ansi_c_y.tab.cpp:925
yytranslate
static const yytype_int8 yytranslate[]
Definition: xml_y.tab.cpp:561
YYSTYPE
Definition: xml_y.tab.cpp:170
yychar
#define yychar
Definition: xml_y.tab.cpp:74
YY_CAST
#define YY_CAST(Type, Val)
Definition: xml_y.tab.cpp:112
YY_
#define YY_(Msgid)
Definition: xml_y.tab.cpp:346
YYPTRDIFF_MAXIMUM
#define YYPTRDIFF_MAXIMUM
Definition: xml_y.tab.cpp:306
YYPTRDIFF_T
#define YYPTRDIFF_T
Definition: xml_y.tab.cpp:305
YYMAXUTOK
#define YYMAXUTOK
Definition: xml_y.tab.cpp:549