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 /* A Bison parser, made by GNU Bison 1.875a.  */
  58
  59 /* Skeleton parser for Yacc-like parsing with Bison,
  60    Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
  61
  62    This program is free software; you can redistribute it and/or modify
  63    it under the terms of the GNU General Public License as published by
  64    the Free Software Foundation; either version 2, or (at your option)
  65    any later version.
  66
  67    This program is distributed in the hope that it will be useful,
  68    but WITHOUT ANY WARRANTY; without even the implied warranty of
  69    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  70    GNU General Public License for more details.
  71
  72    You should have received a copy of the GNU General Public License
  73    along with this program; if not, write to the Free Software
  74    Foundation, Inc., 59 Temple Place - Suite 330,
  75    Boston, MA 02111-1307, USA.  */
  76
  77 /* As a special exception, when this file is copied by Bison into a
  78    Bison output file, you may use that output file without restriction.
  79    This special exception was added by the Free Software Foundation
  80    in version 1.24 of Bison.  */
  81
  82 /* Tokens.  */
  83 #ifndef YYTOKENTYPE
  84 # define YYTOKENTYPE
  85    /* Put the tokens into the symbol table, so that GDB and other debuggers
  86       know about them.  */
  87    enum yytokentype {
  88      MT_BADTOK = 258,
  89      MT_END = 259,
  90      MT_STATE = 260,
  91      MT_GLOBAL = 261,
  92      MT_CONTEXT = 262,
  93      MT_ONEOF = 263,
  94      MT_DEFAULTS = 264,
  95      MT_DEFAULT = 265,
  96      MT_REFERENCE = 266,
  97      MT_PARAMETER = 267,
  98      MT_RESULT = 268,
  99      MT_CLAUSE = 269,
 100      MT_LITERAL = 270,
 101      MT_NULL = 271,
 102      MT_ANNOTATIONS = 272,
 103      MT_ARROW = 273,
 104      MT_MERGE = 274,
 105      MT_TRANSFERS = 275,
 106      MT_PRECONDITIONS = 276,
 107      MT_POSTCONDITIONS = 277,
 108      MT_LOSEREFERENCE = 278,
 109      MT_AS = 279,
 110      MT_ERROR = 280,
 111      MT_PLUS = 281,
 112      MT_STAR = 282,
 113      MT_BAR = 283,
 114      MT_LPAREN = 284,
 115      MT_RPAREN = 285,
 116      MT_LBRACKET = 286,
 117      MT_RBRACKET = 287,
 118      MT_LBRACE = 288,
 119      MT_RBRACE = 289,
 120      MT_COMMA = 290,
 121      MT_CHAR = 291,
 122      MT_INT = 292,
 123      MT_FLOAT = 293,
 124      MT_DOUBLE = 294,
 125      MT_VOID = 295,
 126      MT_ANYTYPE = 296,
 127      MT_INTEGRALTYPE = 297,
 128      MT_UNSIGNEDINTEGRALTYPE = 298,
 129      MT_SIGNEDINTEGRALTYPE = 299,
 130      MT_CONST = 300,
 131      MT_VOLATILE = 301,
 132      MT_RESTRICT = 302,
 133      MT_STRINGLIT = 303,
 134      MT_IDENT = 304
 135    };
 136 #endif
 137 #define MT_BADTOK 258
 138 #define MT_END 259
 139 #define MT_STATE 260
 140 #define MT_GLOBAL 261
 141 #define MT_CONTEXT 262
 142 #define MT_ONEOF 263
 143 #define MT_DEFAULTS 264
 144 #define MT_DEFAULT 265
 145 #define MT_REFERENCE 266
 146 #define MT_PARAMETER 267
 147 #define MT_RESULT 268
 148 #define MT_CLAUSE 269
 149 #define MT_LITERAL 270
 150 #define MT_NULL 271
 151 #define MT_ANNOTATIONS 272
 152 #define MT_ARROW 273
 153 #define MT_MERGE 274
 154 #define MT_TRANSFERS 275
 155 #define MT_PRECONDITIONS 276
 156 #define MT_POSTCONDITIONS 277
 157 #define MT_LOSEREFERENCE 278
 158 #define MT_AS 279
 159 #define MT_ERROR 280
 160 #define MT_PLUS 281
 161 #define MT_STAR 282
 162 #define MT_BAR 283
 163 #define MT_LPAREN 284
 164 #define MT_RPAREN 285
 165 #define MT_LBRACKET 286
 166 #define MT_RBRACKET 287
 167 #define MT_LBRACE 288
 168 #define MT_RBRACE 289
 169 #define MT_COMMA 290
 170 #define MT_CHAR 291
 171 #define MT_INT 292
 172 #define MT_FLOAT 293
 173 #define MT_DOUBLE 294
 174 #define MT_VOID 295
 175 #define MT_ANYTYPE 296
 176 #define MT_INTEGRALTYPE 297
 177 #define MT_UNSIGNEDINTEGRALTYPE 298
 178 #define MT_SIGNEDINTEGRALTYPE 299
 179 #define MT_CONST 300
 180 #define MT_VOLATILE 301
 181 #define MT_RESTRICT 302
 182 #define MT_STRINGLIT 303
 183 #define MT_IDENT 304
 184
 185
 186
 187
 188 #if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
 189
 190 typedef union YYSTYPE {
 191   mttok tok;
 192   mtDeclarationNode mtdecl;
 193   mtDeclarationPiece mtpiece;
 194   mtDeclarationPieces mtpieces;
 195   mtContextNode mtcontext;
 196   mtValuesNode mtvalues;
 197   mtDefaultsNode mtdefaults;
 198   mtDefaultsDeclList mtdeflist;
 199   mtAnnotationsNode mtannotations;
 200   mtAnnotationList mtannotlist;
 201   mtAnnotationDecl mtannotdecl;
 202   mtMergeNode mtmerge;
 203   mtMergeItem mtmergeitem;
 204   mtMergeClauseList mtmergeclauselist;
 205   mtMergeClause mtmergeclause;
 206   mtTransferClauseList mttransferclauselist;
 207   mtTransferClause mttransferclause;
 208   mtTransferAction mttransferaction;
 209   mtLoseReferenceList mtlosereferencelist;
 210   mtLoseReference mtlosereference;
 211   pointers pointers;
 212   /*@only@*/ cstringList cstringlist;
 213   ctype ctyp;
 214   /*@only@*/ qtype qtyp;
 215   qual qual;
 216   qualList quals;
 217 } YYSTYPE;
 218 /* Line 1240 of yacc.c.  */
 219
 220 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
 221 # define YYSTYPE_IS_DECLARED 1
 222 # define YYSTYPE_IS_TRIVIAL 1
 223 #endif
 224
 225
 226
 227
 228
 229 /*
 230 ** Resets all flags in bison.head
 231 */
 232
 233
 234 /*@=allmacros@*/
 235 /*@=boolint@*/
 236 /*@=charint@*/
 237 /*@=macroparams@*/
 238 /*@=macroundef@*/
 239 /*@=unreachable@*/
 240 /*@=macrospec@*/
 241 /*@=varuse@*/
 242 /*@=ignorequals@*/
 243 /*@=macrostmt@*/
 244 /*@=noeffect@*/
 245 /*@=shadow@*/
 246 /*@=exitarg@*/
 247 /*@=macroredef@*/
 248 /*@=uniondef@*/
 249 /*@=compdef@*/
 250 /*@=matchfields@*/
 251 /*@=exportlocal@*/
 252 /*@=evalorderuncon@*/
 253 /*@=exportheader@*/
 254 /*@=typeuse@*/
 255 /*@=redecl@*/
 256 /*@=redef@*/
 257 /*@=noparams@*/
 258 /*@=ansireserved@*/
 259 /*@=fielduse@*/
 260 /*@=ifblock@*/
 261 /*@=elseifcomplete@*/
 262 /*@=whileblock@*/
 263 /*@=forblock@*/
 264 /*@=branchstate@*/
 265 /*@=readonlytrans@*/
 266 /*@=namechecks@*/
 267 /*@=usedef@*/
 268 /*@=systemunrecog@*/
 269 /*@=dependenttrans@*/
 270 /*@=unqualifiedtrans@*/
 271 /*@=declundef@*/
 272
 273
 274 /*drl added 11/27/2001*/
 275 /*@=bounds@*/
 276
 277 /*drl added 12/11/2002*/
 278 /*@=type@*/