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
} |