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