cprover
jsil_y.tab.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define YYDEBUG   0
 
#define YYTOKENTYPE
 
#define TOK_SCANNER_ERROR   258
 
#define TOK_NEWLINE   259
 
#define TOK_PROCEDURE   260
 
#define TOK_RETURNS   261
 
#define TOK_TO   262
 
#define TOK_THROWS   263
 
#define TOK_EVAL   264
 
#define TOK_LABEL   265
 
#define TOK_GOTO   266
 
#define TOK_SKIP   267
 
#define TOK_WITH   268
 
#define TOK_NEW   269
 
#define TOK_HAS_FIELD   270
 
#define TOK_DELETE   271
 
#define TOK_PROTO_FIELD   272
 
#define TOK_PROTO_OBJ   273
 
#define TOK_REF   274
 
#define TOK_FIELD   275
 
#define TOK_BASE   276
 
#define TOK_TYPEOF   277
 
#define TOK_NULL   278
 
#define TOK_UNDEFINED   279
 
#define TOK_EMPTY   280
 
#define TOK_TRUE   281
 
#define TOK_FALSE   282
 
#define TOK_PROTO   283
 
#define TOK_FID   284
 
#define TOK_SCOPE   285
 
#define TOK_CONSTRUCTID   286
 
#define TOK_PRIMVALUE   287
 
#define TOK_TARGETFUNCTION   288
 
#define TOK_CLASS   289
 
#define TOK_NUM_TO_STRING   290
 
#define TOK_STRING_TO_NUM   291
 
#define TOK_NUM_TO_INT32   292
 
#define TOK_NUM_TO_UINT32   293
 
#define TOK_MEMBER_REFERENCE   294
 
#define TOK_VARIABLE_REFERENCE   295
 
#define TOK_T_NULL   296
 
#define TOK_T_UNDEFINED   297
 
#define TOK_T_BOOLEAN   298
 
#define TOK_T_STRING   299
 
#define TOK_T_NUMBER   300
 
#define TOK_T_BUILTIN_OBJECT   301
 
#define TOK_T_USER_OBJECT   302
 
#define TOK_T_OBJECT   303
 
#define TOK_T_REFERENCE   304
 
#define TOK_DEFEQ   305
 
#define TOK_LEQ   306
 
#define TOK_AND   307
 
#define TOK_OR   308
 
#define TOK_SUBTYPE_OF   309
 
#define TOK_LEFT_SHIFT   310
 
#define TOK_SIGNED_RIGHT_SHIFT   311
 
#define TOK_UNSIGNED_RIGHT_SHIFT   312
 
#define TOK_NOT   313
 
#define TOK_IDENTIFIER   314
 
#define TOK_FLOATING   315
 
#define TOK_STRING   316
 
#define TOK_BUILTIN_LOC   317
 
#define TOK_BUILTIN_IDENTIFIER   318
 
#define TOK_SPEC_IDENTIFIER   319
 
#define YYSTYPE_IS_TRIVIAL   1
 
#define YYSTYPE_IS_DECLARED   1
 

Typedefs

typedef int YYSTYPE
 

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 yyjsilparse (void)
 

Variables

YYSTYPE yyjsillval
 

Macro Definition Documentation

◆ TOK_AND

#define TOK_AND   307

Definition at line 166 of file jsil_y.tab.h.

◆ TOK_BASE

#define TOK_BASE   276

Definition at line 135 of file jsil_y.tab.h.

◆ TOK_BUILTIN_IDENTIFIER

#define TOK_BUILTIN_IDENTIFIER   318

Definition at line 177 of file jsil_y.tab.h.

◆ TOK_BUILTIN_LOC

#define TOK_BUILTIN_LOC   317

Definition at line 176 of file jsil_y.tab.h.

◆ TOK_CLASS

#define TOK_CLASS   289

Definition at line 148 of file jsil_y.tab.h.

◆ TOK_CONSTRUCTID

#define TOK_CONSTRUCTID   286

Definition at line 145 of file jsil_y.tab.h.

◆ TOK_DEFEQ

#define TOK_DEFEQ   305

Definition at line 164 of file jsil_y.tab.h.

◆ TOK_DELETE

#define TOK_DELETE   271

Definition at line 130 of file jsil_y.tab.h.

◆ TOK_EMPTY

#define TOK_EMPTY   280

Definition at line 139 of file jsil_y.tab.h.

◆ TOK_EVAL

#define TOK_EVAL   264

Definition at line 123 of file jsil_y.tab.h.

◆ TOK_FALSE

#define TOK_FALSE   282

Definition at line 141 of file jsil_y.tab.h.

◆ TOK_FID

#define TOK_FID   284

Definition at line 143 of file jsil_y.tab.h.

◆ TOK_FIELD

#define TOK_FIELD   275

Definition at line 134 of file jsil_y.tab.h.

◆ TOK_FLOATING

#define TOK_FLOATING   315

Definition at line 174 of file jsil_y.tab.h.

◆ TOK_GOTO

#define TOK_GOTO   266

Definition at line 125 of file jsil_y.tab.h.

◆ TOK_HAS_FIELD

#define TOK_HAS_FIELD   270

Definition at line 129 of file jsil_y.tab.h.

◆ TOK_IDENTIFIER

#define TOK_IDENTIFIER   314

Definition at line 173 of file jsil_y.tab.h.

◆ TOK_LABEL

#define TOK_LABEL   265

Definition at line 124 of file jsil_y.tab.h.

◆ TOK_LEFT_SHIFT

#define TOK_LEFT_SHIFT   310

Definition at line 169 of file jsil_y.tab.h.

◆ TOK_LEQ

#define TOK_LEQ   306

Definition at line 165 of file jsil_y.tab.h.

◆ TOK_MEMBER_REFERENCE

#define TOK_MEMBER_REFERENCE   294

Definition at line 153 of file jsil_y.tab.h.

◆ TOK_NEW

#define TOK_NEW   269

Definition at line 128 of file jsil_y.tab.h.

◆ TOK_NEWLINE

#define TOK_NEWLINE   259

Definition at line 118 of file jsil_y.tab.h.

◆ TOK_NOT

#define TOK_NOT   313

Definition at line 172 of file jsil_y.tab.h.

◆ TOK_NULL

#define TOK_NULL   278

Definition at line 137 of file jsil_y.tab.h.

◆ TOK_NUM_TO_INT32

#define TOK_NUM_TO_INT32   292

Definition at line 151 of file jsil_y.tab.h.

◆ TOK_NUM_TO_STRING

#define TOK_NUM_TO_STRING   290

Definition at line 149 of file jsil_y.tab.h.

◆ TOK_NUM_TO_UINT32

#define TOK_NUM_TO_UINT32   293

Definition at line 152 of file jsil_y.tab.h.

◆ TOK_OR

#define TOK_OR   308

Definition at line 167 of file jsil_y.tab.h.

◆ TOK_PRIMVALUE

#define TOK_PRIMVALUE   287

Definition at line 146 of file jsil_y.tab.h.

◆ TOK_PROCEDURE

#define TOK_PROCEDURE   260

Definition at line 119 of file jsil_y.tab.h.

◆ TOK_PROTO

#define TOK_PROTO   283

Definition at line 142 of file jsil_y.tab.h.

◆ TOK_PROTO_FIELD

#define TOK_PROTO_FIELD   272

Definition at line 131 of file jsil_y.tab.h.

◆ TOK_PROTO_OBJ

#define TOK_PROTO_OBJ   273

Definition at line 132 of file jsil_y.tab.h.

◆ TOK_REF

#define TOK_REF   274

Definition at line 133 of file jsil_y.tab.h.

◆ TOK_RETURNS

#define TOK_RETURNS   261

Definition at line 120 of file jsil_y.tab.h.

◆ TOK_SCANNER_ERROR

#define TOK_SCANNER_ERROR   258

Definition at line 117 of file jsil_y.tab.h.

◆ TOK_SCOPE

#define TOK_SCOPE   285

Definition at line 144 of file jsil_y.tab.h.

◆ TOK_SIGNED_RIGHT_SHIFT

#define TOK_SIGNED_RIGHT_SHIFT   311

Definition at line 170 of file jsil_y.tab.h.

◆ TOK_SKIP

#define TOK_SKIP   267

Definition at line 126 of file jsil_y.tab.h.

◆ TOK_SPEC_IDENTIFIER

#define TOK_SPEC_IDENTIFIER   319

Definition at line 178 of file jsil_y.tab.h.

◆ TOK_STRING

#define TOK_STRING   316

Definition at line 175 of file jsil_y.tab.h.

◆ TOK_STRING_TO_NUM

#define TOK_STRING_TO_NUM   291

Definition at line 150 of file jsil_y.tab.h.

◆ TOK_SUBTYPE_OF

#define TOK_SUBTYPE_OF   309

Definition at line 168 of file jsil_y.tab.h.

◆ TOK_T_BOOLEAN

#define TOK_T_BOOLEAN   298

Definition at line 157 of file jsil_y.tab.h.

◆ TOK_T_BUILTIN_OBJECT

#define TOK_T_BUILTIN_OBJECT   301

Definition at line 160 of file jsil_y.tab.h.

◆ TOK_T_NULL

#define TOK_T_NULL   296

Definition at line 155 of file jsil_y.tab.h.

◆ TOK_T_NUMBER

#define TOK_T_NUMBER   300

Definition at line 159 of file jsil_y.tab.h.

◆ TOK_T_OBJECT

#define TOK_T_OBJECT   303

Definition at line 162 of file jsil_y.tab.h.

◆ TOK_T_REFERENCE

#define TOK_T_REFERENCE   304

Definition at line 163 of file jsil_y.tab.h.

◆ TOK_T_STRING

#define TOK_T_STRING   299

Definition at line 158 of file jsil_y.tab.h.

◆ TOK_T_UNDEFINED

#define TOK_T_UNDEFINED   297

Definition at line 156 of file jsil_y.tab.h.

◆ TOK_T_USER_OBJECT

#define TOK_T_USER_OBJECT   302

Definition at line 161 of file jsil_y.tab.h.

◆ TOK_TARGETFUNCTION

#define TOK_TARGETFUNCTION   288

Definition at line 147 of file jsil_y.tab.h.

◆ TOK_THROWS

#define TOK_THROWS   263

Definition at line 122 of file jsil_y.tab.h.

◆ TOK_TO

#define TOK_TO   262

Definition at line 121 of file jsil_y.tab.h.

◆ TOK_TRUE

#define TOK_TRUE   281

Definition at line 140 of file jsil_y.tab.h.

◆ TOK_TYPEOF

#define TOK_TYPEOF   277

Definition at line 136 of file jsil_y.tab.h.

◆ TOK_UNDEFINED

#define TOK_UNDEFINED   279

Definition at line 138 of file jsil_y.tab.h.

◆ TOK_UNSIGNED_RIGHT_SHIFT

#define TOK_UNSIGNED_RIGHT_SHIFT   312

Definition at line 171 of file jsil_y.tab.h.

◆ TOK_VARIABLE_REFERENCE

#define TOK_VARIABLE_REFERENCE   295

Definition at line 154 of file jsil_y.tab.h.

◆ TOK_WITH

#define TOK_WITH   268

Definition at line 127 of file jsil_y.tab.h.

◆ YYDEBUG

#define YYDEBUG   0

Definition at line 41 of file jsil_y.tab.h.

◆ YYSTYPE_IS_DECLARED

#define YYSTYPE_IS_DECLARED   1

Definition at line 184 of file jsil_y.tab.h.

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

Definition at line 183 of file jsil_y.tab.h.

◆ YYTOKENTYPE

#define YYTOKENTYPE

Definition at line 49 of file jsil_y.tab.h.

Typedef Documentation

◆ YYSTYPE

typedef int YYSTYPE

Definition at line 182 of file jsil_y.tab.h.

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 50 of file jsil_y.tab.h.

Function Documentation

◆ yyjsilparse()

int yyjsilparse ( void  )

Definition at line 1401 of file jsil_y.tab.cpp.

Variable Documentation

◆ yyjsillval

YYSTYPE yyjsillval

Definition at line 1391 of file jsil_y.tab.cpp.