cprover
jsil_y.tab.cpp File Reference
#include "jsil_parser.h"
#include <util/std_expr.h>
#include <util/std_code.h>
#include <ansi-c/string_constant.h>
#include "jsil_y.tab.h"
#include <stddef.h>
Include dependency graph for jsil_y.tab.cpp:

Go to the source code of this file.

Classes

union  yyalloc
 

Macros

#define YYBISON   1
 
#define YYBISON_VERSION   "3.0.4"
 
#define YYSKELETON_NAME   "yacc.c"
 
#define YYPURE   0
 
#define YYPUSH   0
 
#define YYPULL   1
 
#define yyparse   yyjsilparse
 
#define yylex   yyjsillex
 
#define yyerror   yyjsilerror
 
#define yydebug   yyjsildebug
 
#define yynerrs   yyjsilnerrs
 
#define yylval   yyjsillval
 
#define yychar   yyjsilchar
 
#define PARSER   jsil_parser
 
#define YYSTYPE   unsigned
 
#define YYSTYPE_IS_TRIVIAL   1
 
#define YY_NULLPTR   0
 
#define YYERROR_VERBOSE   1
 
#define YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED
 
#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 YYSIZE_T   size_t
 
#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)
 
#define YY_(Msgid)   Msgid
 
#define YY_ATTRIBUTE(Spec)   /* empty */
 
#define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))
 
#define YY_ATTRIBUTE_UNUSED   YY_ATTRIBUTE ((__unused__))
 
#define _Noreturn   YY_ATTRIBUTE ((__noreturn__))
 
#define YYUSE(E)   ((void) (E))
 
#define YY_INITIAL_VALUE(Value)   Value
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
 
#define YYSTACK_ALLOC   YYMALLOC
 
#define YYSTACK_FREE   YYFREE
 
#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM
 
#define YYMALLOC   malloc
 
#define YYFREE   free
 
#define YYSTACK_GAP_MAXIMUM   (sizeof (union yyalloc) - 1)
 
#define YYSTACK_BYTES(N)
 
#define YYCOPY_NEEDED   1
 
#define YYSTACK_RELOCATE(Stack_alloc, Stack)
 
#define YYCOPY(Dst, Src, Count)
 
#define YYFINAL   10
 
#define YYLAST   858
 
#define YYNTOKENS   84
 
#define YYNNTS   28
 
#define YYNRULES   109
 
#define YYNSTATES   192
 
#define YYUNDEFTOK   2
 
#define YYMAXUTOK   319
 
#define YYTRANSLATE(YYX)   ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
 
#define YYPACT_NINF   -147
 
#define yypact_value_is_default(Yystate)   (!!((Yystate) == (-147)))
 
#define YYTABLE_NINF   -12
 
#define yytable_value_is_error(Yytable_value)   0
 
#define yyerrok   (yyerrstatus = 0)
 
#define yyclearin   (yychar = YYEMPTY)
 
#define YYEMPTY   (-2)
 
#define YYEOF   0
 
#define YYACCEPT   goto yyacceptlab
 
#define YYABORT   goto yyabortlab
 
#define YYERROR   goto yyerrorlab
 
#define YYRECOVERING()   (!!yyerrstatus)
 
#define YYBACKUP(Token, Value)
 
#define YYTERROR   1
 
#define YYERRCODE   256
 
#define YYDPRINTF(Args)
 
#define YY_SYMBOL_PRINT(Title, Type, Value, Location)
 
#define YY_STACK_PRINT(Bottom, Top)
 
#define YY_REDUCE_PRINT(Rule)
 
#define YYINITDEPTH   200
 
#define YYMAXDEPTH   10000
 
#define YYCASE_(N, S)
 
#define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N))
 
#define YYSYNTAX_ERROR
 

Typedefs

typedef unsigned char yytype_uint8
 
typedef signed char yytype_int8
 
typedef unsigned short int yytype_uint16
 
typedef short int yytype_int16
 

Functions

int yyjsillex ()
 The main scanner function which does all the work. More...
 
int yyjsilparse (void)
 
void * malloc (size_t)
 
void free (void *)
 
static size_t yystrlen (const char *yystr)
 
static char * yystpcpy (char *yydest, const char *yysrc)
 
static size_t yytnamerr (char *yyres, const char *yystr)
 
static int yysyntax_error (size_t *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken)
 
static void yydestruct (const char *yymsg, int yytype, unsigned *yyvaluep)
 

Variables

char * yyjsiltext
 
unsigned yyjsillval
 
static const yytype_uint8 yytranslate []
 
static const char *const yytname []
 
static const yytype_int16 yypact []
 
static const yytype_uint8 yydefact []
 
static const yytype_int16 yypgoto []
 
static const yytype_int16 yydefgoto []
 
static const yytype_int16 yytable []
 
static const yytype_int16 yycheck []
 
static const yytype_uint8 yystos []
 
static const yytype_uint8 yyr1 []
 
static const yytype_uint8 yyr2 []
 
int yyjsilchar
 
int yyjsilnerrs
 

Macro Definition Documentation

◆ _Noreturn

#define _Noreturn   YY_ATTRIBUTE ((__noreturn__))

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

◆ PARSER

#define PARSER   jsil_parser

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

Referenced by yyjsilparse().

◆ TOK_AND

#define TOK_AND   307

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

◆ TOK_BASE

#define TOK_BASE   276

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

◆ TOK_BUILTIN_IDENTIFIER

#define TOK_BUILTIN_IDENTIFIER   318

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

◆ TOK_BUILTIN_LOC

#define TOK_BUILTIN_LOC   317

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

◆ TOK_CLASS

#define TOK_CLASS   289

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

◆ TOK_CONSTRUCTID

#define TOK_CONSTRUCTID   286

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

◆ TOK_DEFEQ

#define TOK_DEFEQ   305

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

◆ TOK_DELETE

#define TOK_DELETE   271

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

◆ TOK_EMPTY

#define TOK_EMPTY   280

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

◆ TOK_EVAL

#define TOK_EVAL   264

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

◆ TOK_FALSE

#define TOK_FALSE   282

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

◆ TOK_FID

#define TOK_FID   284

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

◆ TOK_FIELD

#define TOK_FIELD   275

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

◆ TOK_FLOATING

#define TOK_FLOATING   315

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

◆ TOK_GOTO

#define TOK_GOTO   266

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

◆ TOK_HAS_FIELD

#define TOK_HAS_FIELD   270

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

◆ TOK_IDENTIFIER

#define TOK_IDENTIFIER   314

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

◆ TOK_LABEL

#define TOK_LABEL   265

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

◆ TOK_LEFT_SHIFT

#define TOK_LEFT_SHIFT   310

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

◆ TOK_LEQ

#define TOK_LEQ   306

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

◆ TOK_MEMBER_REFERENCE

#define TOK_MEMBER_REFERENCE   294

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

◆ TOK_NEW

#define TOK_NEW   269

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

◆ TOK_NEWLINE

#define TOK_NEWLINE   259

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

◆ TOK_NOT

#define TOK_NOT   313

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

◆ TOK_NULL

#define TOK_NULL   278

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

Referenced by yyjsillex(), and yyjsonlex().

◆ TOK_NUM_TO_INT32

#define TOK_NUM_TO_INT32   292

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

◆ TOK_NUM_TO_STRING

#define TOK_NUM_TO_STRING   290

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

◆ TOK_NUM_TO_UINT32

#define TOK_NUM_TO_UINT32   293

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

◆ TOK_OR

#define TOK_OR   308

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

◆ TOK_PRIMVALUE

#define TOK_PRIMVALUE   287

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

◆ TOK_PROCEDURE

#define TOK_PROCEDURE   260

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

◆ TOK_PROTO

#define TOK_PROTO   283

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

◆ TOK_PROTO_FIELD

#define TOK_PROTO_FIELD   272

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

◆ TOK_PROTO_OBJ

#define TOK_PROTO_OBJ   273

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

◆ TOK_REF

#define TOK_REF   274

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

◆ TOK_RETURNS

#define TOK_RETURNS   261

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

◆ TOK_SCANNER_ERROR

#define TOK_SCANNER_ERROR   258

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

◆ TOK_SCOPE

#define TOK_SCOPE   285

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

◆ TOK_SIGNED_RIGHT_SHIFT

#define TOK_SIGNED_RIGHT_SHIFT   311

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

◆ TOK_SKIP

#define TOK_SKIP   267

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

◆ TOK_SPEC_IDENTIFIER

#define TOK_SPEC_IDENTIFIER   319

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

◆ TOK_STRING

#define TOK_STRING   316

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

◆ TOK_STRING_TO_NUM

#define TOK_STRING_TO_NUM   291

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

◆ TOK_SUBTYPE_OF

#define TOK_SUBTYPE_OF   309

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

◆ TOK_T_BOOLEAN

#define TOK_T_BOOLEAN   298

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

◆ TOK_T_BUILTIN_OBJECT

#define TOK_T_BUILTIN_OBJECT   301

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

◆ TOK_T_NULL

#define TOK_T_NULL   296

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

◆ TOK_T_NUMBER

#define TOK_T_NUMBER   300

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

◆ TOK_T_OBJECT

#define TOK_T_OBJECT   303

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

◆ TOK_T_REFERENCE

#define TOK_T_REFERENCE   304

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

◆ TOK_T_STRING

#define TOK_T_STRING   299

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

◆ TOK_T_UNDEFINED

#define TOK_T_UNDEFINED   297

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

◆ TOK_T_USER_OBJECT

#define TOK_T_USER_OBJECT   302

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

◆ TOK_TARGETFUNCTION

#define TOK_TARGETFUNCTION   288

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

◆ TOK_THROWS

#define TOK_THROWS   263

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

◆ TOK_TO

#define TOK_TO   262

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

◆ TOK_TRUE

#define TOK_TRUE   281

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

◆ TOK_TYPEOF

#define TOK_TYPEOF   277

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

◆ TOK_UNDEFINED

#define TOK_UNDEFINED   279

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

◆ TOK_UNSIGNED_RIGHT_SHIFT

#define TOK_UNSIGNED_RIGHT_SHIFT   312

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

◆ TOK_VARIABLE_REFERENCE

#define TOK_VARIABLE_REFERENCE   295

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

◆ TOK_WITH

#define TOK_WITH   268

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

◆ YY_

#define YY_ (   Msgid)    Msgid

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ YY_ATTRIBUTE

#define YY_ATTRIBUTE (   Spec)    /* empty */

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

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))

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

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED   YY_ATTRIBUTE ((__unused__))

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

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

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

Referenced by yydestruct(), and yyjsilparse().

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

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

Referenced by yydestruct(), and yyjsilparse().

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE (   Value)    Value

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

◆ YY_NULLPTR

#define YY_NULLPTR   0

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

Referenced by yysyntax_error().

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT (   Rule)

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

Referenced by yyjsilparse().

◆ YY_STACK_PRINT

#define YY_STACK_PRINT (   Bottom,
  Top 
)

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

Referenced by yyjsilparse().

◆ YY_SYMBOL_PRINT

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

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

Referenced by yydestruct(), and yyjsilparse().

◆ YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED

#define YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED

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

◆ YYABORT

#define YYABORT   goto yyabortlab

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

Referenced by yyjsilparse().

◆ YYACCEPT

#define YYACCEPT   goto yyacceptlab

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

Referenced by yyjsilparse().

◆ 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)
#define yychar
Definition: jsil_y.tab.cpp:70
#define YYEMPTY
Definition: jsil_y.tab.cpp:962
#define YY_(Msgid)
Definition: jsil_y.tab.cpp:327

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

◆ YYBISON

#define YYBISON   1

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

◆ YYBISON_VERSION

#define YYBISON_VERSION   "3.0.4"

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

◆ YYCASE_

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

Referenced by yysyntax_error().

◆ yychar

#define yychar   yyjsilchar

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

Referenced by yyjsilparse().

◆ yyclearin

#define yyclearin   (yychar = YYEMPTY)

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

◆ YYCOPY

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

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

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED   1

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

◆ yydebug

#define yydebug   yyjsildebug

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

◆ YYDPRINTF

#define YYDPRINTF (   Args)

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

Referenced by yyjsilparse().

◆ YYEMPTY

#define YYEMPTY   (-2)

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ YYEOF

#define YYEOF   0

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

Referenced by yyjsilparse().

◆ YYERRCODE

#define YYERRCODE   256

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

◆ yyerrok

#define yyerrok   (yyerrstatus = 0)

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

◆ yyerror

#define yyerror   yyjsilerror

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

Referenced by yyjsilparse().

◆ YYERROR

#define YYERROR   goto yyerrorlab

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

◆ YYERROR_VERBOSE

#define YYERROR_VERBOSE   1

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

◆ YYFINAL

#define YYFINAL   10

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

Referenced by yyjsilparse().

◆ YYFREE

#define YYFREE   free

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

◆ YYINITDEPTH

#define YYINITDEPTH   200

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

Referenced by yyjsilparse().

◆ YYLAST

#define YYLAST   858

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ yylex

#define yylex   yyjsillex

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

Referenced by yyjsilparse().

◆ yylval

#define yylval   yyjsillval

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

Referenced by yyjsilparse().

◆ YYMALLOC

#define YYMALLOC   malloc

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

◆ YYMAXDEPTH

#define YYMAXDEPTH   10000

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

Referenced by yyjsilparse().

◆ YYMAXUTOK

#define YYMAXUTOK   319

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

◆ yynerrs

#define yynerrs   yyjsilnerrs

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

Referenced by yyjsilparse().

◆ YYNNTS

#define YYNNTS   28

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

◆ YYNRULES

#define YYNRULES   109

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

◆ YYNSTATES

#define YYNSTATES   192

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

◆ YYNTOKENS

#define YYNTOKENS   84

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ YYPACT_NINF

#define YYPACT_NINF   -147

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

◆ yypact_value_is_default

#define yypact_value_is_default (   Yystate)    (!!((Yystate) == (-147)))

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ yyparse

#define yyparse   yyjsilparse

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

◆ YYPOPSTACK

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

Referenced by yyjsilparse().

◆ YYPULL

#define YYPULL   1

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

◆ YYPURE

#define YYPURE   0

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

◆ YYPUSH

#define YYPUSH   0

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

◆ YYRECOVERING

#define YYRECOVERING ( )    (!!yyerrstatus)

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

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)

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

◆ YYSIZE_T

#define YYSIZE_T   size_t

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

Referenced by yyjsilparse(), yystrlen(), yysyntax_error(), and yytnamerr().

◆ YYSKELETON_NAME

#define YYSKELETON_NAME   "yacc.c"

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

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC   YYMALLOC

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

Referenced by yyjsilparse().

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

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

Referenced by yysyntax_error().

◆ YYSTACK_BYTES

#define YYSTACK_BYTES (   N)
Value:
((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \
short int yytype_int16
#define YYSTACK_GAP_MAXIMUM
Definition: jsil_y.tab.cpp:465
#define YYSTYPE
Definition: jsil_y.tab.cpp:84

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

Referenced by yyjsilparse().

◆ YYSTACK_FREE

#define YYSTACK_FREE   YYFREE

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

Referenced by yyjsilparse().

◆ YYSTACK_GAP_MAXIMUM

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

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

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE (   Stack_alloc,
  Stack 
)
Value:
do \
{ \
YYSIZE_T yynewbytes; \
YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
Stack = &yyptr->Stack_alloc; \
yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
yyptr += yynewbytes / sizeof (*yyptr); \
} \
while (0)
#define YYSTACK_GAP_MAXIMUM
Definition: jsil_y.tab.cpp:465

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

Referenced by yyjsilparse().

◆ YYSTYPE

#define YYSTYPE   unsigned

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

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

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

◆ YYSYNTAX_ERROR

#define YYSYNTAX_ERROR
Value:
yysyntax_error (&yymsg_alloc, &yymsg, \
yyssp, yytoken)
static int yysyntax_error(size_t *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken)

Referenced by yyansi_cparse(), yyjsilparse(), and yyjsonparse().

◆ YYTABLE_NINF

#define YYTABLE_NINF   -12

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

◆ yytable_value_is_error

#define yytable_value_is_error (   Yytable_value)    0

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ YYTERROR

#define YYTERROR   1

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ YYTRANSLATE

#define YYTRANSLATE (   YYX)    ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

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

Referenced by yyjsilparse().

◆ YYUNDEFTOK

#define YYUNDEFTOK   2

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

◆ YYUSE

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

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

Referenced by yydestruct().

Typedef Documentation

◆ yytype_int16

typedef short int yytype_int16

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

◆ yytype_int8

typedef signed char yytype_int8

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

◆ yytype_uint16

typedef unsigned short int yytype_uint16

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

◆ yytype_uint8

typedef unsigned char yytype_uint8

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

Function Documentation

◆ free()

void free ( void *  )

◆ malloc()

void* malloc ( size_t  )

◆ yydestruct()

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

◆ yyjsillex()

int yyjsillex ( )

The main scanner function which does all the work.

Definition at line 1496 of file jsil_lex.yy.cpp.

References BEGIN, COMMENT, convert_float_literal(), convert_string_literal(), ECHO, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, GRAMMAR, INITIAL, loc, make_identifier(), newstack, PARSER, stack, STATEMENTS, STRING_LITERAL, STRING_LITERAL_COMMENT, TOK_AND, TOK_BASE, TOK_BUILTIN_IDENTIFIER, TOK_BUILTIN_LOC, TOK_CLASS, TOK_CONSTRUCTID, TOK_DEFEQ, TOK_DELETE, TOK_EMPTY, TOK_EVAL, TOK_FALSE, TOK_FID, TOK_FIELD, TOK_FLOATING, TOK_GOTO, TOK_HAS_FIELD, TOK_LABEL, TOK_LEFT_SHIFT, TOK_LEQ, TOK_MEMBER_REFERENCE, TOK_NEW, TOK_NEWLINE, TOK_NOT, TOK_NULL, TOK_NUM_TO_INT32, TOK_NUM_TO_STRING, TOK_NUM_TO_UINT32, TOK_OR, TOK_PRIMVALUE, TOK_PROCEDURE, TOK_PROTO, TOK_PROTO_FIELD, TOK_PROTO_OBJ, TOK_REF, TOK_RETURNS, TOK_SCANNER_ERROR, TOK_SCOPE, TOK_SIGNED_RIGHT_SHIFT, TOK_SKIP, TOK_SPEC_IDENTIFIER, TOK_STRING, TOK_STRING_TO_NUM, TOK_SUBTYPE_OF, TOK_T_BOOLEAN, TOK_T_BUILTIN_OBJECT, TOK_T_NULL, TOK_T_NUMBER, TOK_T_OBJECT, TOK_T_REFERENCE, TOK_T_STRING, TOK_T_UNDEFINED, TOK_T_USER_OBJECT, TOK_TARGETFUNCTION, TOK_THROWS, TOK_TO, TOK_TRUE, TOK_TYPEOF, TOK_UNDEFINED, TOK_UNSIGNED_RIGHT_SHIFT, TOK_VARIABLE_REFERENCE, TOK_WITH, yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, yy_pop_state(), yy_push_state(), YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_top_state(), yy_try_NUL_trans(), yyjsil_create_buffer(), yyjsil_load_buffer_state(), yyjsilensure_buffer_stack(), yyjsilerror(), yyjsilin, yyjsillval, yyjsilout, yyjsiltext, yyjsilwrap(), yyless, yyterminate, and yytext_ptr.

◆ yyjsilparse()

◆ yystpcpy()

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

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

Referenced by yytnamerr().

◆ yystrlen()

static size_t yystrlen ( const char *  yystr)
static

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

References YYSIZE_T.

Referenced by yysyntax_error(), and yytnamerr().

◆ yysyntax_error()

static int yysyntax_error ( size_t *  yymsg_alloc,
char **  yymsg,
yytype_int16 yyssp,
int  yytoken 
)
static

◆ yytnamerr()

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

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

References YYSIZE_T, yystpcpy(), and yystrlen().

Referenced by yysyntax_error().

Variable Documentation

◆ yycheck

const yytype_int16 yycheck[]
static

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ yydefact

const yytype_uint8 yydefact[]
static
Initial value:
=
{
0, 0, 0, 2, 3, 7, 6, 8, 9, 0,
1, 4, 12, 14, 0, 13, 0, 0, 0, 15,
0, 0, 0, 0, 0, 0, 0, 16, 20, 0,
0, 25, 0, 0, 0, 17, 18, 0, 22, 23,
0, 0, 0, 0, 0, 0, 52, 53, 54, 55,
56, 62, 63, 64, 65, 66, 67, 68, 93, 94,
95, 96, 108, 109, 98, 99, 100, 101, 102, 103,
104, 105, 107, 91, 51, 57, 58, 59, 0, 92,
97, 0, 42, 44, 61, 0, 60, 106, 5, 19,
21, 0, 0, 0, 0, 0, 0, 51, 58, 0,
10, 0, 26, 28, 0, 0, 0, 0, 0, 75,
81, 82, 83, 88, 89, 90, 0, 73, 74, 76,
77, 78, 79, 80, 84, 85, 86, 87, 0, 69,
70, 71, 72, 45, 0, 0, 0, 0, 0, 0,
0, 38, 0, 0, 0, 0, 46, 0, 43, 0,
30, 0, 0, 0, 0, 0, 0, 39, 40, 0,
48, 49, 50, 0, 0, 0, 0, 0, 0, 0,
36, 0, 0, 0, 24, 0, 0, 0, 0, 32,
0, 29, 41, 0, 27, 31, 33, 34, 35, 37,
0, 47
}

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

Referenced by yyjsilparse().

◆ yydefgoto

const yytype_int16 yydefgoto[]
static
Initial value:
=
{
-1, 2, 3, 4, 9, 101, 14, 15, 34, 35,
36, 37, 102, 181, 156, 157, 81, 82, 83, 84,
128, 129, 130, 131, 132, 85, 86, 87
}

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

Referenced by yyjsilparse().

◆ yyjsilchar

int yyjsilchar

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

◆ yyjsillval

unsigned yyjsillval

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

Referenced by make_identifier(), and yyjsillex().

◆ yyjsilnerrs

int yyjsilnerrs

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

◆ yyjsiltext

char* yyjsiltext

◆ yypact

const yytype_int16 yypact[]
static
Initial value:
=
{
0, -3, 7, 0, -147, -147, -147, -147, -147, -52,
-147, -147, -45, -147, -50, -51, 11, -39, -38, -147,
12, -37, 15, -35, 18, -33, -36, -2, -147, -32,
-55, -147, -22, 185, -34, -2, -147, 25, -147, -147,
185, 120, -30, -29, -26, -25, -147, -147, -147, -147,
-147, -147, -147, -147, -147, -147, -147, -147, -147, -147,
-147, -147, -147, -147, -147, -147, -147, -147, -147, -147,
-147, -147, -147, -147, -147, -147, -147, -147, 185, -147,
-147, 31, -147, -147, -147, 185, -147, -147, -147, -147,
-147, 200, -24, -23, -21, -20, -18, -17, -16, 185,
-147, -15, -147, 776, 185, 185, 185, 185, 232, -147,
-147, -147, -147, -147, -147, -147, 185, -147, -147, -147,
-147, -147, -147, -147, -147, -147, -147, -147, 185, -147,
-147, -147, -147, -147, -27, -14, 185, 185, 185, 185,
264, 185, 296, 328, 360, 392, -147, 424, -147, -11,
-147, 456, 488, 520, 552, 185, -13, -7, 776, 185,
-147, -147, -147, 1, -5, 185, 185, 185, 185, 584,
17, 185, 616, 185, -147, 648, 680, 712, 744, -147,
-4, -147, 776, -28, 776, -147, -147, -147, -147, -147,
3, -147
}

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ yypgoto

const yytype_int16 yypgoto[]
static
Initial value:
=
{
-147, -147, -147, 30, 2, -147, -147, -147, -147, -147,
28, -147, -147, -147, -147, -147, -40, -82, -147, -147,
-147, -147, -147, -147, -147, -147, -147, -146
}

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

Referenced by yyjsilparse().

◆ yyr1

const yytype_uint8 yyr1[]
static
Initial value:
=
{
0, 84, 85, 86, 86, 87, 88, 88, 88, 88,
89, 89, 90, 90, 91, 91, 92, 92, 93, 93,
94, 94, 95, 95, 95, 95, 95, 95, 96, 96,
96, 96, 96, 96, 96, 96, 97, 97, 98, 98,
99, 99, 100, 100, 101, 101, 101, 101, 101, 101,
101, 102, 102, 102, 102, 102, 102, 102, 102, 102,
102, 102, 103, 103, 103, 103, 103, 103, 103, 104,
104, 104, 104, 105, 105, 105, 106, 106, 106, 106,
106, 107, 107, 107, 107, 108, 108, 108, 108, 108,
108, 109, 109, 109, 109, 109, 109, 109, 110, 110,
110, 110, 110, 110, 110, 110, 110, 110, 111, 111
}

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

Referenced by yyjsilparse().

◆ yyr2

const yytype_uint8 yyr2[]
static
Initial value:
=
{
0, 2, 1, 1, 2, 16, 1, 1, 1, 1,
1, 1, 0, 1, 1, 3, 0, 1, 1, 2,
1, 2, 2, 2, 7, 1, 3, 7, 1, 5,
3, 6, 5, 6, 6, 6, 0, 2, 0, 1,
1, 3, 1, 3, 1, 2, 3, 8, 4, 4,
4, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1
}

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

Referenced by yyjsilparse().

◆ yystos

const yytype_uint8 yystos[]
static
Initial value:
=
{
0, 5, 85, 86, 87, 9, 59, 63, 64, 88,
0, 87, 65, 59, 90, 91, 66, 69, 6, 59,
59, 7, 59, 8, 59, 7, 59, 67, 4, 10,
11, 12, 59, 70, 92, 93, 94, 95, 59, 59,
70, 50, 19, 20, 21, 22, 23, 24, 25, 26,
27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
47, 48, 49, 58, 59, 60, 61, 62, 65, 75,
83, 100, 101, 102, 103, 109, 110, 111, 68, 94,
4, 100, 14, 15, 16, 17, 18, 59, 61, 70,
88, 89, 96, 100, 65, 65, 65, 65, 100, 51,
52, 53, 54, 55, 56, 57, 69, 72, 73, 74,
75, 76, 77, 78, 79, 80, 81, 82, 104, 105,
106, 107, 108, 101, 71, 65, 65, 65, 65, 65,
100, 65, 100, 100, 100, 100, 66, 100, 101, 59,
66, 100, 100, 100, 100, 69, 98, 99, 100, 69,
66, 66, 66, 71, 69, 69, 69, 69, 69, 100,
66, 69, 100, 50, 59, 100, 100, 100, 100, 71,
13, 97, 100, 69, 100, 66, 66, 66, 66, 59,
111, 66
}

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

Referenced by yyjsilparse().

◆ yytable

const yytype_int16 yytable[]
static

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

Referenced by yyjsilparse(), and yysyntax_error().

◆ yytname

const char* const yytname[]
static
Initial value:
=
{
"$end", "error", "$undefined", "TOK_SCANNER_ERROR", "\"<newline>\"",
"\"procedure\"", "\"returns\"", "\"to\"", "\"throws\"", "\"eval\"",
"\"label\"", "\"goto\"", "\"skip\"", "\"with\"", "\"new\"",
"\"hasField\"", "\"delete\"", "\"protoField\"", "\"protoObj\"",
"\"ref\"", "\"field\"", "\"base\"", "\"typeOf\"", "\"null\"",
"\"#undefined\"", "\"#empty\"", "\"true\"", "\"false\"", "\"#proto\"",
"\"#fid\"", "\"#scope\"", "\"#constructid\"", "\"#primvalue\"",
"\"#targetfunction\"", "\"#class\"", "\"num_to_string\"",
"\"string_to_num\"", "\"num_to_int32\"", "\"num_to_uint32\"",
"\"#MemberReference\"", "\"#VariableReference\"", "\"#Null\"",
"\"#Undefined\"", "\"#Boolean\"", "\"#String\"", "\"#Number\"",
"\"#BuiltinObject\"", "\"#UserObject\"", "\"#Object\"", "\"#Reference\"",
"\":=\"", "\"<=\"", "\"and\"", "\"or\"", "\"<:\"", "\"<<\"", "\">>\"",
"\">>>\"", "\"not\"", "TOK_IDENTIFIER", "TOK_FLOATING", "TOK_STRING",
"TOK_BUILTIN_LOC", "TOK_BUILTIN_IDENTIFIER", "TOK_SPEC_IDENTIFIER",
"'('", "')'", "'{'", "'}'", "','", "'['", "']'", "'='", "'<'", "'+'",
"'-'", "'*'", "'/'", "'%'", "':'", "'&'", "'|'", "'^'", "'!'", "$accept",
"program", "procedure_decls", "procedure_decl", "proc_ident",
"proc_ident_expr", "parameters_opt", "parameters", "statements_opt",
"statements", "statement", "instruction", "rhs", "with_opt",
"expressions_opt", "expressions", "expression", "atom_expression",
"literal", "builtin_field", "binary_op", "compare_op", "arithmetic_op",
"boolean_op", "bitwise_op", "unary_op", "jsil_type", "ref_type", 0
}

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

Referenced by yysyntax_error().

◆ yytranslate

const yytype_uint8 yytranslate[]
static

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