cprover
|
#include "jsil_parser.h"
#include <util/std_expr.h>
#include <util/std_code.h>
#include <util/string_constant.h>
#include "jsil_y.tab.h"
#include <stddef.h>
Go to the source code of this file.
Classes | |
union | yyalloc |
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "3.0.5" |
#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 |
#define _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
Definition at line 353 of file jsil_y.tab.cpp.
#define PARSER jsil_parser |
Definition at line 77 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define TOK_AND 307 |
Definition at line 243 of file jsil_y.tab.cpp.
#define TOK_BASE 276 |
Definition at line 212 of file jsil_y.tab.cpp.
#define TOK_BUILTIN_IDENTIFIER 318 |
Definition at line 254 of file jsil_y.tab.cpp.
#define TOK_BUILTIN_LOC 317 |
Definition at line 253 of file jsil_y.tab.cpp.
#define TOK_CLASS 289 |
Definition at line 225 of file jsil_y.tab.cpp.
#define TOK_CONSTRUCTID 286 |
Definition at line 222 of file jsil_y.tab.cpp.
#define TOK_DEFEQ 305 |
Definition at line 241 of file jsil_y.tab.cpp.
#define TOK_DELETE 271 |
Definition at line 207 of file jsil_y.tab.cpp.
#define TOK_EMPTY 280 |
Definition at line 216 of file jsil_y.tab.cpp.
#define TOK_EVAL 264 |
Definition at line 200 of file jsil_y.tab.cpp.
#define TOK_FALSE 282 |
Definition at line 218 of file jsil_y.tab.cpp.
#define TOK_FID 284 |
Definition at line 220 of file jsil_y.tab.cpp.
#define TOK_FIELD 275 |
Definition at line 211 of file jsil_y.tab.cpp.
#define TOK_FLOATING 315 |
Definition at line 251 of file jsil_y.tab.cpp.
#define TOK_GOTO 266 |
Definition at line 202 of file jsil_y.tab.cpp.
#define TOK_HAS_FIELD 270 |
Definition at line 206 of file jsil_y.tab.cpp.
#define TOK_IDENTIFIER 314 |
Definition at line 250 of file jsil_y.tab.cpp.
#define TOK_LABEL 265 |
Definition at line 201 of file jsil_y.tab.cpp.
#define TOK_LEFT_SHIFT 310 |
Definition at line 246 of file jsil_y.tab.cpp.
#define TOK_LEQ 306 |
Definition at line 242 of file jsil_y.tab.cpp.
#define TOK_MEMBER_REFERENCE 294 |
Definition at line 230 of file jsil_y.tab.cpp.
#define TOK_NEW 269 |
Definition at line 205 of file jsil_y.tab.cpp.
#define TOK_NEWLINE 259 |
Definition at line 195 of file jsil_y.tab.cpp.
#define TOK_NOT 313 |
Definition at line 249 of file jsil_y.tab.cpp.
#define TOK_NULL 278 |
Definition at line 214 of file jsil_y.tab.cpp.
Referenced by yyjsillex(), and yyjsonlex().
#define TOK_NUM_TO_INT32 292 |
Definition at line 228 of file jsil_y.tab.cpp.
#define TOK_NUM_TO_STRING 290 |
Definition at line 226 of file jsil_y.tab.cpp.
#define TOK_NUM_TO_UINT32 293 |
Definition at line 229 of file jsil_y.tab.cpp.
#define TOK_OR 308 |
Definition at line 244 of file jsil_y.tab.cpp.
#define TOK_PRIMVALUE 287 |
Definition at line 223 of file jsil_y.tab.cpp.
#define TOK_PROCEDURE 260 |
Definition at line 196 of file jsil_y.tab.cpp.
#define TOK_PROTO 283 |
Definition at line 219 of file jsil_y.tab.cpp.
#define TOK_PROTO_FIELD 272 |
Definition at line 208 of file jsil_y.tab.cpp.
#define TOK_PROTO_OBJ 273 |
Definition at line 209 of file jsil_y.tab.cpp.
#define TOK_REF 274 |
Definition at line 210 of file jsil_y.tab.cpp.
#define TOK_RETURNS 261 |
Definition at line 197 of file jsil_y.tab.cpp.
#define TOK_SCANNER_ERROR 258 |
Definition at line 194 of file jsil_y.tab.cpp.
#define TOK_SCOPE 285 |
Definition at line 221 of file jsil_y.tab.cpp.
#define TOK_SIGNED_RIGHT_SHIFT 311 |
Definition at line 247 of file jsil_y.tab.cpp.
#define TOK_SKIP 267 |
Definition at line 203 of file jsil_y.tab.cpp.
#define TOK_SPEC_IDENTIFIER 319 |
Definition at line 255 of file jsil_y.tab.cpp.
#define TOK_STRING 316 |
Definition at line 252 of file jsil_y.tab.cpp.
#define TOK_STRING_TO_NUM 291 |
Definition at line 227 of file jsil_y.tab.cpp.
#define TOK_SUBTYPE_OF 309 |
Definition at line 245 of file jsil_y.tab.cpp.
#define TOK_T_BOOLEAN 298 |
Definition at line 234 of file jsil_y.tab.cpp.
#define TOK_T_BUILTIN_OBJECT 301 |
Definition at line 237 of file jsil_y.tab.cpp.
#define TOK_T_NULL 296 |
Definition at line 232 of file jsil_y.tab.cpp.
#define TOK_T_NUMBER 300 |
Definition at line 236 of file jsil_y.tab.cpp.
#define TOK_T_OBJECT 303 |
Definition at line 239 of file jsil_y.tab.cpp.
#define TOK_T_REFERENCE 304 |
Definition at line 240 of file jsil_y.tab.cpp.
#define TOK_T_STRING 299 |
Definition at line 235 of file jsil_y.tab.cpp.
#define TOK_T_UNDEFINED 297 |
Definition at line 233 of file jsil_y.tab.cpp.
#define TOK_T_USER_OBJECT 302 |
Definition at line 238 of file jsil_y.tab.cpp.
#define TOK_TARGETFUNCTION 288 |
Definition at line 224 of file jsil_y.tab.cpp.
#define TOK_THROWS 263 |
Definition at line 199 of file jsil_y.tab.cpp.
#define TOK_TO 262 |
Definition at line 198 of file jsil_y.tab.cpp.
#define TOK_TRUE 281 |
Definition at line 217 of file jsil_y.tab.cpp.
#define TOK_TYPEOF 277 |
Definition at line 213 of file jsil_y.tab.cpp.
#define TOK_UNDEFINED 279 |
Definition at line 215 of file jsil_y.tab.cpp.
#define TOK_UNSIGNED_RIGHT_SHIFT 312 |
Definition at line 248 of file jsil_y.tab.cpp.
#define TOK_VARIABLE_REFERENCE 295 |
Definition at line 231 of file jsil_y.tab.cpp.
#define TOK_WITH 268 |
Definition at line 204 of file jsil_y.tab.cpp.
#define YY_ | ( | Msgid | ) | Msgid |
Definition at line 326 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define YY_ATTRIBUTE | ( | Spec | ) | /* empty */ |
Definition at line 336 of file jsil_y.tab.cpp.
#define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
Definition at line 341 of file jsil_y.tab.cpp.
#define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
Definition at line 345 of file jsil_y.tab.cpp.
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Definition at line 376 of file jsil_y.tab.cpp.
Referenced by yydestruct(), and yyjsilparse().
#define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 377 of file jsil_y.tab.cpp.
Referenced by yydestruct(), and yyjsilparse().
#define YY_INITIAL_VALUE | ( | Value | ) | Value |
Definition at line 373 of file jsil_y.tab.cpp.
#define YY_NULLPTR 0 |
Definition at line 100 of file jsil_y.tab.cpp.
Referenced by yysyntax_error().
#define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 1120 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Definition at line 1119 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YY_SYMBOL_PRINT | ( | Title, | |
Type, | |||
Value, | |||
Location | |||
) |
Definition at line 1118 of file jsil_y.tab.cpp.
Referenced by yydestruct(), and yyjsilparse().
#define YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED |
Definition at line 115 of file jsil_y.tab.cpp.
#define YYABORT goto yyabortlab |
Definition at line 965 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYACCEPT goto yyacceptlab |
Definition at line 964 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYBACKUP | ( | Token, | |
Value | |||
) |
Definition at line 971 of file jsil_y.tab.cpp.
#define YYBISON 1 |
Definition at line 44 of file jsil_y.tab.cpp.
#define YYBISON_VERSION "3.0.5" |
Definition at line 47 of file jsil_y.tab.cpp.
#define YYCASE_ | ( | N, | |
S | |||
) |
Referenced by yysyntax_error().
#define yychar yyjsilchar |
Definition at line 70 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
Definition at line 960 of file jsil_y.tab.cpp.
#define YYCOPY | ( | Dst, | |
Src, | |||
Count | |||
) |
Definition at line 500 of file jsil_y.tab.cpp.
#define YYCOPY_NEEDED 1 |
Definition at line 472 of file jsil_y.tab.cpp.
#define yydebug yyjsildebug |
Definition at line 66 of file jsil_y.tab.cpp.
#define YYDPRINTF | ( | Args | ) |
Definition at line 1117 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYEMPTY (-2) |
Definition at line 961 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define YYEOF 0 |
Definition at line 962 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYERRCODE 256 |
Definition at line 990 of file jsil_y.tab.cpp.
#define yyerrok (yyerrstatus = 0) |
Definition at line 959 of file jsil_y.tab.cpp.
#define yyerror yyjsilerror |
Definition at line 65 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYERROR goto yyerrorlab |
Definition at line 966 of file jsil_y.tab.cpp.
#define YYERROR_VERBOSE 1 |
Definition at line 109 of file jsil_y.tab.cpp.
#define YYFINAL 10 |
Definition at line 513 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYFREE free |
Definition at line 443 of file jsil_y.tab.cpp.
#define YYINITDEPTH 200 |
Definition at line 1126 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYLAST 858 |
Definition at line 515 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define yylex yyjsillex |
Definition at line 64 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define yylval yyjsillval |
Definition at line 69 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYMALLOC malloc |
Definition at line 437 of file jsil_y.tab.cpp.
#define YYMAXDEPTH 10000 |
Definition at line 1137 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYMAXUTOK 319 |
Definition at line 529 of file jsil_y.tab.cpp.
#define yynerrs yyjsilnerrs |
Definition at line 67 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYNNTS 28 |
Definition at line 520 of file jsil_y.tab.cpp.
#define YYNRULES 109 |
Definition at line 522 of file jsil_y.tab.cpp.
#define YYNSTATES 192 |
Definition at line 524 of file jsil_y.tab.cpp.
#define YYNTOKENS 84 |
Definition at line 518 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define YYPACT_NINF -147 |
Definition at line 638 of file jsil_y.tab.cpp.
#define yypact_value_is_default | ( | Yystate | ) | (!!((Yystate) == (-147))) |
Definition at line 640 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define yyparse yyjsilparse |
Definition at line 63 of file jsil_y.tab.cpp.
#define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
Referenced by yyjsilparse().
#define YYPULL 1 |
Definition at line 59 of file jsil_y.tab.cpp.
#define YYPURE 0 |
Definition at line 53 of file jsil_y.tab.cpp.
#define YYPUSH 0 |
Definition at line 56 of file jsil_y.tab.cpp.
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 969 of file jsil_y.tab.cpp.
#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
Definition at line 316 of file jsil_y.tab.cpp.
#define YYSIZE_T size_t |
Definition at line 310 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), yystrlen(), yysyntax_error(), and yytnamerr().
#define YYSKELETON_NAME "yacc.c" |
Definition at line 50 of file jsil_y.tab.cpp.
#define YYSTACK_ALLOC YYMALLOC |
Definition at line 423 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 426 of file jsil_y.tab.cpp.
Referenced by yysyntax_error().
#define YYSTACK_BYTES | ( | N | ) |
#define YYSTACK_FREE YYFREE |
Definition at line 424 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
Definition at line 464 of file jsil_y.tab.cpp.
#define YYSTACK_RELOCATE | ( | Stack_alloc, | |
Stack | |||
) |
Definition at line 479 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYSTYPE unsigned |
Definition at line 84 of file jsil_y.tab.cpp.
#define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 85 of file jsil_y.tab.cpp.
#define YYSYNTAX_ERROR |
Referenced by yyansi_cparse(), yyjsilparse(), and yyjsonparse().
#define YYTABLE_NINF -12 |
Definition at line 643 of file jsil_y.tab.cpp.
#define yytable_value_is_error | ( | Yytable_value | ) | 0 |
Definition at line 645 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define YYTERROR 1 |
Definition at line 989 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
#define YYTRANSLATE | ( | YYX | ) | ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Definition at line 531 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
#define YYUNDEFTOK 2 |
Definition at line 528 of file jsil_y.tab.cpp.
#define YYUSE | ( | E | ) | ((void) (E)) |
Definition at line 359 of file jsil_y.tab.cpp.
Referenced by yydestruct().
typedef short int yytype_int16 |
Definition at line 300 of file jsil_y.tab.cpp.
typedef signed char yytype_int8 |
Definition at line 288 of file jsil_y.tab.cpp.
typedef unsigned short int yytype_uint16 |
Definition at line 294 of file jsil_y.tab.cpp.
typedef unsigned char yytype_uint8 |
Definition at line 282 of file jsil_y.tab.cpp.
void free | ( | void * | ) |
void* malloc | ( | size_t | ) |
|
static |
Definition at line 1369 of file jsil_y.tab.cpp.
References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.
Referenced by yyjsilparse().
int yyjsillex | ( | ) |
The main scanner function which does all the work.
Definition at line 1722 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_create_buffer, 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_load_buffer_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(), yyensure_buffer_stack, yyin, yyjsilerror(), yyjsillval, yyless, yyout, yyterminate, yytext, yytext_ptr, and yywrap.
int yyjsilparse | ( | void | ) |
Definition at line 1398 of file jsil_y.tab.cpp.
References jsil_declarationt::add_declarator(), jsil_declarationt::add_returns(), jsil_declarationt::add_throws(), jsil_declarationt::add_value(), side_effect_expr_function_callt::arguments(), code_ifthenelset::cond(), code_ifthenelset::else_case(), forall_operands, side_effect_expr_function_callt::function(), symbol_exprt::get_identifier(), exprt::move_to_operands(), newstack, code_typet::parameters(), PARSER, code_typet::parametert::set_identifier(), codet::set_statement(), stack, irept::swap(), code_ifthenelset::then_case(), to_code(), to_code_block(), to_string_constant(), to_symbol_expr(), exprt::type(), YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, yyalloc::yyss_alloc, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, YYTRANSLATE, and yyalloc::yyvs_alloc.
Referenced by jsil_parsert::parse().
|
static |
Definition at line 1166 of file jsil_y.tab.cpp.
Referenced by yytnamerr().
|
static |
Definition at line 1149 of file jsil_y.tab.cpp.
References YYSIZE_T.
Referenced by yysyntax_error(), and yytnamerr().
|
static |
Definition at line 1236 of file jsil_y.tab.cpp.
References YY_, YY_NULLPTR, YYCASE_, yycheck, YYEMPTY, YYLAST, YYNTOKENS, yypact, yypact_value_is_default, YYSIZE_T, YYSTACK_ALLOC_MAXIMUM, yystrlen(), yytable, yytable_value_is_error, YYTERROR, yytname, and yytnamerr().
|
static |
Definition at line 1188 of file jsil_y.tab.cpp.
References YYSIZE_T, yystpcpy(), and yystrlen().
Referenced by yysyntax_error().
|
static |
Definition at line 810 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
|
static |
Definition at line 677 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
|
static |
Definition at line 710 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
int yyjsilchar |
Definition at line 1385 of file jsil_y.tab.cpp.
unsigned yyjsillval |
Definition at line 1388 of file jsil_y.tab.cpp.
Referenced by make_identifier(), and yyjsillex().
int yyjsilnerrs |
Definition at line 1390 of file jsil_y.tab.cpp.
char* yyjsiltext |
|
static |
Definition at line 650 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
|
static |
Definition at line 702 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
|
static |
Definition at line 927 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
|
static |
Definition at line 943 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
|
static |
Definition at line 902 of file jsil_y.tab.cpp.
Referenced by yyjsilparse().
|
static |
Definition at line 720 of file jsil_y.tab.cpp.
Referenced by yyjsilparse(), and yysyntax_error().
|
static |
Definition at line 593 of file jsil_y.tab.cpp.
Referenced by yysyntax_error().
|
static |
Definition at line 536 of file jsil_y.tab.cpp.