Added manual files

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

diff --git a/src/Headers/fileloc.h b/src/Headers/fileloc.h
index 0a9f72b22d66888c0226159dbd4e9a2cb5d44441..21e98bbe268b056ab7031a2235a92a33aa22ad1b 100644 (file)
--- a/src/Headers/fileloc.h
+++ b/src/Headers/fileloc.h
@@ -166,6 +166,8 @@ extern fileloc fileloc_updateFileId (/*@only@*/ fileloc p_old, fileId p_s) /*@*/
 extern fileloc fileloc_makePreproc (fileloc p_loc) /*@*/ ;
 extern fileloc fileloc_makePreprocPrevious (fileloc p_loc) /*@*/ ;
 
+extern /*@only@*/ cstring fileloc_outputFilename (fileloc) /*@*/ ;
+
 extern bool fileloc_isStandardLibrary (fileloc p_f) /*@*/ ;
 extern bool fileloc_isStandardLib (fileloc p_f) /*@*/ ;
 
@@ -174,6 +176,10 @@ extern bool fileloc_withinLines (fileloc p_f1, fileloc p_f2, int p_n) /*@*/ ;
 extern bool fileloc_isUser (fileloc p_f) /*@*/ ;
 extern bool fileloc_sameModule (fileloc p_f1, fileloc p_f2) /*@*/ ;
 
+extern bool fileloc_storable (/*@sef@*/ fileloc p_f) /*@*/;
+# define fileloc_storable(f) ((f) != g_currentloc || fileloc_isBuiltin (f) || fileloc_isExternal (f))
+
+
 # else
 # error "Multiple include"
 # endif