X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/Headers/mtAnnotationList.h

diff --git a/src/Headers/mtAnnotationList.h b/src/Headers/mtAnnotationList.h
index b02c6e7..0e18e97 100644
--- a/src/Headers/mtAnnotationList.h
+++ b/src/Headers/mtAnnotationList.h
@@ -6,11 +6,13 @@
 # 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;@*/
@@ -29,14 +31,14 @@ 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) ;