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

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

# ifndef RCFILES_H
# define RCFILES_H

extern bool rcfiles_read (cstring p_fname,
			  cstringSList *p_passThroughArgs,
			  bool p_report) 
  /*@modifies fileSystem, internalState, *p_passThroughArgs@*/ ;
   
# endif
Commit	Line	Data
140c27a8	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** rcfiles.h
	8	*/
	9
	10	# ifndef RCFILES_H
	11	# define RCFILES_H
	12
	13	extern bool rcfiles_read (cstring p_fname,
	14	cstringSList *p_passThroughArgs,
	15	bool p_report)
	16	/@modifies fileSystem, internalState, p_passThroughArgs@*/ ;
	17
	18	# endif