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

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

# ifndef MTREADER_H
# define MTREADER_H

extern void mtreader_readFile (/*@only@*/ cstring p_infile) 
     /*@modifies internalState@*/ ;

extern void mtreader_processDeclaration (/*@only@*/ mtDeclarationNode p_decl)
     /*@modifies internalState@*/ ;

extern void mtreader_processGlobalDeclaration (/*@only@*/ mtDeclarationNode p_decl)
     /*@modifies internalState@*/ ;

# 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	** mtreader.h
	8	*/
	9
	10	# ifndef MTREADER_H
	11	# define MTREADER_H
	12
	13	extern void mtreader_readFile (/@only@/ cstring p_infile)
	14	/@modifies internalState@/ ;
	15
	16	extern void mtreader_processDeclaration (/@only@/ mtDeclarationNode p_decl)
	17	/@modifies internalState@/ ;
	18
	19	extern void mtreader_processGlobalDeclaration (/@only@/ mtDeclarationNode p_decl)
	20	/@modifies internalState@/ ;
	21
	22	# else
	23	# error "Multiple include"
	24	# endif