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    258
  58 #define LST_LOGICALOP   259
  59 #define LST_EQOP        260
  60 #define LST_SIMPLEOP    261
  61 #define LST_MAPSYM      262
  62 #define LST_FIELDMAPSYM 263
  63 #define LST_MARKERSYM   264
  64 #define LST_ifTOKEN     265
  65 #define LST_thenTOKEN   266
  66 #define LST_elseTOKEN   267
  67 #define LST_LBRACKET    268
  68 #define LST_RBRACKET    269
  69 #define LST_SELECTSYM   270
  70 #define LST_SEPSYM      271
  71 #define LST_OPENSYM     272
  72 #define LST_CLOSESYM    273
  73 #define LST_COLON       274
  74 #define LST_COMMA       275
  75 #define LST_EOL 276
  76 #define LST_COMMENTSYM  277
  77 #define LST_WHITESPACE  278
  78 #define LST_QUANTIFIERSYM       279
  79 #define LST_EQUATIONSYM 280
  80 #define LST_EQSEPSYM    281
  81 #define LST_COMPOSESYM  282
  82 #define LST_LPAR        283
  83 #define LST_RPAR        284
  84 #define LST_assertsTOKEN        285
  85 #define LST_assumesTOKEN        286
  86 #define LST_byTOKEN     287
  87 #define LST_convertsTOKEN       288
  88 #define LST_enumerationTOKEN    289
  89 #define LST_equationsTOKEN      290
  90 #define LST_exemptingTOKEN      291
  91 #define LST_forTOKEN    292
  92 #define LST_generatedTOKEN      293
  93 #define LST_impliesTOKEN        294
  94 #define LST_includesTOKEN       295
  95 #define LST_introducesTOKEN     296
  96 #define LST_ofTOKEN     297
  97 #define LST_partitionedTOKEN    298
  98 #define LST_traitTOKEN  299
  99 #define LST_tupleTOKEN  300
 100 #define LST_unionTOKEN  301
 101 #define LST_BADTOKEN    302
 102