Main Page   Alphabetical List   Compound List   File List   Compound Members   File Members  

signature.tab.c File Reference

#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


Define Documentation

#define LST_BADTOKEN   301
 

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

#define LST_CLOSESYM   272
 

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

#define LST_COLON   273
 

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

#define LST_COMMA   274
 

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

#define LST_COMMENTSYM   276
 

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

#define LST_COMPOSESYM   281
 

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

#define LST_EOL   275
 

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

#define LST_EQOP   259
 

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

#define LST_EQSEPSYM   280
 

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

#define LST_EQUATIONSYM   279
 

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

#define LST_FIELDMAPSYM   262
 

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

#define LST_LBRACKET   267
 

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

#define LST_LOGICALOP   258
 

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

#define LST_LPAR   282
 

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

#define LST_MAPSYM   261
 

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

#define LST_MARKERSYM   263
 

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

#define LST_OPENSYM   271
 

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

#define LST_QUANTIFIERSYM   278
 

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

#define LST_RBRACKET   268
 

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

#define LST_RPAR   283
 

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

#define LST_SELECTSYM   269
 

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

#define LST_SEPSYM   270
 

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

#define LST_SIMPLEID   257
 

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

#define LST_SIMPLEOP   260
 

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

#define LST_WHITESPACE   277
 

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

#define LST_assertsTOKEN   284
 

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

#define LST_assumesTOKEN   285
 

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

#define LST_byTOKEN   286
 

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

#define LST_convertsTOKEN   287
 

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

#define LST_elseTOKEN   266
 

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

#define LST_enumerationTOKEN   288
 

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

#define LST_equationsTOKEN   289
 

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

#define LST_exemptingTOKEN   290
 

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

#define LST_forTOKEN   291
 

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

#define LST_generatedTOKEN   292
 

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

#define LST_ifTOKEN   264
 

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

#define LST_impliesTOKEN   293
 

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

#define LST_includesTOKEN   294
 

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

#define LST_introducesTOKEN   295
 

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

#define LST_ofTOKEN   296
 

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

#define LST_partitionedTOKEN   297
 

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

#define LST_thenTOKEN   265
 

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

#define LST_traitTOKEN   298
 

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

#define LST_tupleTOKEN   299
 

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

#define LST_unionTOKEN   300
 

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

#define YYABORT   goto yyabortlab
 

Definition at line 356 of file signature.tab.c.

#define YYACCEPT   goto yyacceptlab
 

Definition at line 355 of file signature.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 364 of file signature.tab.c.

#define YYBISON   1
 

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

#define YYDEBUG   1
 

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

#define YYEMPTY   -2
 

Definition at line 353 of file signature.tab.c.

#define YYEOF   0
 

Definition at line 354 of file signature.tab.c.

#define YYERRCODE   256
 

Definition at line 377 of file signature.tab.c.

#define YYERROR   goto yyerrlab1
 

Definition at line 357 of file signature.tab.c.

#define YYFAIL   goto yyerrlab
 

Definition at line 362 of file signature.tab.c.

#define YYFINAL   62
 

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

#define YYFLAG   -32768
 

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

#define YYINITDEPTH   200
 

Definition at line 424 of file signature.tab.c.

#define YYLAST   50
 

Definition at line 247 of file signature.tab.c.

#define YYLEX   yylex(&yylval)
 

Definition at line 394 of file signature.tab.c.

#define YYMAXDEPTH   10000
 

Definition at line 435 of file signature.tab.c.

#define YYNTBASE   48
 

Definition at line 112 of file signature.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 78 of file signature.tab.c.

#define YYPURE   1
 

Definition at line 265 of file signature.tab.c.

#define YYRECOVERING( )   (!!yyerrstatus)
 

Definition at line 363 of file signature.tab.c.

#define YYSTACK_ALLOC   malloc
 

Definition at line 344 of file signature.tab.c.

#define YYTERROR   1
 

Definition at line 376 of file signature.tab.c.

#define YYTRANSLATE( x )   ((unsigned)(x) <= 301 ? yytranslate[x] : 62)
 

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

#define const
 

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

#define yychar   lslchar
 

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

#define yyclearin   (yychar = YYEMPTY)
 

Definition at line 352 of file signature.tab.c.

#define yydebug   lsldebug
 

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

#define yyerrok   (yyerrstatus = 0)
 

Definition at line 351 of file signature.tab.c.

#define yyerror   lslerror
 

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

#define yylex   lsllex
 

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

#define yylval   lsllval
 

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

#define yynerrs   lslnerrs
 

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

#define yyparse   lslparse
 

Definition at line 7 of file signature.tab.c.


Function Documentation

void PrintToken ( ltoken tok )
 

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 }

void lslerror ( char * s )
 

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 }


Variable Documentation

lslOp importedlslOp
 

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


Generated at Fri Nov 3 18:58:05 2000 for LCLint by doxygen1.2.3 written by Dimitri van Heesch, © 1997-2000