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 2.3.  */
  58
  59 /* Skeleton interface for Bison's Yacc-like parsers in C
  60
  61    Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
  62    Free Software Foundation, Inc.
  63
  64    This program is free software; you can redistribute it and/or modify
  65    it under the terms of the GNU General Public License as published by
  66    the Free Software Foundation; either version 2, or (at your option)
  67    any later version.
  68
  69    This program is distributed in the hope that it will be useful,
  70    but WITHOUT ANY WARRANTY; without even the implied warranty of
  71    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  72    GNU General Public License for more details.
  73
  74    You should have received a copy of the GNU General Public License
  75    along with this program; if not, write to the Free Software
  76    Foundation, Inc., 51 Franklin Street, Fifth Floor,
  77    Boston, MA 02110-1301, USA.  */
  78
  79 /* As a special exception, you may create a larger work that contains
  80    part or all of the Bison parser skeleton and distribute that work
  81    under terms of your choice, so long as that work isn't itself a
  82    parser generator using the skeleton or a modified version thereof
  83    as a parser skeleton.  Alternatively, if you modify or redistribute
  84    the parser skeleton itself, you may (at your option) remove this
  85    special exception, which will cause the skeleton and the resulting
  86    Bison output files to be licensed under the GNU General Public
  87    License without this special exception.
  88
  89    This special exception was added by the Free Software Foundation in
  90    version 2.2 of Bison.  */
  91
  92 /* Tokens.  */
  93 #ifndef YYTOKENTYPE
  94 # define YYTOKENTYPE
  95    /* Put the tokens into the symbol table, so that GDB and other debuggers
  96       know about them.  */
  97    enum yytokentype {
  98      LST_SIMPLEID = 258,
  99      LST_LOGICALOP = 259,
 100      LST_EQOP = 260,
 101      LST_SIMPLEOP = 261,
 102      LST_MAPSYM = 262,
 103      LST_FIELDMAPSYM = 263,
 104      LST_MARKERSYM = 264,
 105      LST_ifTOKEN = 265,
 106      LST_thenTOKEN = 266,
 107      LST_elseTOKEN = 267,
 108      LST_LBRACKET = 268,
 109      LST_RBRACKET = 269,
 110      LST_SELECTSYM = 270,
 111      LST_SEPSYM = 271,
 112      LST_OPENSYM = 272,
 113      LST_CLOSESYM = 273,
 114      LST_COLON = 274,
 115      LST_COMMA = 275,
 116      LST_EOL = 276,
 117      LST_COMMENTSYM = 277,
 118      LST_WHITESPACE = 278,
 119      LST_QUANTIFIERSYM = 279,
 120      LST_EQUATIONSYM = 280,
 121      LST_EQSEPSYM = 281,
 122      LST_COMPOSESYM = 282,
 123      LST_LPAR = 283,
 124      LST_RPAR = 284,
 125      LST_assertsTOKEN = 285,
 126      LST_assumesTOKEN = 286,
 127      LST_byTOKEN = 287,
 128      LST_convertsTOKEN = 288,
 129      LST_enumerationTOKEN = 289,
 130      LST_equationsTOKEN = 290,
 131      LST_exemptingTOKEN = 291,
 132      LST_forTOKEN = 292,
 133      LST_generatedTOKEN = 293,
 134      LST_impliesTOKEN = 294,
 135      LST_includesTOKEN = 295,
 136      LST_introducesTOKEN = 296,
 137      LST_ofTOKEN = 297,
 138      LST_partitionedTOKEN = 298,
 139      LST_traitTOKEN = 299,
 140      LST_tupleTOKEN = 300,
 141      LST_unionTOKEN = 301,
 142      LST_BADTOKEN = 302
 143    };
 144 #endif
 145 /* Tokens.  */
 146 #define LST_SIMPLEID 258
 147 #define LST_LOGICALOP 259
 148 #define LST_EQOP 260
 149 #define LST_SIMPLEOP 261
 150 #define LST_MAPSYM 262
 151 #define LST_FIELDMAPSYM 263
 152 #define LST_MARKERSYM 264
 153 #define LST_ifTOKEN 265
 154 #define LST_thenTOKEN 266
 155 #define LST_elseTOKEN 267
 156 #define LST_LBRACKET 268
 157 #define LST_RBRACKET 269
 158 #define LST_SELECTSYM 270
 159 #define LST_SEPSYM 271
 160 #define LST_OPENSYM 272
 161 #define LST_CLOSESYM 273
 162 #define LST_COLON 274
 163 #define LST_COMMA 275
 164 #define LST_EOL 276
 165 #define LST_COMMENTSYM 277
 166 #define LST_WHITESPACE 278
 167 #define LST_QUANTIFIERSYM 279
 168 #define LST_EQUATIONSYM 280
 169 #define LST_EQSEPSYM 281
 170 #define LST_COMPOSESYM 282
 171 #define LST_LPAR 283
 172 #define LST_RPAR 284
 173 #define LST_assertsTOKEN 285
 174 #define LST_assumesTOKEN 286
 175 #define LST_byTOKEN 287
 176 #define LST_convertsTOKEN 288
 177 #define LST_enumerationTOKEN 289
 178 #define LST_equationsTOKEN 290
 179 #define LST_exemptingTOKEN 291
 180 #define LST_forTOKEN 292
 181 #define LST_generatedTOKEN 293
 182 #define LST_impliesTOKEN 294
 183 #define LST_includesTOKEN 295
 184 #define LST_introducesTOKEN 296
 185 #define LST_ofTOKEN 297
 186 #define LST_partitionedTOKEN 298
 187 #define LST_traitTOKEN 299
 188 #define LST_tupleTOKEN 300
 189 #define LST_unionTOKEN 301
 190 #define LST_BADTOKEN 302
 191
 192
 193
 194
 195 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
 196 typedef union YYSTYPE
 197
 198 {
 199   ltoken ltok;  /* a leaf is also an ltoken */
 200   unsigned int count;
 201   /*@only@*/  ltokenList ltokenList;
 202   /*@only@*/  opFormNode opform;
 203   /*@owned@*/ sigNode signature;
 204   /*@only@*/  nameNode name;
 205   /*@owned@*/ lslOp operator;
 206   /*@only@*/  lslOpList operators;
 207   /*@-redef@*/ /*@-matchfields@*/
 208 }
 209 /* Line 1529 of yacc.c.  */
 210
 211         YYSTYPE;
 212 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
 213 # define YYSTYPE_IS_DECLARED 1
 214 # define YYSTYPE_IS_TRIVIAL 1
 215 #endif
 216
 217
 218
 219 /*
 220 ** Resets all flags in bison.head
 221 */
 222
 223
 224 /*@=allmacros@*/
 225 /*@=boolint@*/
 226 /*@=charint@*/
 227 /*@=macroparams@*/
 228 /*@=macroundef@*/
 229 /*@=unreachable@*/
 230 /*@=macrospec@*/
 231 /*@=varuse@*/
 232 /*@=ignorequals@*/
 233 /*@=macrostmt@*/
 234 /*@=noeffect@*/
 235 /*@=shadow@*/
 236 /*@=exitarg@*/
 237 /*@=macroredef@*/
 238 /*@=uniondef@*/
 239 /*@=compdef@*/
 240 /*@=matchfields@*/
 241 /*@=exportlocal@*/
 242 /*@=evalorderuncon@*/
 243 /*@=exportheader@*/
 244 /*@=typeuse@*/
 245 /*@=redecl@*/
 246 /*@=redef@*/
 247 /*@=noparams@*/
 248 /*@=ansireserved@*/
 249 /*@=fielduse@*/
 250 /*@=ifblock@*/
 251 /*@=elseifcomplete@*/
 252 /*@=whileblock@*/
 253 /*@=forblock@*/
 254 /*@=branchstate@*/
 255 /*@=readonlytrans@*/
 256 /*@=namechecks@*/
 257 /*@=usedef@*/
 258 /*@=systemunrecog@*/
 259 /*@=dependenttrans@*/
 260 /*@=unqualifiedtrans@*/
 261 /*@=declundef@*/
 262
 263
 264 /*drl added 11/27/2001*/
 265 /*@=bounds@*/
 266
 267 /*drl added 12/11/2002*/
 268 /*@=type@*/