[splint.git] / src / Headers / signature_gen.h

/*
** Inserted at beginning of c files generated by bison
** REMEMBER:  Change bison.reset too.
*/

/*@-allmacros@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macroparams@*/
/*@-macroundef@*/
/*@-unreachable@*/
/*@-macrospec@*/
/*@-varuse@*/
/*@+ignorequals@*/
/*@-macrostmt@*/
/*@-noeffect@*/
/*@-shadow@*/
/*@-exitarg@*/
/*@-macroredef@*/
/*@-uniondef@*/
/*@-compdef@*/
/*@-matchfields@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-typeuse@*/
/*@-redecl@*/
/*@-redef@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-fielduse@*/
/*@-ifblock@*/
/*@-elseifcomplete@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-branchstate@*/
/*@-readonlytrans@*/
/*@-namechecks@*/
/*@-usedef@*/
/*@-systemunrecog@*/
/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/
/*@-nullpass@*/
/*@-nullptrarith*/
/*@-usereleased@*/
/*@-declundef@*/

/*drl added 11/27/2001*/
/*@-bounds@*/

/*drl added 12/11/2002*/
/*@-type@*/

/* < end of bison.head > */

#ifndef BISON_SIGNATURE_TAB_H
# define BISON_SIGNATURE_TAB_H

#ifndef YYSTYPE
typedef union {
  ltoken ltok;  /* a leaf is also an ltoken */
  unsigned int count;
  /*@only@*/  ltokenList ltokenList;
  /*@only@*/  opFormNode opform;
  /*@owned@*/ sigNode signature;
  /*@only@*/  nameNode name;
  /*@owned@*/ lslOp operator;
  /*@only@*/  lslOpList operators;
  /*@-redef@*/ /*@-matchfields@*/ 
} yystype;
# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
# define	LST_SIMPLEID	257
# define	LST_LOGICALOP	258
# define	LST_EQOP	259
# define	LST_SIMPLEOP	260
# define	LST_MAPSYM	261
# define	LST_FIELDMAPSYM	262
# define	LST_MARKERSYM	263
# define	LST_ifTOKEN	264
# define	LST_thenTOKEN	265
# define	LST_elseTOKEN	266
# define	LST_LBRACKET	267
# define	LST_RBRACKET	268
# define	LST_SELECTSYM	269
# define	LST_SEPSYM	270
# define	LST_OPENSYM	271
# define	LST_CLOSESYM	272
# define	LST_COLON	273
# define	LST_COMMA	274
# define	LST_EOL	275
# define	LST_COMMENTSYM	276
# define	LST_WHITESPACE	277
# define	LST_QUANTIFIERSYM	278
# define	LST_EQUATIONSYM	279
# define	LST_EQSEPSYM	280
# define	LST_COMPOSESYM	281
# define	LST_LPAR	282
# define	LST_RPAR	283
# define	LST_assertsTOKEN	284
# define	LST_assumesTOKEN	285
# define	LST_byTOKEN	286
# define	LST_convertsTOKEN	287
# define	LST_enumerationTOKEN	288
# define	LST_equationsTOKEN	289
# define	LST_exemptingTOKEN	290
# define	LST_forTOKEN	291
# define	LST_generatedTOKEN	292
# define	LST_impliesTOKEN	293
# define	LST_includesTOKEN	294
# define	LST_introducesTOKEN	295
# define	LST_ofTOKEN	296
# define	LST_partitionedTOKEN	297
# define	LST_traitTOKEN	298
# define	LST_tupleTOKEN	299
# define	LST_unionTOKEN	300
# define	LST_BADTOKEN	301


#endif /* not BISON_SIGNATURE_TAB_H */
/*
** Resets all flags in bison.head
*/


/*@=allmacros@*/
/*@=boolint@*/
/*@=charint@*/
/*@=macroparams@*/
/*@=macroundef@*/
/*@=unreachable@*/
/*@=macrospec@*/
/*@=varuse@*/
/*@=ignorequals@*/
/*@=macrostmt@*/
/*@=noeffect@*/
/*@=shadow@*/
/*@=exitarg@*/
/*@=macroredef@*/
/*@=uniondef@*/
/*@=compdef@*/
/*@=matchfields@*/
/*@=exportlocal@*/
/*@=evalorderuncon@*/
/*@=exportheader@*/
/*@=typeuse@*/
/*@=redecl@*/
/*@=redef@*/
/*@=noparams@*/
/*@=ansireserved@*/
/*@=fielduse@*/
/*@=ifblock@*/
/*@=elseifcomplete@*/
/*@=whileblock@*/
/*@=forblock@*/
/*@=branchstate@*/
/*@=readonlytrans@*/
/*@=namechecks@*/
/*@=usedef@*/
/*@=systemunrecog@*/
/*@=dependenttrans@*/
/*@=unqualifiedtrans@*/
/*@=declundef@*/


/*drl added 11/27/2001*/
/*@=bounds@*/

/*drl added 12/11/2002*/
/*@=type@*/
Commit	Line	Data
aeee38da	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@/
e015e087	51
	52	/drl added 12/11/2002/
	53	/@-type@/
	54
aeee38da	55	/* < end of bison.head > */
aeee38da	56
368f75ae	57	#ifndef BISON_SIGNATURE_TAB_H
368f75ae	58	# define BISON_SIGNATURE_TAB_H
e5081f8c	59
368f75ae	60	#ifndef YYSTYPE
368f75ae	61	typedef union {
aeee38da	62	ltoken ltok; /* a leaf is also an ltoken */
	63	unsigned int count;
	64	/@only@/ ltokenList ltokenList;
	65	/@only@/ opFormNode opform;
	66	/@owned@/ sigNode signature;
	67	/@only@/ nameNode name;
	68	/@owned@/ lslOp operator;
	69	/@only@/ lslOpList operators;
	70	/@-redef@/ /@-matchfields@/
368f75ae	71	} yystype;
368f75ae	72	# define YYSTYPE yystype
e5081f8c	73	# define YYSTYPE_IS_TRIVIAL 1
e5081f8c	74	#endif
368f75ae	75	# define LST_SIMPLEID 257
	76	# define LST_LOGICALOP 258
	77	# define LST_EQOP 259
	78	# define LST_SIMPLEOP 260
	79	# define LST_MAPSYM 261
	80	# define LST_FIELDMAPSYM 262
	81	# define LST_MARKERSYM 263
	82	# define LST_ifTOKEN 264
	83	# define LST_thenTOKEN 265
	84	# define LST_elseTOKEN 266
	85	# define LST_LBRACKET 267
	86	# define LST_RBRACKET 268
	87	# define LST_SELECTSYM 269
	88	# define LST_SEPSYM 270
	89	# define LST_OPENSYM 271
	90	# define LST_CLOSESYM 272
	91	# define LST_COLON 273
	92	# define LST_COMMA 274
	93	# define LST_EOL 275
	94	# define LST_COMMENTSYM 276
	95	# define LST_WHITESPACE 277
	96	# define LST_QUANTIFIERSYM 278
	97	# define LST_EQUATIONSYM 279
	98	# define LST_EQSEPSYM 280
	99	# define LST_COMPOSESYM 281
	100	# define LST_LPAR 282
	101	# define LST_RPAR 283
	102	# define LST_assertsTOKEN 284
	103	# define LST_assumesTOKEN 285
	104	# define LST_byTOKEN 286
	105	# define LST_convertsTOKEN 287
	106	# define LST_enumerationTOKEN 288
	107	# define LST_equationsTOKEN 289
	108	# define LST_exemptingTOKEN 290
	109	# define LST_forTOKEN 291
	110	# define LST_generatedTOKEN 292
	111	# define LST_impliesTOKEN 293
	112	# define LST_includesTOKEN 294
	113	# define LST_introducesTOKEN 295
	114	# define LST_ofTOKEN 296
	115	# define LST_partitionedTOKEN 297
	116	# define LST_traitTOKEN 298
	117	# define LST_tupleTOKEN 299
	118	# define LST_unionTOKEN 300
	119	# define LST_BADTOKEN 301
	120
	121
	122	#endif /* not BISON_SIGNATURE_TAB_H */
aeee38da	123	/*
	124	** Resets all flags in bison.head
	125	*/
	126
	127
	128	/@=allmacros@/
	129	/@=boolint@/
	130	/@=charint@/
	131	/@=macroparams@/
	132	/@=macroundef@/
	133	/@=unreachable@/
	134	/@=macrospec@/
	135	/@=varuse@/
	136	/@=ignorequals@/
	137	/@=macrostmt@/
	138	/@=noeffect@/
	139	/@=shadow@/
	140	/@=exitarg@/
	141	/@=macroredef@/
	142	/@=uniondef@/
	143	/@=compdef@/
	144	/@=matchfields@/
	145	/@=exportlocal@/
	146	/@=evalorderuncon@/
	147	/@=exportheader@/
	148	/@=typeuse@/
	149	/@=redecl@/
	150	/@=redef@/
	151	/@=noparams@/
	152	/@=ansireserved@/
	153	/@=fielduse@/
	154	/@=ifblock@/
	155	/@=elseifcomplete@/
	156	/@=whileblock@/
	157	/@=forblock@/
	158	/@=branchstate@/
	159	/@=readonlytrans@/
	160	/@=namechecks@/
	161	/@=usedef@/
	162	/@=systemunrecog@/
	163	/@=dependenttrans@/
	164	/@=unqualifiedtrans@/
	165	/@=declundef@/
	166
	167
	168	/drl added 11/27/2001/
	169	/@=bounds@/
e015e087	170
	171	/drl added 12/11/2002/
	172	/@=type@/