[splint.git] / src / Headers / mtgrammar_tokens.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_MTGRAMMAR_TAB_H
# define BISON_MTGRAMMAR_TAB_H

#ifndef YYSTYPE
typedef union {
  mttok tok; 
  mtDeclarationNode mtdecl;
  mtDeclarationPiece mtpiece;
  mtDeclarationPieces mtpieces;
  mtContextNode mtcontext;
  mtValuesNode mtvalues;
  mtDefaultsNode mtdefaults;
  mtDefaultsDeclList mtdeflist;
  mtAnnotationsNode mtannotations;
  mtAnnotationList mtannotlist;
  mtAnnotationDecl mtannotdecl;
  mtMergeNode mtmerge;
  mtMergeItem mtmergeitem;
  mtMergeClauseList mtmergeclauselist;
  mtMergeClause mtmergeclause;
  mtTransferClauseList mttransferclauselist;
  mtTransferClause mttransferclause;
  mtTransferAction mttransferaction;
  mtLoseReferenceList mtlosereferencelist;
  mtLoseReference mtlosereference;
  pointers pointers;
  /*@only@*/ cstringList cstringlist;
  ctype ctyp;
  /*@only@*/ qtype qtyp;
  qual qual;
  qualList quals;
} yystype;
# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
# define	MT_BADTOK	257
# define	MT_END	258
# define	MT_STATE	259
# define	MT_GLOBAL	260
# define	MT_CONTEXT	261
# define	MT_ONEOF	262
# define	MT_DEFAULTS	263
# define	MT_DEFAULT	264
# define	MT_REFERENCE	265
# define	MT_PARAMETER	266
# define	MT_RESULT	267
# define	MT_CLAUSE	268
# define	MT_LITERAL	269
# define	MT_NULL	270
# define	MT_ANNOTATIONS	271
# define	MT_ARROW	272
# define	MT_MERGE	273
# define	MT_TRANSFERS	274
# define	MT_PRECONDITIONS	275
# define	MT_POSTCONDITIONS	276
# define	MT_LOSEREFERENCE	277
# define	MT_AS	278
# define	MT_ERROR	279
# define	MT_PLUS	280
# define	MT_STAR	281
# define	MT_BAR	282
# define	MT_LPAREN	283
# define	MT_RPAREN	284
# define	MT_LBRACKET	285
# define	MT_RBRACKET	286
# define	MT_LBRACE	287
# define	MT_RBRACE	288
# define	MT_COMMA	289
# define	MT_CHAR	290
# define	MT_INT	291
# define	MT_FLOAT	292
# define	MT_DOUBLE	293
# define	MT_VOID	294
# define	MT_ANYTYPE	295
# define	MT_INTEGRALTYPE	296
# define	MT_UNSIGNEDINTEGRALTYPE	297
# define	MT_SIGNEDINTEGRALTYPE	298
# define	MT_CONST	299
# define	MT_VOLATILE	300
# define	MT_RESTRICT	301
# define	MT_STRINGLIT	302
# define	MT_IDENT	303


#endif /* not BISON_MTGRAMMAR_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
28bf4b0b	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@/
bb7c2085	44	/@-nullpass@/
	45	/@-nullptrarith/
	46	/@-usereleased@/
60eced23	47	/@-declundef@/
28bf4b0b	48
bbed3d50	49	/drl added 11/27/2001/
bb7c2085	50	/@-bounds@/
e015e087	51
	52	/drl added 12/11/2002/
	53	/@-type@/
	54
28bf4b0b	55	/* < end of bison.head > */
28bf4b0b	56
210066f9	57	#ifndef BISON_MTGRAMMAR_TAB_H
210066f9	58	# define BISON_MTGRAMMAR_TAB_H
3e7d9038	59
210066f9	60	#ifndef YYSTYPE
210066f9	61	typedef union {
28bf4b0b	62	mttok tok;
	63	mtDeclarationNode mtdecl;
	64	mtDeclarationPiece mtpiece;
	65	mtDeclarationPieces mtpieces;
	66	mtContextNode mtcontext;
	67	mtValuesNode mtvalues;
	68	mtDefaultsNode mtdefaults;
	69	mtDefaultsDeclList mtdeflist;
	70	mtAnnotationsNode mtannotations;
	71	mtAnnotationList mtannotlist;
	72	mtAnnotationDecl mtannotdecl;
	73	mtMergeNode mtmerge;
	74	mtMergeItem mtmergeitem;
	75	mtMergeClauseList mtmergeclauselist;
	76	mtMergeClause mtmergeclause;
	77	mtTransferClauseList mttransferclauselist;
	78	mtTransferClause mttransferclause;
	79	mtTransferAction mttransferaction;
	80	mtLoseReferenceList mtlosereferencelist;
	81	mtLoseReference mtlosereference;
f9264521	82	pointers pointers;
28bf4b0b	83	/@only@/ cstringList cstringlist;
	84	ctype ctyp;
	85	/@only@/ qtype qtyp;
f9264521	86	qual qual;
f9264521	87	qualList quals;
210066f9	88	} yystype;
210066f9	89	# define YYSTYPE yystype
3e7d9038	90	# define YYSTYPE_IS_TRIVIAL 1
3e7d9038	91	#endif
210066f9	92	# define MT_BADTOK 257
	93	# define MT_END 258
	94	# define MT_STATE 259
	95	# define MT_GLOBAL 260
	96	# define MT_CONTEXT 261
	97	# define MT_ONEOF 262
	98	# define MT_DEFAULTS 263
	99	# define MT_DEFAULT 264
	100	# define MT_REFERENCE 265
	101	# define MT_PARAMETER 266
	102	# define MT_RESULT 267
	103	# define MT_CLAUSE 268
	104	# define MT_LITERAL 269
	105	# define MT_NULL 270
	106	# define MT_ANNOTATIONS 271
	107	# define MT_ARROW 272
	108	# define MT_MERGE 273
	109	# define MT_TRANSFERS 274
	110	# define MT_PRECONDITIONS 275
	111	# define MT_POSTCONDITIONS 276
	112	# define MT_LOSEREFERENCE 277
	113	# define MT_AS 278
	114	# define MT_ERROR 279
	115	# define MT_PLUS 280
	116	# define MT_STAR 281
	117	# define MT_BAR 282
	118	# define MT_LPAREN 283
	119	# define MT_RPAREN 284
	120	# define MT_LBRACKET 285
	121	# define MT_RBRACKET 286
	122	# define MT_LBRACE 287
	123	# define MT_RBRACE 288
	124	# define MT_COMMA 289
	125	# define MT_CHAR 290
	126	# define MT_INT 291
	127	# define MT_FLOAT 292
	128	# define MT_DOUBLE 293
	129	# define MT_VOID 294
	130	# define MT_ANYTYPE 295
	131	# define MT_INTEGRALTYPE 296
	132	# define MT_UNSIGNEDINTEGRALTYPE 297
	133	# define MT_SIGNEDINTEGRALTYPE 298
	134	# define MT_CONST 299
	135	# define MT_VOLATILE 300
	136	# define MT_RESTRICT 301
	137	# define MT_STRINGLIT 302
	138	# define MT_IDENT 303
	139
	140
	141	#endif /* not BISON_MTGRAMMAR_TAB_H */
28bf4b0b	142	/*
	143	** Resets all flags in bison.head
	144	*/
	145
	146
	147	/@=allmacros@/
	148	/@=boolint@/
	149	/@=charint@/
	150	/@=macroparams@/
	151	/@=macroundef@/
	152	/@=unreachable@/
	153	/@=macrospec@/
	154	/@=varuse@/
	155	/@=ignorequals@/
	156	/@=macrostmt@/
	157	/@=noeffect@/
	158	/@=shadow@/
	159	/@=exitarg@/
	160	/@=macroredef@/
	161	/@=uniondef@/
	162	/@=compdef@/
	163	/@=matchfields@/
	164	/@=exportlocal@/
	165	/@=evalorderuncon@/
	166	/@=exportheader@/
	167	/@=typeuse@/
	168	/@=redecl@/
	169	/@=redef@/
	170	/@=noparams@/
	171	/@=ansireserved@/
	172	/@=fielduse@/
	173	/@=ifblock@/
	174	/@=elseifcomplete@/
	175	/@=whileblock@/
	176	/@=forblock@/
	177	/@=branchstate@/
	178	/@=readonlytrans@/
	179	/@=namechecks@/
	180	/@=usedef@/
	181	/@=systemunrecog@/
	182	/@=dependenttrans@/
	183	/@=unqualifiedtrans@/
60eced23	184	/@=declundef@/
bbed3d50	185
	186
	187	/drl added 11/27/2001/
bb7c2085	188	/@=bounds@/
e015e087	189
	190	/drl added 12/11/2002/
	191	/@=type@/