#include "bison.reset"#include <stdio.h>#include "lclintMacros.nf"#include "llbasic.h"#include "lslparse.h"#include "signature.h"#include "bison.head"Go to the source code of this file.
Compounds | |
| union | YYSTYPE |
Defines | |
| #define | YYBISON 1 |
| #define | yyparse lslparse |
| #define | yylex lsllex |
| #define | yyerror lslerror |
| #define | yylval lsllval |
| #define | yychar lslchar |
| #define | yydebug lsldebug |
| #define | yynerrs lslnerrs |
| #define | LST_SIMPLEID 257 |
| #define | LST_LOGICALOP 258 |
| #define | LST_EQOP 259 |
| #define | LST_SIMPLEOP 260 |
| #define | LST_MAPSYM 261 |
| #define | LST_FIELDMAPSYM 262 |
| #define | LST_MARKERSYM 263 |
| #define | LST_ifTOKEN 264 |
| #define | LST_thenTOKEN 265 |
| #define | LST_elseTOKEN 266 |
| #define | LST_LBRACKET 267 |
| #define | LST_RBRACKET 268 |
| #define | LST_SELECTSYM 269 |
| #define | LST_SEPSYM 270 |
| #define | LST_OPENSYM 271 |
| #define | LST_CLOSESYM 272 |
| #define | LST_COLON 273 |
| #define | LST_COMMA 274 |
| #define | LST_EOL 275 |
| #define | LST_COMMENTSYM 276 |
| #define | LST_WHITESPACE 277 |
| #define | LST_QUANTIFIERSYM 278 |
| #define | LST_EQUATIONSYM 279 |
| #define | LST_EQSEPSYM 280 |
| #define | LST_COMPOSESYM 281 |
| #define | LST_LPAR 282 |
| #define | LST_RPAR 283 |
| #define | LST_assertsTOKEN 284 |
| #define | LST_assumesTOKEN 285 |
| #define | LST_byTOKEN 286 |
| #define | LST_convertsTOKEN 287 |
| #define | LST_enumerationTOKEN 288 |
| #define | LST_equationsTOKEN 289 |
| #define | LST_exemptingTOKEN 290 |
| #define | LST_forTOKEN 291 |
| #define | LST_generatedTOKEN 292 |
| #define | LST_impliesTOKEN 293 |
| #define | LST_includesTOKEN 294 |
| #define | LST_introducesTOKEN 295 |
| #define | LST_ofTOKEN 296 |
| #define | LST_partitionedTOKEN 297 |
| #define | LST_traitTOKEN 298 |
| #define | LST_tupleTOKEN 299 |
| #define | LST_unionTOKEN 300 |
| #define | LST_BADTOKEN 301 |
| #define | YYPRINT(file, type, value) yyprint (file, type, value) |
| #define | YYDEBUG 1 |
| #define | const |
| #define | YYFINAL 62 |
| #define | YYFLAG -32768 |
| #define | YYNTBASE 48 |
| #define | YYTRANSLATE(x) ((unsigned)(x) <= 301 ? yytranslate[x] : 62) |
| #define | YYLAST 50 |
| #define | YYPURE 1 |
| #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(&yylval) |
| #define | YYINITDEPTH 200 |
| #define | YYMAXDEPTH 10000 |
| #define | YYPARSE_PARAM_ARG |
| #define | YYPARSE_PARAM_DECL |
| #define | YYPOPSTACK (yyvsp--, yyssp--) |
Functions | |
| void | lslerror (char *) |
| void | PrintToken (ltoken tok) |
Variables | |
| lslOp | importedlslOp |
|
|
Definition at line 58 of file signature.tab.c. |
|
|
Definition at line 29 of file signature.tab.c. |
|
|
Definition at line 30 of file signature.tab.c. |
|
|
Definition at line 31 of file signature.tab.c. |
|
|
Definition at line 33 of file signature.tab.c. |
|
|
Definition at line 38 of file signature.tab.c. |
|
|
Definition at line 32 of file signature.tab.c. |
|
|
Definition at line 16 of file signature.tab.c. |
|
|
Definition at line 37 of file signature.tab.c. |
|
|
Definition at line 36 of file signature.tab.c. |
|
|
Definition at line 19 of file signature.tab.c. |
|
|
Definition at line 24 of file signature.tab.c. |
|
|
Definition at line 15 of file signature.tab.c. |
|
|
Definition at line 39 of file signature.tab.c. |
|
|
Definition at line 18 of file signature.tab.c. |
|
|
Definition at line 20 of file signature.tab.c. |
|
|
Definition at line 28 of file signature.tab.c. |
|
|
Definition at line 35 of file signature.tab.c. |
|
|
Definition at line 25 of file signature.tab.c. |
|
|
Definition at line 40 of file signature.tab.c. |
|
|
Definition at line 26 of file signature.tab.c. |
|
|
Definition at line 27 of file signature.tab.c. |
|
|
Definition at line 14 of file signature.tab.c. |
|
|
Definition at line 17 of file signature.tab.c. |
|
|
Definition at line 34 of file signature.tab.c. |
|
|
Definition at line 41 of file signature.tab.c. |
|
|
Definition at line 42 of file signature.tab.c. |
|
|
Definition at line 43 of file signature.tab.c. |
|
|
Definition at line 44 of file signature.tab.c. |
|
|
Definition at line 23 of file signature.tab.c. |
|
|
Definition at line 45 of file signature.tab.c. |
|
|
Definition at line 46 of file signature.tab.c. |
|
|
Definition at line 47 of file signature.tab.c. |
|
|
Definition at line 48 of file signature.tab.c. |
|
|
Definition at line 49 of file signature.tab.c. |
|
|
Definition at line 21 of file signature.tab.c. |
|
|
Definition at line 50 of file signature.tab.c. |
|
|
Definition at line 51 of file signature.tab.c. |
|
|
Definition at line 52 of file signature.tab.c. |
|
|
Definition at line 53 of file signature.tab.c. |
|
|
Definition at line 54 of file signature.tab.c. |
|
|
Definition at line 22 of file signature.tab.c. |
|
|
Definition at line 55 of file signature.tab.c. |
|
|
Definition at line 56 of file signature.tab.c. |
|
|
Definition at line 57 of file signature.tab.c. |
|
|
Definition at line 356 of file signature.tab.c. |
|
|
Definition at line 355 of file signature.tab.c. |
|
|
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 364 of file signature.tab.c. |
|
|
Definition at line 5 of file signature.tab.c. |
|
|
Definition at line 80 of file signature.tab.c. |
|
|
Definition at line 353 of file signature.tab.c. |
|
|
Definition at line 354 of file signature.tab.c. |
|
|
Definition at line 377 of file signature.tab.c. |
|
|
Definition at line 357 of file signature.tab.c. |
|
|
Definition at line 362 of file signature.tab.c. |
|
|
Definition at line 110 of file signature.tab.c. |
|
|
Definition at line 111 of file signature.tab.c. |
|
|
Definition at line 424 of file signature.tab.c. |
|
|
Definition at line 247 of file signature.tab.c. |
|
|
Definition at line 394 of file signature.tab.c. |
|
|
Definition at line 435 of file signature.tab.c. |
|
|
Definition at line 112 of file signature.tab.c. |
|
|
|
|
|
|
|
|
|
|
|
Definition at line 78 of file signature.tab.c. |
|
|
Definition at line 265 of file signature.tab.c. |
|
|
Definition at line 363 of file signature.tab.c. |
|
|
Definition at line 344 of file signature.tab.c. |
|
|
Definition at line 376 of file signature.tab.c. |
|
|
Definition at line 114 of file signature.tab.c. |
|
|
Definition at line 104 of file signature.tab.c. |
|
|
Definition at line 11 of file signature.tab.c. |
|
|
Definition at line 352 of file signature.tab.c. |
|
|
Definition at line 12 of file signature.tab.c. |
|
|
Definition at line 351 of file signature.tab.c. |
|
|
Definition at line 9 of file signature.tab.c. |
|
|
Definition at line 8 of file signature.tab.c. |
|
|
Definition at line 10 of file signature.tab.c. |
|
|
Definition at line 13 of file signature.tab.c. |
|
|
Definition at line 7 of file signature.tab.c. |
|
|
Definition at line 1226 of file signature.tab.c. 01226 {
01227 char *codStr;
01228
01229 switch (ltoken_getCode (tok))
01230 {
01231 case NOTTOKEN: codStr = "*** NOTTOKEN ***"; break;
01232 case LST_QUANTIFIERSYM: codStr = "QUANTIFIERSYM"; break;
01233 case LST_LOGICALOP: codStr = "LOGICALOP: "; break;
01234 case LST_SELECTSYM: codStr = "LST_SELECTSYM"; break;
01235 case LST_OPENSYM: codStr = "LST_OPENSYM"; break;
01236 case LST_SEPSYM: codStr = "SEPSYM"; break;
01237 case LST_CLOSESYM: codStr = "LST_CLOSESYM"; break;
01238 case LST_SIMPLEID: codStr = "LST_SIMPLEID"; break;
01239 case LST_MAPSYM: codStr = "MAPSYM"; break;
01240 case LST_MARKERSYM: codStr = "LST_MARKERSYM"; break;
01241 case LST_COMMENTSYM: codStr = "COMMENTSYM"; break;
01242 case LST_SIMPLEOP: codStr = "SIMPLEOP"; break;
01243 case LST_COLON: codStr = "LST_COLON"; break;
01244 case LST_COMMA: codStr = "COMMA"; break;
01245 case LST_LBRACKET: codStr = "LST_LBRACKET"; break;
01246 case LST_LPAR: codStr = "LST_LPAR"; break;
01247 case LST_RBRACKET: codStr = "LST_RBRACKET"; break;
01248 case LST_RPAR: codStr = "LST_RPAR"; break;
01249 case LST_EQOP: codStr = "LST_EQOP"; break;
01250 case LST_WHITESPACE: codStr = "WHITESPACE,"; break;
01251 case LST_EOL: codStr = "LST_EOL"; break;
01252 case LST_elseTOKEN: codStr = "elseTOKEN"; break;
01253 case LST_ifTOKEN: codStr = "ifTOKEN"; break;
01254 case LST_thenTOKEN: codStr = "thenTOKEN"; break;
01255 case LST_BADTOKEN: codStr = "*** BADTOKEN ***"; break;
01256 case LEOFTOKEN: /* can't reach LEOFTOKEN easily */
01257 codStr = "LEOFTOKEN"; break;
01258 default:
01259 codStr = "*** invalid token code ***";
01260 break;
01261 } /* end switch */
01262
01263 /* only used for debugging */
01264 printf ("%u:%u: Token Code (%u): %s",
01265 ltoken_getLine (tok), ltoken_getCol (tok),
01266 ltoken_getCode (tok), codStr);
01267 if (ltoken_getRawText (tok) != 0)
01268 {
01269 printf (", Token String (%lu): %s\n",
01270 ltoken_getRawText (tok), ltoken_getRawTextChars (tok));
01271 }
01272 else printf ("\n");
01273 }
|
|
|
Definition at line 1206 of file signature.tab.c. 01207 {
01208 llfatalbug
01209 (cstring_makeLiteral
01210 ("There has been a problem parsing an LSL signature. This is believed to "
01211 "result from a problem with gcc version 2.95 optimizations, "
01212 "but it has not been confirmed. Please try rebuidling LCLint "
01213 "without the -O<n> option."));
01214
01215 }
|
|
|
Definition at line 72 of file signature.tab.c. |
1.2.3 written by Dimitri van Heesch,
© 1997-2000