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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
/*
** mtscanner.h
*/

# ifndef MTSCANNER_H
# define MTSCANNER_H

/*@-declundef@*/
extern void mtscanner_reset (inputStream p_sourceFile) 
     /*@modifies internalState@*/ ;

/*@-redecl@*/
extern int mtlex (YYSTYPE *p_mtlval)
     /*@modifies internalState, p_mtlval@*/ ;
/*@=redecl@*/

extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
   /* Can steal p_tok's location. */
/*@=declundef@*/

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
28bf4b0b	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** mtscanner.h
	8	*/
	9
	10	# ifndef MTSCANNER_H
	11	# define MTSCANNER_H
	12
a956d444	13	/@-declundef@/
28bf4b0b	14	extern void mtscanner_reset (inputStream p_sourceFile)
	15	/@modifies internalState@/ ;
	16
	17	/@-redecl@/
	18	extern int mtlex (YYSTYPE *p_mtlval)
	19	/@modifies internalState, p_mtlval@/ ;
	20	/@=redecl@/
	21
	22	extern ctype mtscanner_lookupType (mttok p_tok) /@modifies p_tok@/ ;
	23	/* Can steal p_tok's location. */
a956d444	24	/@=declundef@/
28bf4b0b	25
	26	# else
	27	# error "Multiple include"
	28	# endif