X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/91b588dea2cd9d465b092f5a934ebf1638f79253..08cf86420d78ec43cc82ce0258cd86704afd80bd:/src/Headers/llgrammar_gen2.h diff --git a/src/Headers/llgrammar_gen2.h b/src/Headers/llgrammar_gen2.h index 205a8b1..e1f420d 100644 --- a/src/Headers/llgrammar_gen2.h +++ b/src/Headers/llgrammar_gen2.h @@ -54,11 +54,325 @@ /* < end of bison.head > */ -#ifndef BISON_LLGRAMMAR_TAB_H -# define BISON_LLGRAMMAR_TAB_H +/* A Bison parser, made by GNU Bison 2.3. */ + +/* Skeleton interface for Bison's Yacc-like parsers in C + + Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006 + Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2, or (at your option) + any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, + Boston, MA 02110-1301, USA. */ + +/* As a special exception, you may create a larger work that contains + part or all of the Bison parser skeleton and distribute that work + under terms of your choice, so long as that work isn't itself a + parser generator using the skeleton or a modified version thereof + as a parser skeleton. Alternatively, if you modify or redistribute + the parser skeleton itself, you may (at your option) remove this + special exception, which will cause the skeleton and the resulting + Bison output files to be licensed under the GNU General Public + License without this special exception. + + This special exception was added by the Free Software Foundation in + version 2.2 of Bison. */ + +/* Tokens. */ +#ifndef YYTOKENTYPE +# define YYTOKENTYPE + /* Put the tokens into the symbol table, so that GDB and other debuggers + know about them. */ + enum yytokentype { + simpleOp = 258, + PREFIX_OP = 259, + POSTFIX_OP = 260, + LLT_MULOP = 261, + LLT_SEMI = 262, + LLT_VERTICALBAR = 263, + ITERATION_OP = 264, + selectSym = 265, + LLT_LBRACKET = 266, + LLT_LPAR = 267, + LLT_IF_THEN_ELSE = 268, + logicalOp = 269, + eqSepSym = 270, + equationSym = 271, + commentSym = 272, + LLT_WHITESPACE = 273, + LLT_EOL = 274, + LLT_TYPEDEF_NAME = 275, + quantifierSym = 276, + openSym = 277, + closeSym = 278, + sepSym = 279, + simpleId = 280, + mapSym = 281, + markerSym = 282, + preSym = 283, + postSym = 284, + anySym = 285, + LLT_COLON = 286, + LLT_COMMA = 287, + LLT_EQUALS = 288, + LLT_LBRACE = 289, + LLT_RBRACE = 290, + LLT_RBRACKET = 291, + LLT_RPAR = 292, + LLT_QUOTE = 293, + eqOp = 294, + LLT_CCHAR = 295, + LLT_CFLOAT = 296, + LLT_CINTEGER = 297, + LLT_LCSTRING = 298, + LLT_ALL = 299, + LLT_ANYTHING = 300, + LLT_BE = 301, + LLT_BODY = 302, + LLT_CLAIMS = 303, + LLT_CHECKS = 304, + LLT_CONSTANT = 305, + LLT_ELSE = 306, + LLT_ENSURES = 307, + LLT_FOR = 308, + LLT_FRESH = 309, + LLT_IF = 310, + LLT_IMMUTABLE = 311, + LLT_IMPORTS = 312, + LLT_CONSTRAINT = 313, + LLT_ISSUB = 314, + LLT_LET = 315, + LLT_MODIFIES = 316, + LLT_MUTABLE = 317, + LLT_NOTHING = 318, + LLT_INTERNAL = 319, + LLT_FILESYS = 320, + LLT_OBJ = 321, + LLT_OUT = 322, + LLT_SEF = 323, + LLT_ONLY = 324, + LLT_PARTIAL = 325, + LLT_OWNED = 326, + LLT_DEPENDENT = 327, + LLT_KEEP = 328, + LLT_KEPT = 329, + LLT_TEMP = 330, + LLT_SHARED = 331, + LLT_UNIQUE = 332, + LLT_UNUSED = 333, + LLT_EXITS = 334, + LLT_MAYEXIT = 335, + LLT_NEVEREXIT = 336, + LLT_TRUEEXIT = 337, + LLT_FALSEEXIT = 338, + LLT_UNDEF = 339, + LLT_KILLED = 340, + LLT_CHECKMOD = 341, + LLT_CHECKED = 342, + LLT_UNCHECKED = 343, + LLT_CHECKEDSTRICT = 344, + LLT_TRUENULL = 345, + LLT_FALSENULL = 346, + LLT_LNULL = 347, + LLT_LNOTNULL = 348, + LLT_RETURNED = 349, + LLT_OBSERVER = 350, + LLT_EXPOSED = 351, + LLT_REFCOUNTED = 352, + LLT_REFS = 353, + LLT_RELNULL = 354, + LLT_RELDEF = 355, + LLT_KILLREF = 356, + LLT_NULLTERMINATED = 357, + LLT_TEMPREF = 358, + LLT_NEWREF = 359, + LLT_PRIVATE = 360, + LLT_REQUIRES = 361, + LLT_RESULT = 362, + LLT_SIZEOF = 363, + LLT_SPEC = 364, + LLT_TAGGEDUNION = 365, + LLT_THEN = 366, + LLT_TYPE = 367, + LLT_TYPEDEF = 368, + LLT_UNCHANGED = 369, + LLT_USES = 370, + LLT_CHAR = 371, + LLT_CONST = 372, + LLT_DOUBLE = 373, + LLT_ENUM = 374, + LLT_FLOAT = 375, + LLT_INT = 376, + LLT_ITER = 377, + LLT_YIELD = 378, + LLT_LONG = 379, + LLT_SHORT = 380, + LLT_SIGNED = 381, + LLT_UNKNOWN = 382, + LLT_STRUCT = 383, + LLT_TELIPSIS = 384, + LLT_UNION = 385, + LLT_UNSIGNED = 386, + LLT_VOID = 387, + LLT_VOLATILE = 388, + LLT_PRINTFLIKE = 389, + LLT_SCANFLIKE = 390, + LLT_MESSAGELIKE = 391 + }; +#endif +/* Tokens. */ +#define simpleOp 258 +#define PREFIX_OP 259 +#define POSTFIX_OP 260 +#define LLT_MULOP 261 +#define LLT_SEMI 262 +#define LLT_VERTICALBAR 263 +#define ITERATION_OP 264 +#define selectSym 265 +#define LLT_LBRACKET 266 +#define LLT_LPAR 267 +#define LLT_IF_THEN_ELSE 268 +#define logicalOp 269 +#define eqSepSym 270 +#define equationSym 271 +#define commentSym 272 +#define LLT_WHITESPACE 273 +#define LLT_EOL 274 +#define LLT_TYPEDEF_NAME 275 +#define quantifierSym 276 +#define openSym 277 +#define closeSym 278 +#define sepSym 279 +#define simpleId 280 +#define mapSym 281 +#define markerSym 282 +#define preSym 283 +#define postSym 284 +#define anySym 285 +#define LLT_COLON 286 +#define LLT_COMMA 287 +#define LLT_EQUALS 288 +#define LLT_LBRACE 289 +#define LLT_RBRACE 290 +#define LLT_RBRACKET 291 +#define LLT_RPAR 292 +#define LLT_QUOTE 293 +#define eqOp 294 +#define LLT_CCHAR 295 +#define LLT_CFLOAT 296 +#define LLT_CINTEGER 297 +#define LLT_LCSTRING 298 +#define LLT_ALL 299 +#define LLT_ANYTHING 300 +#define LLT_BE 301 +#define LLT_BODY 302 +#define LLT_CLAIMS 303 +#define LLT_CHECKS 304 +#define LLT_CONSTANT 305 +#define LLT_ELSE 306 +#define LLT_ENSURES 307 +#define LLT_FOR 308 +#define LLT_FRESH 309 +#define LLT_IF 310 +#define LLT_IMMUTABLE 311 +#define LLT_IMPORTS 312 +#define LLT_CONSTRAINT 313 +#define LLT_ISSUB 314 +#define LLT_LET 315 +#define LLT_MODIFIES 316 +#define LLT_MUTABLE 317 +#define LLT_NOTHING 318 +#define LLT_INTERNAL 319 +#define LLT_FILESYS 320 +#define LLT_OBJ 321 +#define LLT_OUT 322 +#define LLT_SEF 323 +#define LLT_ONLY 324 +#define LLT_PARTIAL 325 +#define LLT_OWNED 326 +#define LLT_DEPENDENT 327 +#define LLT_KEEP 328 +#define LLT_KEPT 329 +#define LLT_TEMP 330 +#define LLT_SHARED 331 +#define LLT_UNIQUE 332 +#define LLT_UNUSED 333 +#define LLT_EXITS 334 +#define LLT_MAYEXIT 335 +#define LLT_NEVEREXIT 336 +#define LLT_TRUEEXIT 337 +#define LLT_FALSEEXIT 338 +#define LLT_UNDEF 339 +#define LLT_KILLED 340 +#define LLT_CHECKMOD 341 +#define LLT_CHECKED 342 +#define LLT_UNCHECKED 343 +#define LLT_CHECKEDSTRICT 344 +#define LLT_TRUENULL 345 +#define LLT_FALSENULL 346 +#define LLT_LNULL 347 +#define LLT_LNOTNULL 348 +#define LLT_RETURNED 349 +#define LLT_OBSERVER 350 +#define LLT_EXPOSED 351 +#define LLT_REFCOUNTED 352 +#define LLT_REFS 353 +#define LLT_RELNULL 354 +#define LLT_RELDEF 355 +#define LLT_KILLREF 356 +#define LLT_NULLTERMINATED 357 +#define LLT_TEMPREF 358 +#define LLT_NEWREF 359 +#define LLT_PRIVATE 360 +#define LLT_REQUIRES 361 +#define LLT_RESULT 362 +#define LLT_SIZEOF 363 +#define LLT_SPEC 364 +#define LLT_TAGGEDUNION 365 +#define LLT_THEN 366 +#define LLT_TYPE 367 +#define LLT_TYPEDEF 368 +#define LLT_UNCHANGED 369 +#define LLT_USES 370 +#define LLT_CHAR 371 +#define LLT_CONST 372 +#define LLT_DOUBLE 373 +#define LLT_ENUM 374 +#define LLT_FLOAT 375 +#define LLT_INT 376 +#define LLT_ITER 377 +#define LLT_YIELD 378 +#define LLT_LONG 379 +#define LLT_SHORT 380 +#define LLT_SIGNED 381 +#define LLT_UNKNOWN 382 +#define LLT_STRUCT 383 +#define LLT_TELIPSIS 384 +#define LLT_UNION 385 +#define LLT_UNSIGNED 386 +#define LLT_VOID 387 +#define LLT_VOLATILE 388 +#define LLT_PRINTFLIKE 389 +#define LLT_SCANFLIKE 390 +#define LLT_MESSAGELIKE 391 + + + + +#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED +typedef union YYSTYPE -#ifndef YYSTYPE -typedef union { ltoken ltok; /* a leaf is also an ltoken */ qual typequal; @@ -124,149 +438,17 @@ typedef union /*@only@*/ interfaceNodeList interfacelist; /*@only@*/ CTypesNode ctypes; /*@-redef@*/ -} yystype; -# define YYSTYPE yystype +} +/* Line 1529 of yacc.c. */ + + YYSTYPE; +# define yystype YYSTYPE /* obsolescent; will be withdrawn */ +# define YYSTYPE_IS_DECLARED 1 # define YYSTYPE_IS_TRIVIAL 1 #endif -# define simpleOp 257 -# define PREFIX_OP 258 -# define POSTFIX_OP 259 -# define LLT_MULOP 260 -# define LLT_SEMI 261 -# define LLT_VERTICALBAR 262 -# define ITERATION_OP 263 -# define LLT_LPAR 264 -# define LLT_LBRACKET 265 -# define selectSym 266 -# define LLT_IF_THEN_ELSE 267 -# define logicalOp 268 -# define eqSepSym 269 -# define equationSym 270 -# define commentSym 271 -# define LLT_WHITESPACE 272 -# define LLT_EOL 273 -# define LLT_TYPEDEF_NAME 274 -# define quantifierSym 275 -# define openSym 276 -# define closeSym 277 -# define sepSym 278 -# define simpleId 279 -# define mapSym 280 -# define markerSym 281 -# define preSym 282 -# define postSym 283 -# define anySym 284 -# define LLT_COLON 285 -# define LLT_COMMA 286 -# define LLT_EQUALS 287 -# define LLT_LBRACE 288 -# define LLT_RBRACE 289 -# define LLT_RBRACKET 290 -# define LLT_RPAR 291 -# define LLT_QUOTE 292 -# define eqOp 293 -# define LLT_CCHAR 294 -# define LLT_CFLOAT 295 -# define LLT_CINTEGER 296 -# define LLT_LCSTRING 297 -# define LLT_ALL 298 -# define LLT_ANYTHING 299 -# define LLT_BE 300 -# define LLT_BODY 301 -# define LLT_CLAIMS 302 -# define LLT_CHECKS 303 -# define LLT_CONSTANT 304 -# define LLT_ELSE 305 -# define LLT_ENSURES 306 -# define LLT_FOR 307 -# define LLT_FRESH 308 -# define LLT_IF 309 -# define LLT_IMMUTABLE 310 -# define LLT_IMPORTS 311 -# define LLT_CONSTRAINT 312 -# define LLT_ISSUB 313 -# define LLT_LET 314 -# define LLT_MODIFIES 315 -# define LLT_MUTABLE 316 -# define LLT_NOTHING 317 -# define LLT_INTERNAL 318 -# define LLT_FILESYS 319 -# define LLT_OBJ 320 -# define LLT_OUT 321 -# define LLT_SEF 322 -# define LLT_ONLY 323 -# define LLT_PARTIAL 324 -# define LLT_OWNED 325 -# define LLT_DEPENDENT 326 -# define LLT_KEEP 327 -# define LLT_KEPT 328 -# define LLT_TEMP 329 -# define LLT_SHARED 330 -# define LLT_UNIQUE 331 -# define LLT_UNUSED 332 -# define LLT_EXITS 333 -# define LLT_MAYEXIT 334 -# define LLT_NEVEREXIT 335 -# define LLT_TRUEEXIT 336 -# define LLT_FALSEEXIT 337 -# define LLT_UNDEF 338 -# define LLT_KILLED 339 -# define LLT_CHECKMOD 340 -# define LLT_CHECKED 341 -# define LLT_UNCHECKED 342 -# define LLT_CHECKEDSTRICT 343 -# define LLT_TRUENULL 344 -# define LLT_FALSENULL 345 -# define LLT_LNULL 346 -# define LLT_LNOTNULL 347 -# define LLT_RETURNED 348 -# define LLT_OBSERVER 349 -# define LLT_EXPOSED 350 -# define LLT_REFCOUNTED 351 -# define LLT_REFS 352 -# define LLT_RELNULL 353 -# define LLT_RELDEF 354 -# define LLT_KILLREF 355 -# define LLT_NULLTERMINATED 356 -# define LLT_TEMPREF 357 -# define LLT_NEWREF 358 -# define LLT_PRIVATE 359 -# define LLT_REQUIRES 360 -# define LLT_RESULT 361 -# define LLT_SIZEOF 362 -# define LLT_SPEC 363 -# define LLT_TAGGEDUNION 364 -# define LLT_THEN 365 -# define LLT_TYPE 366 -# define LLT_TYPEDEF 367 -# define LLT_UNCHANGED 368 -# define LLT_USES 369 -# define LLT_CHAR 370 -# define LLT_CONST 371 -# define LLT_DOUBLE 372 -# define LLT_ENUM 373 -# define LLT_FLOAT 374 -# define LLT_INT 375 -# define LLT_ITER 376 -# define LLT_YIELD 377 -# define LLT_LONG 378 -# define LLT_SHORT 379 -# define LLT_SIGNED 380 -# define LLT_UNKNOWN 381 -# define LLT_STRUCT 382 -# define LLT_TELIPSIS 383 -# define LLT_UNION 384 -# define LLT_UNSIGNED 385 -# define LLT_VOID 386 -# define LLT_VOLATILE 387 -# define LLT_PRINTFLIKE 388 -# define LLT_SCANFLIKE 389 -# define LLT_MESSAGELIKE 390 - extern YYSTYPE yllval; -#endif /* not BISON_LLGRAMMAR_TAB_H */ /* ** Resets all flags in bison.head */