noexpand always false.

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

diff --git a/src/Headers/fileloc.h b/src/Headers/fileloc.h
index 21e98bbe268b056ab7031a2235a92a33aa22ad1b..7b7f7b3d6540ca52890dad8f61625c92749176a5 100644 (file)
--- a/src/Headers/fileloc.h
+++ b/src/Headers/fileloc.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -36,10 +36,7 @@ extern fileloc fileloc_create (fileId p_fid, int p_line, int p_col) /*@*/ ;
 extern bool fileloc_isSystemFile (fileloc p_f1) /*@*/ ;
 extern bool fileloc_isXHFile (fileloc p_f1) /*@*/ ;
 
-# ifndef NOLCL
 extern fileloc fileloc_createSpec (fileId p_fid, int p_line, int p_col) /*@*/ ;
-# endif
-
 extern fileloc fileloc_createLib (cstring p_ln) /*@*/ ;
 extern fileloc fileloc_createRc (cstring p_name) /*@*/ ;
 extern fileloc fileloc_decColumn (fileloc p_f, int p_x) /*@*/ ;
@@ -47,11 +44,9 @@ extern void fileloc_subColumn (fileloc p_f, int p_x) /*@modifies p_f@*/ ;
 extern fileloc fileloc_getBuiltin (void) /*@*/ ;
 extern /*@observer@*/ fileloc fileloc_observeBuiltin (void) /*@*/ ;
 extern fileloc fileloc_createBuiltin (void) /*@*/ ;
-
-# ifndef NOLCL
 extern fileloc fileloc_createImport (cstring p_fname, int p_lineno) /*@*/ ;
-# endif
 
+extern void fileloc_destroyMod (void) /*@modifies internalState@*/ ;
 extern bool fileloc_isSpecialFile (fileloc p_f) /*@*/ ;
 extern bool fileloc_sameBaseFile (fileloc p_f1, fileloc p_f2) /*@*/ ;
 extern /*@observer@*/ cstring fileloc_filename (fileloc p_f) /*@*/ ;
@@ -83,8 +78,8 @@ extern bool fileloc_isExternal (/*@sef@*/ fileloc p_f) /*@*/;
 # define fileloc_isExternal(f) \
      (fileloc_isDefined(f) && ((f)->kind == FL_EXTERNAL))
 
-extern /*@falsenull@*/ bool fileloc_isDefined (/*@null@*/ fileloc p_f) /*@*/ ;
-extern /*@truenull@*/ bool fileloc_isUndefined (/*@null@*/ fileloc p_f) /*@*/ ;
+extern /*@falsewhennull@*/ bool fileloc_isDefined (/*@null@*/ fileloc p_f) /*@*/ ;
+extern /*@nullwhentrue@*/ bool fileloc_isUndefined (/*@null@*/ fileloc p_f) /*@*/ ;
 extern bool fileloc_isInvalid (/*@sef@*/ /*@null@*/ fileloc p_f) /*@*/ ;
 
 /*@constant null fileloc fileloc_undefined; @*/
@@ -95,9 +90,7 @@ extern bool fileloc_isInvalid (/*@sef@*/ /*@null@*/ fileloc p_f) /*@*/ ;
 
 extern bool fileloc_isLib (fileloc p_f) /*@*/ ;
 
-# ifndef NOLCL
 extern fileloc fileloc_fromTok (ltoken p_t) /*@*/ ;
-# endif
 
 /*@constant int UNKNOWN_LINE; @*/
 # define UNKNOWN_LINE (0)
@@ -114,13 +107,11 @@ extern /*@unused@*/ bool fileloc_columnDefined (/*@sef@*/ fileloc p_f) /*@*/ ;
 # define fileloc_columnDefined(f) \
   (fileloc_isValid (f) && (f)->column != UNKNOWN_COLUMN)
 
-# ifndef NOLCL
 extern void fileloc_setColumnUndefined (/*@sef@*/ fileloc p_f) /*@modifies p_f@*/;
 # define fileloc_setColumnUndefined(f) \
   (fileloc_isDefined(f) ? (f)->column = UNKNOWN_COLUMN : UNKNOWN_COLUMN)
-# endif
 
-extern /*@falsenull@*/ bool fileloc_isValid (/*@sef@*/ fileloc p_f);
+extern /*@falsewhennull@*/ bool fileloc_isValid (/*@sef@*/ fileloc p_f);
 # define fileloc_isValid(f) \
   (fileloc_isDefined(f) && ((f)->lineno >= 0))