src/Headers/mtgrammar_tokens.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_MTGRAMMAR_TAB_H
  58 # define BISON_MTGRAMMAR_TAB_H
  59
  60 #ifndef YYSTYPE
  61 typedef union {
  62   mttok tok;
  63   mtDeclarationNode mtdecl;
  64   mtDeclarationPiece mtpiece;
  65   mtDeclarationPieces mtpieces;
  66   mtContextNode mtcontext;
  67   mtValuesNode mtvalues;
  68   mtDefaultsNode mtdefaults;
  69   mtDefaultsDeclList mtdeflist;
  70   mtAnnotationsNode mtannotations;
  71   mtAnnotationList mtannotlist;
  72   mtAnnotationDecl mtannotdecl;
  73   mtMergeNode mtmerge;
  74   mtMergeItem mtmergeitem;
  75   mtMergeClauseList mtmergeclauselist;
  76   mtMergeClause mtmergeclause;
  77   mtTransferClauseList mttransferclauselist;
  78   mtTransferClause mttransferclause;
  79   mtTransferAction mttransferaction;
  80   mtLoseReferenceList mtlosereferencelist;
  81   mtLoseReference mtlosereference;
  82   pointers pointers;
  83   /*@only@*/ cstringList cstringlist;
  84   ctype ctyp;
  85   /*@only@*/ qtype qtyp;
  86   qual qual;
  87   qualList quals;
  88 } yystype;
  89 # define YYSTYPE yystype
  90 # define YYSTYPE_IS_TRIVIAL 1
  91 #endif
  92 # define        MT_BADTOK       257
  93 # define        MT_END  258
  94 # define        MT_STATE        259
  95 # define        MT_GLOBAL       260
  96 # define        MT_CONTEXT      261
  97 # define        MT_ONEOF        262
  98 # define        MT_DEFAULTS     263
  99 # define        MT_DEFAULT      264
 100 # define        MT_REFERENCE    265
 101 # define        MT_PARAMETER    266
 102 # define        MT_RESULT       267
 103 # define        MT_CLAUSE       268
 104 # define        MT_LITERAL      269
 105 # define        MT_NULL 270
 106 # define        MT_ANNOTATIONS  271
 107 # define        MT_ARROW        272
 108 # define        MT_MERGE        273
 109 # define        MT_TRANSFERS    274
 110 # define        MT_PRECONDITIONS        275
 111 # define        MT_POSTCONDITIONS       276
 112 # define        MT_LOSEREFERENCE        277
 113 # define        MT_AS   278
 114 # define        MT_ERROR        279
 115 # define        MT_PLUS 280
 116 # define        MT_STAR 281
 117 # define        MT_BAR  282
 118 # define        MT_LPAREN       283
 119 # define        MT_RPAREN       284
 120 # define        MT_LBRACKET     285
 121 # define        MT_RBRACKET     286
 122 # define        MT_LBRACE       287
 123 # define        MT_RBRACE       288
 124 # define        MT_COMMA        289
 125 # define        MT_CHAR 290
 126 # define        MT_INT  291
 127 # define        MT_FLOAT        292
 128 # define        MT_DOUBLE       293
 129 # define        MT_VOID 294
 130 # define        MT_ANYTYPE      295
 131 # define        MT_INTEGRALTYPE 296
 132 # define        MT_UNSIGNEDINTEGRALTYPE 297
 133 # define        MT_SIGNEDINTEGRALTYPE   298
 134 # define        MT_CONST        299
 135 # define        MT_VOLATILE     300
 136 # define        MT_RESTRICT     301
 137 # define        MT_STRINGLIT    302
 138 # define        MT_IDENT        303
 139
 140
 141 #endif /* not BISON_MTGRAMMAR_TAB_H */
 142 /*
 143 ** Resets all flags in bison.head
 144 */
 145
 146
 147 /*@=allmacros@*/
 148 /*@=boolint@*/
 149 /*@=charint@*/
 150 /*@=macroparams@*/
 151 /*@=macroundef@*/
 152 /*@=unreachable@*/
 153 /*@=macrospec@*/
 154 /*@=varuse@*/
 155 /*@=ignorequals@*/
 156 /*@=macrostmt@*/
 157 /*@=noeffect@*/
 158 /*@=shadow@*/
 159 /*@=exitarg@*/
 160 /*@=macroredef@*/
 161 /*@=uniondef@*/
 162 /*@=compdef@*/
 163 /*@=matchfields@*/
 164 /*@=exportlocal@*/
 165 /*@=evalorderuncon@*/
 166 /*@=exportheader@*/
 167 /*@=typeuse@*/
 168 /*@=redecl@*/
 169 /*@=redef@*/
 170 /*@=noparams@*/
 171 /*@=ansireserved@*/
 172 /*@=fielduse@*/
 173 /*@=ifblock@*/
 174 /*@=elseifcomplete@*/
 175 /*@=whileblock@*/
 176 /*@=forblock@*/
 177 /*@=branchstate@*/
 178 /*@=readonlytrans@*/
 179 /*@=namechecks@*/
 180 /*@=usedef@*/
 181 /*@=systemunrecog@*/
 182 /*@=dependenttrans@*/
 183 /*@=unqualifiedtrans@*/
 184 /*@=declundef@*/
 185
 186
 187 /*drl added 11/27/2001*/
 188 /*@=bounds@*/
 189
 190 /*drl added 12/11/2002*/
 191 /*@=type@*/