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

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

# ifndef MTSCANNER_H
# define MTSCANNER_H

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. */

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