Updated html and word versions of the manual

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

diff --git a/src/Headers/cpp.h b/src/Headers/cpp.h
index 2592038e07af6fc2dfb21059c503c435b102ed1a..dc66f3d4cc498854a1150b8c9835fb302647d45a 100644 (file)
--- a/src/Headers/cpp.h
+++ b/src/Headers/cpp.h
@@ -46,11 +46,13 @@ extern /*@only@*/ cstring cppReader_getIncludePath (void) ;
 extern int cppProcess (/*@dependent@*/ cstring p_infile,
                       /*@dependent@*/ cstring p_outfile);
 extern void cppAddIncludeDir (cstring);
-extern void cppReader_initMod (void);
+extern void cppReader_initMod (void) /*@modifies internalState@*/ ;
+extern void cppReader_destroyMod (void) /*@modifies internalState@*/ ;
 extern void cppDoDefine (cstring);
 extern void cppDoUndefine (cstring);
 extern void cppReader_saveDefinitions (void);
 
+extern fileloc cppReader_getLoc (cppReader *);
 extern void cppReader_initialize (void);
 
 # else