[splint.git] / src / flex.head

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

/*@-allmacros@*/
/*@-pred@*/
/*@-globstate@*/
/*@-null@*/
/*@+boolint@*/
/*@+charint@*/
/*@-macrospec@*/
/*@-macroredef@*/
/*@-exitarg@*/
/*@-compdef@*/
/*@-uniondef@*/
/*@+ignorequals@*/
/*@-noreturn@*/
/*@-mustfree@*/
/*@-compdestroy@*/
/*@-branchstate@*/
/*@-unreachable@*/
/*@-varuse@*/
/*@-fcnuse@*/
/*@-exportlocal@*/
/*@-evalorderuncon@*/
/*@-exportheader@*/
/*@-redecl@*/
/*@-loopswitchbreak@*/
/*@-switchswitchbreak@*/
/*@-sizeoftype@*/
/*@-czechfcns@*/
/*@-noparams@*/
/*@-ansireserved@*/
/*@-ifblock@*/
/*@-whileblock@*/
/*@-forblock@*/
/*@-elseifcomplete@*/
/*@+ptrnegate@*/
/*@-onlytrans@*/
/*@-temptrans@*/
/*@-immediatetrans@*/
/*@-namechecks@*/
/*@+matchanyintegral@*/
/*@-statictrans@*/
/*@-compmempass@*/
/*@-forempty@*/
/*@-evalorder@*/
/*@-retalias@*/
/*@-dependenttrans@*/
/*@-noeffect@*/
/*@-protoparammatch@*/
/*@-casebreak@*/
/*@-retvalother@*/
/*@-exportheader@*/

/*drl added 11/27/2001*/


# ifdef __LCLINT__
/*@-redecl@*/ /*@-type@*/
extern int lsllex (void);
/*@=redecl@*/ /*@=type@*/

/*
** Need to do this because ECHO is defined by the Posix library.  
** flex shouldn't use it.
*/

/*@notfunction@*/
# define ECHO \
  fwrite (yytext, yyleng, 1, yyout)

# ifndef DEFFILENO
extern /*@external@*/ int fileno (/* FILE *stream */);
# define DEFFILENO
# endif
# endif

# ifdef OSF
# undef __GNUC__ 
# endif

/*@-redecl@*/

/* < end of flex.head > */
Commit	Line	Data
885824d3	1	/*
	2	** Inserted at beginning of c files generated by flex
	3	** REMEMBER: Change flex.reset too.
	4	*/
	5
	6	/@-allmacros@/
	7	/@-pred@/
	8	/@-globstate@/
	9	/@-null@/
	10	/@+boolint@/
	11	/@+charint@/
	12	/@-macrospec@/
	13	/@-macroredef@/
	14	/@-exitarg@/
	15	/@-compdef@/
	16	/@-uniondef@/
	17	/@+ignorequals@/
	18	/@-noreturn@/
	19	/@-mustfree@/
	20	/@-compdestroy@/
	21	/@-branchstate@/
	22	/@-unreachable@/
	23	/@-varuse@/
	24	/@-fcnuse@/
	25	/@-exportlocal@/
	26	/@-evalorderuncon@/
	27	/@-exportheader@/
	28	/@-redecl@/
	29	/@-loopswitchbreak@/
	30	/@-switchswitchbreak@/
	31	/@-sizeoftype@/
	32	/@-czechfcns@/
	33	/@-noparams@/
	34	/@-ansireserved@/
	35	/@-ifblock@/
	36	/@-whileblock@/
	37	/@-forblock@/
	38	/@-elseifcomplete@/
	39	/@+ptrnegate@/
	40	/@-onlytrans@/
	41	/@-temptrans@/
	42	/@-immediatetrans@/
	43	/@-namechecks@/
	44	/@+matchanyintegral@/
	45	/@-statictrans@/
	46	/@-compmempass@/
	47	/@-forempty@/
	48	/@-evalorder@/
	49	/@-retalias@/
	50	/@-dependenttrans@/
	51	/@-noeffect@/
	52	/@-protoparammatch@/
	53	/@-casebreak@/
	54	/@-retvalother@/
6fcd0b1e	55	/@-exportheader@/
885824d3	56
e5508969	57	/drl added 11/27/2001/
e5508969	58
e5508969	59
885824d3	60	# ifdef __LCLINT__
	61	/@-redecl@/ /@-type@/
	62	extern int lsllex (void);
	63	/@=redecl@/ /@=type@/
	64
	65	/*
	66	** Need to do this because ECHO is defined by the Posix library.
	67	** flex shouldn't use it.
	68	*/
	69
	70	/@notfunction@/
	71	# define ECHO \
	72	fwrite (yytext, yyleng, 1, yyout)
	73
	74	# ifndef DEFFILENO
	75	extern /@external@/ int fileno (/* FILE stream /);
	76	# define DEFFILENO
	77	# endif
	78	# endif
	79
	80	# ifdef OSF
	81	# undef __GNUC__
	82	# endif
	83
	84	/@-redecl@/
	85
	86	/* < end of flex.head > */
	87