]> andersk Git - splint.git/blob - src/Headers/nameChecks.h
Initial revision
[splint.git] / src / Headers / nameChecks.h
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
This page took 0.03665 seconds and 5 git commands to generate.