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