Win32 problems

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

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

# ifndef NAMECHECKS_H
# define NAMECHECKS_H

extern void checkCppName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkExternalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkLocalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkFileScopeName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkPrefix (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkAnsiName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
extern void checkParamNames (uentry p_ue) /*@modifies g_msgstream@*/;
/*@i32! should get error without modifies p_ue@*/ 

# else
# error "Multiple include"
# endif