Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/usymIdSet.h b/src/Headers/usymIdSet.h
index 2933c2a3512f0544bffccb006b98066e65386a6d..61b60b5c4d37bcc3db04f5b89c7a33378bbb077d 100644 (file)
--- a/src/Headers/usymIdSet.h
+++ b/src/Headers/usymIdSet.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 /*
@@ -11,9 +11,7 @@
 # ifndef USYMIDSET_H
 # define USYMIDSET_H
 
-# include "usymId.h"
-
-abst_typedef /*@null@*/ struct _usymIdSet
+abst_typedef /*@null@*/ struct
 {
   int entries;
   int nspace;
@@ -43,10 +41,10 @@ extern /*@only@*/ usymIdSet
 /*@constant null usymIdSet usymIdSet_undefined; @*/
 # define usymIdSet_undefined    ((usymIdSet) NULL)
 
-extern /*@falsenull@*/ bool usymIdSet_isDefined (usymIdSet p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool usymIdSet_isDefined (usymIdSet p_s) /*@*/ ;
 # define usymIdSet_isDefined(s) ((s) != usymIdSet_undefined)
 
-extern /*@truenull@*/ bool usymIdSet_isUndefined (usymIdSet p_s) /*@*/ ;
+extern /*@nullwhentrue@*/ bool usymIdSet_isUndefined (usymIdSet p_s) /*@*/ ;
 # define usymIdSet_isUndefined(s) ((s) == usymIdSet_undefined)
 
 /*@iter usymIdSet_elements (sef usymIdSet u, yield usymId el); @*/