2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
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@*/ ;
18 # error "Multiple include"