Added va_copy to standard.h.

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

diff --git a/src/Headers/annotationInfo.h b/src/Headers/annotationInfo.h
index 0ce3da9b17260c3964c110c48ce9d778f93ed700..d88066c0ef301ab558a145f38dc971c2d67db1b1 100644 (file)
--- a/src/Headers/annotationInfo.h
+++ b/src/Headers/annotationInfo.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.
 */
 /*
@@ -26,10 +26,10 @@ struct s_annotationInfo {
 /*@constant null annotationInfo annotationInfo_undefined; @*/
 # define annotationInfo_undefined    ((annotationInfo) NULL)
 
-extern /*@falsenull@*/ bool annotationInfo_isDefined (annotationInfo) /*@*/ ;
+extern /*@falsewhennull@*/ bool annotationInfo_isDefined (annotationInfo) /*@*/ ;
 # define annotationInfo_isDefined(p_info) ((p_info) != annotationInfo_undefined)
 
-extern /*@truenull@*/ bool annotationInfo_isUndefined (annotationInfo) /*@*/ ;
+extern /*@nullwhentrue@*/ bool annotationInfo_isUndefined (annotationInfo) /*@*/ ;
 # define annotationInfo_isUndefined(p_info) ((p_info) == annotationInfo_undefined)
 
 extern bool annotationInfo_equal (annotationInfo, annotationInfo) /*@*/ ;
@@ -48,8 +48,8 @@ annotationInfo_create (/*@only@*/ cstring p_name,
                       /*@only@*/ mtContextNode p_context,
                       int p_value, /*@only@*/ fileloc p_loc) /*@*/ ;
 
-extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_ainfo);
-extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_ainfo) /*@*/ ;
+extern /*@observer@*/ cstring annotationInfo_unparse (annotationInfo p_a);
+extern /*@observer@*/ fileloc annotationInfo_getLoc (annotationInfo p_a) /*@*/ ;
 
 extern void annotationInfo_free (/*@only@*/ annotationInfo) ;