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

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

# ifndef NAMECHECKS_H
# define NAMECHECKS_H

extern bool checkCppName (cstring p_name, fileloc p_loc) /*@modifies g_msgstream@*/ ;
extern void checkGlobalName (uentry p_ue);
extern void checkLocalName (uentry p_ue);
extern void checkPrefix (uentry p_ue);
extern bool checkAnsiName (cstring p_name, fileloc p_loc);
extern void checkParamNames (uentry p_ue) /*@modifies g_msgstream@*/ ;

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
	7	# ifndef NAMECHECKS_H
	8	# define NAMECHECKS_H
	9
	10	extern bool checkCppName (cstring p_name, fileloc p_loc) /@modifies g_msgstream@/ ;
	11	extern void checkGlobalName (uentry p_ue);
	12	extern void checkLocalName (uentry p_ue);
	13	extern void checkPrefix (uentry p_ue);
	14	extern bool checkAnsiName (cstring p_name, fileloc p_loc);
	15	extern void checkParamNames (uentry p_ue) /@modifies g_msgstream@/ ;
	16
	17	# else
	18	# error "Multiple include"
	19	# endif