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 /*@-nullpass@*/
  45 /*@-nullptrarith*/
  46 /*@-usereleased@*/
  47 /*@-declundef@*/
  48
  49 /*drl added 11/27/2001*/
  50 /*@-bounds@*/
  51 /* < end of bison.head > */
  52
  53 #ifndef BISON_SIGNATURE_TAB_H
  54 # define BISON_SIGNATURE_TAB_H
  55
  56 #ifndef YYSTYPE
  57 typedef union {
  58   ltoken ltok;  /* a leaf is also an ltoken */
  59   unsigned int count;
  60   /*@only@*/  ltokenList ltokenList;
  61   /*@only@*/  opFormNode opform;
  62   /*@owned@*/ sigNode signature;
  63   /*@only@*/  nameNode name;
  64   /*@owned@*/ lslOp operator;
  65   /*@only@*/  lslOpList operators;
  66   /*@-redef@*/ /*@-matchfields@*/
  67 } yystype;
  68 # define YYSTYPE yystype
  69 # define YYSTYPE_IS_TRIVIAL 1
  70 #endif
  71 # define        LST_SIMPLEID    257
  72 # define        LST_LOGICALOP   258
  73 # define        LST_EQOP        259
  74 # define        LST_SIMPLEOP    260
  75 # define        LST_MAPSYM      261
  76 # define        LST_FIELDMAPSYM 262
  77 # define        LST_MARKERSYM   263
  78 # define        LST_ifTOKEN     264
  79 # define        LST_thenTOKEN   265
  80 # define        LST_elseTOKEN   266
  81 # define        LST_LBRACKET    267
  82 # define        LST_RBRACKET    268
  83 # define        LST_SELECTSYM   269
  84 # define        LST_SEPSYM      270
  85 # define        LST_OPENSYM     271
  86 # define        LST_CLOSESYM    272
  87 # define        LST_COLON       273
  88 # define        LST_COMMA       274
  89 # define        LST_EOL 275
  90 # define        LST_COMMENTSYM  276
  91 # define        LST_WHITESPACE  277
  92 # define        LST_QUANTIFIERSYM       278
  93 # define        LST_EQUATIONSYM 279
  94 # define        LST_EQSEPSYM    280
  95 # define        LST_COMPOSESYM  281
  96 # define        LST_LPAR        282
  97 # define        LST_RPAR        283
  98 # define        LST_assertsTOKEN        284
  99 # define        LST_assumesTOKEN        285
 100 # define        LST_byTOKEN     286
 101 # define        LST_convertsTOKEN       287
 102 # define        LST_enumerationTOKEN    288
 103 # define        LST_equationsTOKEN      289
 104 # define        LST_exemptingTOKEN      290
 105 # define        LST_forTOKEN    291
 106 # define        LST_generatedTOKEN      292
 107 # define        LST_impliesTOKEN        293
 108 # define        LST_includesTOKEN       294
 109 # define        LST_introducesTOKEN     295
 110 # define        LST_ofTOKEN     296
 111 # define        LST_partitionedTOKEN    297
 112 # define        LST_traitTOKEN  298
 113 # define        LST_tupleTOKEN  299
 114 # define        LST_unionTOKEN  300
 115 # define        LST_BADTOKEN    301
 116
 117
 118 #endif /* not BISON_SIGNATURE_TAB_H */
 119 /*
 120 ** Resets all flags in bison.head
 121 */
 122
 123
 124 /*@=allmacros@*/
 125 /*@=boolint@*/
 126 /*@=charint@*/
 127 /*@=macroparams@*/
 128 /*@=macroundef@*/
 129 /*@=unreachable@*/
 130 /*@=macrospec@*/
 131 /*@=varuse@*/
 132 /*@=ignorequals@*/
 133 /*@=macrostmt@*/
 134 /*@=noeffect@*/
 135 /*@=shadow@*/
 136 /*@=exitarg@*/
 137 /*@=macroredef@*/
 138 /*@=uniondef@*/
 139 /*@=compdef@*/
 140 /*@=matchfields@*/
 141 /*@=exportlocal@*/
 142 /*@=evalorderuncon@*/
 143 /*@=exportheader@*/
 144 /*@=typeuse@*/
 145 /*@=redecl@*/
 146 /*@=redef@*/
 147 /*@=noparams@*/
 148 /*@=ansireserved@*/
 149 /*@=fielduse@*/
 150 /*@=ifblock@*/
 151 /*@=elseifcomplete@*/
 152 /*@=whileblock@*/
 153 /*@=forblock@*/
 154 /*@=branchstate@*/
 155 /*@=readonlytrans@*/
 156 /*@=namechecks@*/
 157 /*@=usedef@*/
 158 /*@=systemunrecog@*/
 159 /*@=dependenttrans@*/
 160 /*@=unqualifiedtrans@*/
 161 /*@=declundef@*/
 162
 163
 164 /*drl added 11/27/2001*/
 165 /*@=bounds@*/