---

llgrammar.tab.c File Reference

#include "lclintMacros.nf"
#include "llbasic.h"
#include "lclscan.h"
#include "checking.h"
#include "lslparse.h"
#include "lh.h"
#include "usymtab_interface.h"
#include <stdio.h>
#include "bison.reset"

Go to the source code of this file.

Compounds
union	YYSTYPE
Defines
#define	YYBISON   1
#define	yyparse   ylparse
#define	yylex   yllex
#define	yyerror   ylerror
#define	yylval   yllval
#define	yychar   ylchar
#define	yydebug   yldebug
#define	yynerrs   ylnerrs
#define	simpleOp   257
#define	PREFIX_OP   258
#define	POSTFIX_OP   259
#define	LLT_MULOP   260
#define	LLT_SEMI   261
#define	LLT_VERTICALBAR   262
#define	ITERATION_OP   263
#define	LLT_LPAR   264
#define	LLT_LBRACKET   265
#define	selectSym   266
#define	LLT_IF_THEN_ELSE   267
#define	logicalOp   268
#define	eqSepSym   269
#define	equationSym   270
#define	commentSym   271
#define	LLT_WHITESPACE   272
#define	LLT_EOL   273
#define	LLT_TYPEDEF_NAME   274
#define	quantifierSym   275
#define	openSym   276
#define	closeSym   277
#define	sepSym   278
#define	simpleId   279
#define	mapSym   280
#define	markerSym   281
#define	preSym   282
#define	postSym   283
#define	anySym   284
#define	LLT_COLON   285
#define	LLT_COMMA   286
#define	LLT_EQUALS   287
#define	LLT_LBRACE   288
#define	LLT_RBRACE   289
#define	LLT_RBRACKET   290
#define	LLT_RPAR   291
#define	LLT_QUOTE   292
#define	eqOp   293
#define	LLT_CCHAR   294
#define	LLT_CFLOAT   295
#define	LLT_CINTEGER   296
#define	LLT_LCSTRING   297
#define	LLT_ALL   298
#define	LLT_ANYTHING   299
#define	LLT_BE   300
#define	LLT_BODY   301
#define	LLT_CLAIMS   302
#define	LLT_CHECKS   303
#define	LLT_CONSTANT   304
#define	LLT_ELSE   305
#define	LLT_ENSURES   306
#define	LLT_FOR   307
#define	LLT_FRESH   308
#define	LLT_IF   309
#define	LLT_IMMUTABLE   310
#define	LLT_IMPORTS   311
#define	LLT_CONSTRAINT   312
#define	LLT_ISSUB   313
#define	LLT_LET   314
#define	LLT_MODIFIES   315
#define	LLT_MUTABLE   316
#define	LLT_NOTHING   317
#define	LLT_INTERNAL   318
#define	LLT_FILESYS   319
#define	LLT_OBJ   320
#define	LLT_OUT   321
#define	LLT_SEF   322
#define	LLT_ONLY   323
#define	LLT_PARTIAL   324
#define	LLT_OWNED   325
#define	LLT_DEPENDENT   326
#define	LLT_KEEP   327
#define	LLT_KEPT   328
#define	LLT_TEMP   329
#define	LLT_SHARED   330
#define	LLT_UNIQUE   331
#define	LLT_UNUSED   332
#define	LLT_EXITS   333
#define	LLT_MAYEXIT   334
#define	LLT_NEVEREXIT   335
#define	LLT_TRUEEXIT   336
#define	LLT_FALSEEXIT   337
#define	LLT_UNDEF   338
#define	LLT_KILLED   339
#define	LLT_CHECKMOD   340
#define	LLT_CHECKED   341
#define	LLT_UNCHECKED   342
#define	LLT_CHECKEDSTRICT   343
#define	LLT_TRUENULL   344
#define	LLT_FALSENULL   345
#define	LLT_LNULL   346
#define	LLT_LNOTNULL   347
#define	LLT_RETURNED   348
#define	LLT_OBSERVER   349
#define	LLT_EXPOSED   350
#define	LLT_REFCOUNTED   351
#define	LLT_REFS   352
#define	LLT_RELNULL   353
#define	LLT_RELDEF   354
#define	LLT_KILLREF   355
#define	LLT_TEMPREF   356
#define	LLT_NEWREF   357
#define	LLT_PRIVATE   358
#define	LLT_REQUIRES   359
#define	LLT_RESULT   360
#define	LLT_SIZEOF   361
#define	LLT_SPEC   362
#define	LLT_TAGGEDUNION   363
#define	LLT_THEN   364
#define	LLT_TYPE   365
#define	LLT_TYPEDEF   366
#define	LLT_UNCHANGED   367
#define	LLT_USES   368
#define	LLT_CHAR   369
#define	LLT_CONST   370
#define	LLT_DOUBLE   371
#define	LLT_ENUM   372
#define	LLT_FLOAT   373
#define	LLT_INT   374
#define	LLT_ITER   375
#define	LLT_YIELD   376
#define	LLT_LONG   377
#define	LLT_SHORT   378
#define	LLT_SIGNED   379
#define	LLT_UNKNOWN   380
#define	LLT_STRUCT   381
#define	LLT_TELIPSIS   382
#define	LLT_UNION   383
#define	LLT_UNSIGNED   384
#define	LLT_VOID   385
#define	LLT_VOLATILE   386
#define	LLT_PRINTFLIKE   387
#define	LLT_SCANFLIKE   388
#define	LLT_MESSAGELIKE   389
#define	YYDEBUG   1
#define	YYPRINT(file, type, value)    yyprint (file, type, value)
#define	const
#define	YYFINAL   683
#define	YYFLAG   -32768
#define	YYNTBASE   136
#define	YYTRANSLATE(x)    ((unsigned)(x) <= 389 ? yytranslate[x] : 290)
#define	YYLAST   3247
#define	YYSTACK_ALLOC   malloc
#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 yyerrlab1
#define	YYFAIL   goto yyerrlab
#define	YYRECOVERING()    (!!yyerrstatus)
#define	YYBACKUP(token, value)
#define	YYTERROR   1
#define	YYERRCODE   256
#define	YYLEX   yylex()
#define	YYINITDEPTH   200
#define	YYMAXDEPTH   10000
#define	YYPARSE_PARAM_ARG
#define	YYPARSE_PARAM_DECL
#define	YYPOPSTACK   (yyvsp--, yyssp--)
Functions
void	ylerror (char *)

---

Define Documentation

#define ITERATION_OP   263

Definition at line 20 of file llgrammar.tab.c.

#define LLT_ALL   298

Definition at line 55 of file llgrammar.tab.c.

#define LLT_ANYTHING   299

Definition at line 56 of file llgrammar.tab.c.

#define LLT_BE   300

Definition at line 57 of file llgrammar.tab.c.

#define LLT_BODY   301

Definition at line 58 of file llgrammar.tab.c.

#define LLT_CCHAR   294

Definition at line 51 of file llgrammar.tab.c.

#define LLT_CFLOAT   295

Definition at line 52 of file llgrammar.tab.c.

#define LLT_CHAR   369

Definition at line 126 of file llgrammar.tab.c.

#define LLT_CHECKED   341

Definition at line 98 of file llgrammar.tab.c.

#define LLT_CHECKEDSTRICT   343

Definition at line 100 of file llgrammar.tab.c.

#define LLT_CHECKMOD   340

Definition at line 97 of file llgrammar.tab.c.

#define LLT_CHECKS   303

Definition at line 60 of file llgrammar.tab.c.

#define LLT_CINTEGER   296

Definition at line 53 of file llgrammar.tab.c.

#define LLT_CLAIMS   302

Definition at line 59 of file llgrammar.tab.c.

#define LLT_COLON   285

Definition at line 42 of file llgrammar.tab.c.

#define LLT_COMMA   286

Definition at line 43 of file llgrammar.tab.c.

#define LLT_CONST   370

Definition at line 127 of file llgrammar.tab.c.

#define LLT_CONSTANT   304

Definition at line 61 of file llgrammar.tab.c.

#define LLT_CONSTRAINT   312

Definition at line 69 of file llgrammar.tab.c.

#define LLT_DEPENDENT   326

Definition at line 83 of file llgrammar.tab.c.

#define LLT_DOUBLE   371

Definition at line 128 of file llgrammar.tab.c.

#define LLT_ELSE   305

Definition at line 62 of file llgrammar.tab.c.

#define LLT_ENSURES   306

Definition at line 63 of file llgrammar.tab.c.

#define LLT_ENUM   372

Definition at line 129 of file llgrammar.tab.c.

#define LLT_EOL   273

Definition at line 30 of file llgrammar.tab.c.

#define LLT_EQUALS   287

Definition at line 44 of file llgrammar.tab.c.

#define LLT_EXITS   333

Definition at line 90 of file llgrammar.tab.c.

#define LLT_EXPOSED   350

Definition at line 107 of file llgrammar.tab.c.

#define LLT_FALSEEXIT   337

Definition at line 94 of file llgrammar.tab.c.

#define LLT_FALSENULL   345

Definition at line 102 of file llgrammar.tab.c.

#define LLT_FILESYS   319

Definition at line 76 of file llgrammar.tab.c.

#define LLT_FLOAT   373

Definition at line 130 of file llgrammar.tab.c.

#define LLT_FOR   307

Definition at line 64 of file llgrammar.tab.c.

#define LLT_FRESH   308

Definition at line 65 of file llgrammar.tab.c.

#define LLT_IF   309

Definition at line 66 of file llgrammar.tab.c.

#define LLT_IF_THEN_ELSE   267

Definition at line 24 of file llgrammar.tab.c.

#define LLT_IMMUTABLE   310

Definition at line 67 of file llgrammar.tab.c.

#define LLT_IMPORTS   311

Definition at line 68 of file llgrammar.tab.c.

#define LLT_INT   374

Definition at line 131 of file llgrammar.tab.c.

#define LLT_INTERNAL   318

Definition at line 75 of file llgrammar.tab.c.

#define LLT_ISSUB   313

Definition at line 70 of file llgrammar.tab.c.

#define LLT_ITER   375

Definition at line 132 of file llgrammar.tab.c.

#define LLT_KEEP   327

Definition at line 84 of file llgrammar.tab.c.

#define LLT_KEPT   328

Definition at line 85 of file llgrammar.tab.c.

#define LLT_KILLED   339

Definition at line 96 of file llgrammar.tab.c.

#define LLT_KILLREF   355

Definition at line 112 of file llgrammar.tab.c.

#define LLT_LBRACE   288

Definition at line 45 of file llgrammar.tab.c.

#define LLT_LBRACKET   265

Definition at line 22 of file llgrammar.tab.c.

#define LLT_LCSTRING   297

Definition at line 54 of file llgrammar.tab.c.

#define LLT_LET   314

Definition at line 71 of file llgrammar.tab.c.

#define LLT_LNOTNULL   347

Definition at line 104 of file llgrammar.tab.c.

#define LLT_LNULL   346

Definition at line 103 of file llgrammar.tab.c.

#define LLT_LONG   377

Definition at line 134 of file llgrammar.tab.c.

#define LLT_LPAR   264

Definition at line 21 of file llgrammar.tab.c.

#define LLT_MAYEXIT   334

Definition at line 91 of file llgrammar.tab.c.

#define LLT_MESSAGELIKE   389

Definition at line 146 of file llgrammar.tab.c.

#define LLT_MODIFIES   315

Definition at line 72 of file llgrammar.tab.c.

#define LLT_MULOP   260

Definition at line 17 of file llgrammar.tab.c.

#define LLT_MUTABLE   316

Definition at line 73 of file llgrammar.tab.c.

#define LLT_NEVEREXIT   335

Definition at line 92 of file llgrammar.tab.c.

#define LLT_NEWREF   357

Definition at line 114 of file llgrammar.tab.c.

#define LLT_NOTHING   317

Definition at line 74 of file llgrammar.tab.c.

#define LLT_OBJ   320

Definition at line 77 of file llgrammar.tab.c.

#define LLT_OBSERVER   349

Definition at line 106 of file llgrammar.tab.c.

#define LLT_ONLY   323

Definition at line 80 of file llgrammar.tab.c.

#define LLT_OUT   321

Definition at line 78 of file llgrammar.tab.c.

#define LLT_OWNED   325

Definition at line 82 of file llgrammar.tab.c.

#define LLT_PARTIAL   324

Definition at line 81 of file llgrammar.tab.c.

#define LLT_PRINTFLIKE   387

Definition at line 144 of file llgrammar.tab.c.

#define LLT_PRIVATE   358

Definition at line 115 of file llgrammar.tab.c.

#define LLT_QUOTE   292

Definition at line 49 of file llgrammar.tab.c.

#define LLT_RBRACE   289

Definition at line 46 of file llgrammar.tab.c.

#define LLT_RBRACKET   290

Definition at line 47 of file llgrammar.tab.c.

#define LLT_REFCOUNTED   351

Definition at line 108 of file llgrammar.tab.c.

#define LLT_REFS   352

Definition at line 109 of file llgrammar.tab.c.

#define LLT_RELDEF   354

Definition at line 111 of file llgrammar.tab.c.

#define LLT_RELNULL   353

Definition at line 110 of file llgrammar.tab.c.

#define LLT_REQUIRES   359

Definition at line 116 of file llgrammar.tab.c.

#define LLT_RESULT   360

Definition at line 117 of file llgrammar.tab.c.

#define LLT_RETURNED   348

Definition at line 105 of file llgrammar.tab.c.

#define LLT_RPAR   291

Definition at line 48 of file llgrammar.tab.c.

#define LLT_SCANFLIKE   388

Definition at line 145 of file llgrammar.tab.c.

#define LLT_SEF   322

Definition at line 79 of file llgrammar.tab.c.

#define LLT_SEMI   261

Definition at line 18 of file llgrammar.tab.c.

#define LLT_SHARED   330

Definition at line 87 of file llgrammar.tab.c.

#define LLT_SHORT   378

Definition at line 135 of file llgrammar.tab.c.

#define LLT_SIGNED   379

Definition at line 136 of file llgrammar.tab.c.

#define LLT_SIZEOF   361

Definition at line 118 of file llgrammar.tab.c.

#define LLT_SPEC   362

Definition at line 119 of file llgrammar.tab.c.

#define LLT_STRUCT   381

Definition at line 138 of file llgrammar.tab.c.

#define LLT_TAGGEDUNION   363

Definition at line 120 of file llgrammar.tab.c.

#define LLT_TELIPSIS   382

Definition at line 139 of file llgrammar.tab.c.

#define LLT_TEMP   329

Definition at line 86 of file llgrammar.tab.c.

#define LLT_TEMPREF   356

Definition at line 113 of file llgrammar.tab.c.

#define LLT_THEN   364

Definition at line 121 of file llgrammar.tab.c.

#define LLT_TRUEEXIT   336

Definition at line 93 of file llgrammar.tab.c.

#define LLT_TRUENULL   344

Definition at line 101 of file llgrammar.tab.c.

#define LLT_TYPE   365

Definition at line 122 of file llgrammar.tab.c.

#define LLT_TYPEDEF   366

Definition at line 123 of file llgrammar.tab.c.

#define LLT_TYPEDEF_NAME   274

Definition at line 31 of file llgrammar.tab.c.

#define LLT_UNCHANGED   367

Definition at line 124 of file llgrammar.tab.c.

#define LLT_UNCHECKED   342

Definition at line 99 of file llgrammar.tab.c.

#define LLT_UNDEF   338

Definition at line 95 of file llgrammar.tab.c.

#define LLT_UNION   383

Definition at line 140 of file llgrammar.tab.c.

#define LLT_UNIQUE   331

Definition at line 88 of file llgrammar.tab.c.

#define LLT_UNKNOWN   380

Definition at line 137 of file llgrammar.tab.c.

#define LLT_UNSIGNED   384

Definition at line 141 of file llgrammar.tab.c.

#define LLT_UNUSED   332

Definition at line 89 of file llgrammar.tab.c.

#define LLT_USES   368

Definition at line 125 of file llgrammar.tab.c.

#define LLT_VERTICALBAR   262

Definition at line 19 of file llgrammar.tab.c.

#define LLT_VOID   385

Definition at line 142 of file llgrammar.tab.c.

#define LLT_VOLATILE   386

Definition at line 143 of file llgrammar.tab.c.

#define LLT_WHITESPACE   272

Definition at line 29 of file llgrammar.tab.c.

#define LLT_YIELD   376

Definition at line 133 of file llgrammar.tab.c.

#define POSTFIX_OP   259

Definition at line 16 of file llgrammar.tab.c.

#define PREFIX_OP   258

Definition at line 15 of file llgrammar.tab.c.

#define YYABORT   goto yyabortlab

Definition at line 1609 of file llgrammar.tab.c.

#define YYACCEPT   goto yyacceptlab

Definition at line 1608 of file llgrammar.tab.c.

#define YYBACKUP( token, value )

Initializer: \ do \ if (yychar == YYEMPTY && yylen == 1) \ { yychar = (token), yylval = (value); \ yychar1 = YYTRANSLATE (yychar); \ YYPOPSTACK; \ goto yybackup; \ } \ else \ { yyerror ("syntax error: cannot back up"); YYERROR; } \ while (0) Definition at line 1617 of file llgrammar.tab.c.

#define YYBISON   1

Definition at line 5 of file llgrammar.tab.c.

#define YYDEBUG   1

Definition at line 170 of file llgrammar.tab.c.

#define YYEMPTY   -2

Definition at line 1606 of file llgrammar.tab.c.

#define YYEOF   0

Definition at line 1607 of file llgrammar.tab.c.

#define YYERRCODE   256

Definition at line 1630 of file llgrammar.tab.c.

#define YYERROR   goto yyerrlab1

Definition at line 1610 of file llgrammar.tab.c.

#define YYFAIL   goto yyerrlab

Definition at line 1615 of file llgrammar.tab.c.

#define YYFINAL   683

Definition at line 270 of file llgrammar.tab.c.

#define YYFLAG   -32768

Definition at line 271 of file llgrammar.tab.c.

#define YYINITDEPTH   200

Definition at line 1677 of file llgrammar.tab.c.

#define YYLAST   3247

Definition at line 862 of file llgrammar.tab.c.

#define YYLEX   yylex()

Definition at line 1633 of file llgrammar.tab.c.

#define YYMAXDEPTH   10000

Definition at line 1688 of file llgrammar.tab.c.

#define YYNTBASE   136

Definition at line 272 of file llgrammar.tab.c.

#define YYPARSE_PARAM_ARG

#define YYPARSE_PARAM_DECL

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

#define YYPRINT( file, type, value )   yyprint (file, type, value)

Definition at line 173 of file llgrammar.tab.c.

#define YYRECOVERING( )   (!!yyerrstatus)

Definition at line 1616 of file llgrammar.tab.c.

#define YYSTACK_ALLOC   malloc

Definition at line 1597 of file llgrammar.tab.c.

#define YYTERROR   1

Definition at line 1629 of file llgrammar.tab.c.

#define YYTRANSLATE( x )   ((unsigned)(x) <= 389 ? yytranslate[x] : 290)

Definition at line 274 of file llgrammar.tab.c.

#define anySym   284

Definition at line 41 of file llgrammar.tab.c.

#define closeSym   277

Definition at line 34 of file llgrammar.tab.c.

#define commentSym   271

Definition at line 28 of file llgrammar.tab.c.

#define const

Definition at line 264 of file llgrammar.tab.c.

#define eqOp   293

Definition at line 50 of file llgrammar.tab.c.

#define eqSepSym   269

Definition at line 26 of file llgrammar.tab.c.

#define equationSym   270

Definition at line 27 of file llgrammar.tab.c.

#define logicalOp   268

Definition at line 25 of file llgrammar.tab.c.

#define mapSym   280

Definition at line 37 of file llgrammar.tab.c.

#define markerSym   281

Definition at line 38 of file llgrammar.tab.c.

#define openSym   276

Definition at line 33 of file llgrammar.tab.c.

#define postSym   283

Definition at line 40 of file llgrammar.tab.c.

#define preSym   282

Definition at line 39 of file llgrammar.tab.c.

#define quantifierSym   275

Definition at line 32 of file llgrammar.tab.c.

#define selectSym   266

Definition at line 23 of file llgrammar.tab.c.

#define sepSym   278

Definition at line 35 of file llgrammar.tab.c.

#define simpleId   279

Definition at line 36 of file llgrammar.tab.c.

#define simpleOp   257

Definition at line 14 of file llgrammar.tab.c.

int yychar   ylchar

Definition at line 11 of file llgrammar.tab.c.

#define yyclearin   (yychar = YYEMPTY)

Definition at line 1605 of file llgrammar.tab.c.

int yydebug   yldebug

Definition at line 12 of file llgrammar.tab.c.

#define yyerrok   (yyerrstatus = 0)

Definition at line 1604 of file llgrammar.tab.c.

#define yyerror   ylerror

Definition at line 9 of file llgrammar.tab.c.

#define yylex   yllex

Definition at line 8 of file llgrammar.tab.c.

YYSTYPE yylval   yllval

Definition at line 10 of file llgrammar.tab.c.

int yynerrs   ylnerrs

Definition at line 13 of file llgrammar.tab.c.

#define yyparse   ylparse

Definition at line 7 of file llgrammar.tab.c. Referenced by main().

---

Function Documentation

void ylerror ( char * )

---