src/Headers/signature_gen.h

   1 /*
   2 ** Inserted at beginning of c files generated by bison
   3 ** REMEMBER:  Change bison.reset too.
   4 */
   5
   6 /*@-allmacros@*/
   7 /*@+boolint@*/
   8 /*@+charint@*/
   9 /*@-macroparams@*/
  10 /*@-macroundef@*/
  11 /*@-unreachable@*/
  12 /*@-macrospec@*/
  13 /*@-varuse@*/
  14 /*@+ignorequals@*/
  15 /*@-macrostmt@*/
  16 /*@-noeffect@*/
  17 /*@-shadow@*/
  18 /*@-exitarg@*/
  19 /*@-macroredef@*/
  20 /*@-uniondef@*/
  21 /*@-compdef@*/
  22 /*@-matchfields@*/
  23 /*@-exportlocal@*/
  24 /*@-evalorderuncon@*/
  25 /*@-exportheader@*/
  26 /*@-typeuse@*/
  27 /*@-redecl@*/
  28 /*@-redef@*/
  29 /*@-noparams@*/
  30 /*@-ansireserved@*/
  31 /*@-fielduse@*/
  32 /*@-ifblock@*/
  33 /*@-elseifcomplete@*/
  34 /*@-whileblock@*/
  35 /*@-forblock@*/
  36 /*@-branchstate@*/
  37 /*@-readonlytrans@*/
  38 /*@-namechecks@*/
  39 /*@-usedef@*/
  40 /*@-systemunrecog@*/
  41 /*@-dependenttrans@*/
  42 /*@-unqualifiedtrans@*/
  43 /*@-nullassign@*/
  44
  45 /* < end of bison.head > */
  46
  47 typedef union {
  48   ltoken ltok;  /* a leaf is also an ltoken */
  49   unsigned int count;
  50   /*@only@*/  ltokenList ltokenList;
  51   /*@only@*/  opFormNode opform;
  52   /*@owned@*/ sigNode signature;
  53   /*@only@*/  nameNode name;
  54   /*@owned@*/ lslOp operator;
  55   /*@only@*/  lslOpList operators;
  56 } YYSTYPE;
  57 #define LST_SIMPLEID    257
  58 #define LST_LOGICALOP   258
  59 #define LST_EQOP        259
  60 #define LST_SIMPLEOP    260
  61 #define LST_MAPSYM      261
  62 #define LST_FIELDMAPSYM 262
  63 #define LST_MARKERSYM   263
  64 #define LST_ifTOKEN     264
  65 #define LST_thenTOKEN   265
  66 #define LST_elseTOKEN   266
  67 #define LST_LBRACKET    267
  68 #define LST_RBRACKET    268
  69 #define LST_SELECTSYM   269
  70 #define LST_SEPSYM      270
  71 #define LST_OPENSYM     271
  72 #define LST_CLOSESYM    272
  73 #define LST_COLON       273
  74 #define LST_COMMA       274
  75 #define LST_EOL 275
  76 #define LST_COMMENTSYM  276
  77 #define LST_WHITESPACE  277
  78 #define LST_QUANTIFIERSYM       278
  79 #define LST_EQUATIONSYM 279
  80 #define LST_EQSEPSYM    280
  81 #define LST_COMPOSESYM  281
  82 #define LST_LPAR        282
  83 #define LST_RPAR        283
  84 #define LST_assertsTOKEN        284
  85 #define LST_assumesTOKEN        285
  86 #define LST_byTOKEN     286
  87 #define LST_convertsTOKEN       287
  88 #define LST_enumerationTOKEN    288
  89 #define LST_equationsTOKEN      289
  90 #define LST_exemptingTOKEN      290
  91 #define LST_forTOKEN    291
  92 #define LST_generatedTOKEN      292
  93 #define LST_impliesTOKEN        293
  94 #define LST_includesTOKEN       294
  95 #define LST_introducesTOKEN     295
  96 #define LST_ofTOKEN     296
  97 #define LST_partitionedTOKEN    297
  98 #define LST_traitTOKEN  298
  99 #define LST_tupleTOKEN  299
 100 #define LST_unionTOKEN  300
 101 #define LST_BADTOKEN    301
 102