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 /* 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      LST_SIMPLEID = 258,
  89      LST_LOGICALOP = 259,
  90      LST_EQOP = 260,
  91      LST_SIMPLEOP = 261,
  92      LST_MAPSYM = 262,
  93      LST_FIELDMAPSYM = 263,
  94      LST_MARKERSYM = 264,
  95      LST_ifTOKEN = 265,
  96      LST_thenTOKEN = 266,
  97      LST_elseTOKEN = 267,
  98      LST_LBRACKET = 268,
  99      LST_RBRACKET = 269,
 100      LST_SELECTSYM = 270,
 101      LST_SEPSYM = 271,
 102      LST_OPENSYM = 272,
 103      LST_CLOSESYM = 273,
 104      LST_COLON = 274,
 105      LST_COMMA = 275,
 106      LST_EOL = 276,
 107      LST_COMMENTSYM = 277,
 108      LST_WHITESPACE = 278,
 109      LST_QUANTIFIERSYM = 279,
 110      LST_EQUATIONSYM = 280,
 111      LST_EQSEPSYM = 281,
 112      LST_COMPOSESYM = 282,
 113      LST_LPAR = 283,
 114      LST_RPAR = 284,
 115      LST_assertsTOKEN = 285,
 116      LST_assumesTOKEN = 286,
 117      LST_byTOKEN = 287,
 118      LST_convertsTOKEN = 288,
 119      LST_enumerationTOKEN = 289,
 120      LST_equationsTOKEN = 290,
 121      LST_exemptingTOKEN = 291,
 122      LST_forTOKEN = 292,
 123      LST_generatedTOKEN = 293,
 124      LST_impliesTOKEN = 294,
 125      LST_includesTOKEN = 295,
 126      LST_introducesTOKEN = 296,
 127      LST_ofTOKEN = 297,
 128      LST_partitionedTOKEN = 298,
 129      LST_traitTOKEN = 299,
 130      LST_tupleTOKEN = 300,
 131      LST_unionTOKEN = 301,
 132      LST_BADTOKEN = 302
 133    };
 134 #endif
 135 #define LST_SIMPLEID 258
 136 #define LST_LOGICALOP 259
 137 #define LST_EQOP 260
 138 #define LST_SIMPLEOP 261
 139 #define LST_MAPSYM 262
 140 #define LST_FIELDMAPSYM 263
 141 #define LST_MARKERSYM 264
 142 #define LST_ifTOKEN 265
 143 #define LST_thenTOKEN 266
 144 #define LST_elseTOKEN 267
 145 #define LST_LBRACKET 268
 146 #define LST_RBRACKET 269
 147 #define LST_SELECTSYM 270
 148 #define LST_SEPSYM 271
 149 #define LST_OPENSYM 272
 150 #define LST_CLOSESYM 273
 151 #define LST_COLON 274
 152 #define LST_COMMA 275
 153 #define LST_EOL 276
 154 #define LST_COMMENTSYM 277
 155 #define LST_WHITESPACE 278
 156 #define LST_QUANTIFIERSYM 279
 157 #define LST_EQUATIONSYM 280
 158 #define LST_EQSEPSYM 281
 159 #define LST_COMPOSESYM 282
 160 #define LST_LPAR 283
 161 #define LST_RPAR 284
 162 #define LST_assertsTOKEN 285
 163 #define LST_assumesTOKEN 286
 164 #define LST_byTOKEN 287
 165 #define LST_convertsTOKEN 288
 166 #define LST_enumerationTOKEN 289
 167 #define LST_equationsTOKEN 290
 168 #define LST_exemptingTOKEN 291
 169 #define LST_forTOKEN 292
 170 #define LST_generatedTOKEN 293
 171 #define LST_impliesTOKEN 294
 172 #define LST_includesTOKEN 295
 173 #define LST_introducesTOKEN 296
 174 #define LST_ofTOKEN 297
 175 #define LST_partitionedTOKEN 298
 176 #define LST_traitTOKEN 299
 177 #define LST_tupleTOKEN 300
 178 #define LST_unionTOKEN 301
 179 #define LST_BADTOKEN 302
 180
 181
 182
 183
 184 #if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
 185
 186 typedef union YYSTYPE {
 187   ltoken ltok;  /* a leaf is also an ltoken */
 188   unsigned int count;
 189   /*@only@*/  ltokenList ltokenList;
 190   /*@only@*/  opFormNode opform;
 191   /*@owned@*/ sigNode signature;
 192   /*@only@*/  nameNode name;
 193   /*@owned@*/ lslOp operator;
 194   /*@only@*/  lslOpList operators;
 195   /*@-redef@*/ /*@-matchfields@*/
 196 } YYSTYPE;
 197 /* Line 1240 of yacc.c.  */
 198
 199 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
 200 # define YYSTYPE_IS_DECLARED 1
 201 # define YYSTYPE_IS_TRIVIAL 1
 202 #endif
 203
 204
 205
 206
 207
 208 /*
 209 ** Resets all flags in bison.head
 210 */
 211
 212
 213 /*@=allmacros@*/
 214 /*@=boolint@*/
 215 /*@=charint@*/
 216 /*@=macroparams@*/
 217 /*@=macroundef@*/
 218 /*@=unreachable@*/
 219 /*@=macrospec@*/
 220 /*@=varuse@*/
 221 /*@=ignorequals@*/
 222 /*@=macrostmt@*/
 223 /*@=noeffect@*/
 224 /*@=shadow@*/
 225 /*@=exitarg@*/
 226 /*@=macroredef@*/
 227 /*@=uniondef@*/
 228 /*@=compdef@*/
 229 /*@=matchfields@*/
 230 /*@=exportlocal@*/
 231 /*@=evalorderuncon@*/
 232 /*@=exportheader@*/
 233 /*@=typeuse@*/
 234 /*@=redecl@*/
 235 /*@=redef@*/
 236 /*@=noparams@*/
 237 /*@=ansireserved@*/
 238 /*@=fielduse@*/
 239 /*@=ifblock@*/
 240 /*@=elseifcomplete@*/
 241 /*@=whileblock@*/
 242 /*@=forblock@*/
 243 /*@=branchstate@*/
 244 /*@=readonlytrans@*/
 245 /*@=namechecks@*/
 246 /*@=usedef@*/
 247 /*@=systemunrecog@*/
 248 /*@=dependenttrans@*/
 249 /*@=unqualifiedtrans@*/
 250 /*@=declundef@*/
 251
 252
 253 /*drl added 11/27/2001*/
 254 /*@=bounds@*/
 255
 256 /*drl added 12/11/2002*/
 257 /*@=type@*/