2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 extern void checkCppName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
11 extern void checkExternalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
12 extern void checkLocalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
13 extern void checkFileScopeName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
14 extern void checkPrefix (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
15 extern void checkAnsiName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
16 extern void checkParamNames (uentry p_ue) /*@modifies g_msgstream@*/;
17 /*@i32! should get error without modifies p_ue@*/
20 # error "Multiple include"