Created html faq file to replace the faq.txt

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

diff --git a/src/Headers/mtDefaultsDeclList.h b/src/Headers/mtDefaultsDeclList.h
index 3fb005bbf4c3ed94c596824275ac9d0465887b5f..a4d7a7563c272398862349ebdb6a0ad51e9c5f12 100644 (file)
--- a/src/Headers/mtDefaultsDeclList.h
+++ b/src/Headers/mtDefaultsDeclList.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.
 **
 */
@@ -19,13 +19,13 @@ struct s_mtDefaultsDeclList
 /*@constant null mtDefaultsDeclList mtDefaultsDeclList_undefined;@*/
 # define mtDefaultsDeclList_undefined ((mtDefaultsDeclList) NULL)
 
-extern /*@falsenull@*/ bool mtDefaultsDeclList_isDefined (mtDefaultsDeclList p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool mtDefaultsDeclList_isDefined (mtDefaultsDeclList p_s) /*@*/ ;
 # define mtDefaultsDeclList_isDefined(s)   ((s) != mtDefaultsDeclList_undefined)
 
 extern int mtDefaultsDeclList_size (/*@sef@*/ mtDefaultsDeclList) /*@*/ ;
 # define mtDefaultsDeclList_size(s) (mtDefaultsDeclList_isDefined (s) ? (s)->nelements : 0)
 
-extern /*@unused@*/ /*@falsenull@*/ bool mtDefaultsDeclList_empty (/*@sef@*/ mtDefaultsDeclList) /*@*/ ;
+extern /*@unused@*/ /*@falsewhennull@*/ bool mtDefaultsDeclList_empty (/*@sef@*/ mtDefaultsDeclList) /*@*/ ;
 # define mtDefaultsDeclList_empty(s) (mtDefaultsDeclList_size(s) == 0)
 
 extern cstring mtDefaultsDeclList_unparseSep (mtDefaultsDeclList p_s, cstring p_sep) /*@*/ ;
@@ -39,7 +39,7 @@ extern mtDefaultsDeclList
   /*@modifies p_s@*/ ;
 
 extern mtDefaultsDeclList 
-  mtDefaultsDeclList_prepend (/*@returned@*/ mtDefaultsDeclList p_s, /*@keep@*/ mtDefaultsDecl p_el) 
+  mtDefaultsDeclList_prepend (/*@only@*/ mtDefaultsDeclList p_s, /*@keep@*/ mtDefaultsDecl p_el) 
   /*@modifies p_s@*/ ;
 
 extern /*@unused@*/ /*@only@*/ cstring