X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..69db2541c57e431cbd87bf1ae1eb25f34bc70743:/src/Headers/mtAnnotationList.h

diff --git a/src/Headers/mtAnnotationList.h b/src/Headers/mtAnnotationList.h
index 43632e4..0e18e97 100644
--- a/src/Headers/mtAnnotationList.h
+++ b/src/Headers/mtAnnotationList.h
@@ -1,42 +1,44 @@
 /*
-** 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.
 **
 */
 # ifndef MTANNOTATIONLIST_H
 # define MTANNOTATIONLIST_H
 
+typedef /*@only@*/ mtAnnotationDecl o_mtAnnotationDecl;
+
 struct s_mtAnnotationList
 {
   int      nelements;
   int      nspace;
-  /*@reldef@*/ /*@relnull@*/ mtAnnotationDecl *elements;
+  /*@reldef@*/ /*@relnull@*/ o_mtAnnotationDecl *elements;
 } ;
 
 /*@constant null mtAnnotationList mtAnnotationList_undefined;@*/
 # define mtAnnotationList_undefined ((mtAnnotationList) NULL)
 
-extern /*@falsenull@*/ bool mtAnnotationList_isDefined (mtAnnotationList p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool mtAnnotationList_isDefined (mtAnnotationList p_s) /*@*/ ;
 # define mtAnnotationList_isDefined(s)   ((s) != mtAnnotationList_undefined)
 
 extern int mtAnnotationList_size (/*@sef@*/ mtAnnotationList) /*@*/ ;
 # define mtAnnotationList_size(s) (mtAnnotationList_isDefined (s) ? (s)->nelements : 0)
 
-extern /*@unused@*/ /*@falsenull@*/ bool mtAnnotationList_empty (/*@sef@*/ mtAnnotationList) /*@*/ ;
+extern /*@unused@*/ /*@falsewhennull@*/ bool mtAnnotationList_empty (/*@sef@*/ mtAnnotationList) /*@*/ ;
 # define mtAnnotationList_empty(s) (mtAnnotationList_size(s) == 0)
 
 extern cstring mtAnnotationList_unparseSep (mtAnnotationList p_s, cstring p_sep) /*@*/ ;
 
 extern /*@unused@*/ /*@only@*/ mtAnnotationList mtAnnotationList_new (void) /*@*/ ;
 
-extern /*@only@*/ mtAnnotationList mtAnnotationList_single (/*@keep@*/ mtAnnotationDecl p_el) /*@*/ ;
+extern /*@only@*/ mtAnnotationList mtAnnotationList_single (/*@only@*/ mtAnnotationDecl p_el) /*@*/ ;
 
 extern mtAnnotationList 
-  mtAnnotationList_add (/*@returned@*/ mtAnnotationList p_s, /*@keep@*/ mtAnnotationDecl p_el) 
+  mtAnnotationList_add (/*@returned@*/ mtAnnotationList p_s, /*@only@*/ mtAnnotationDecl p_el) 
   /*@modifies p_s@*/ ;
 
-extern mtAnnotationList 
-  mtAnnotationList_prepend (/*@returned@*/ mtAnnotationList p_s, /*@keep@*/ mtAnnotationDecl p_el) 
+extern /*@only@*/ mtAnnotationList 
+  mtAnnotationList_prepend (/*@only@*/ mtAnnotationList p_s, /*@only@*/ mtAnnotationDecl p_el) 
   /*@modifies p_s@*/ ;
 
 extern /*@unused@*/ /*@only@*/ cstring mtAnnotationList_unparse (mtAnnotationList p_s) ;