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