X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..ed62d3fbeda6bb085991cdd683ceacfc57f7afbe:/src/Headers/usymIdSet.h

diff --git a/src/Headers/usymIdSet.h b/src/Headers/usymIdSet.h
index 2933c2a..61b60b5 100644
--- 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); @*/