Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/metaStateConstraintList.h b/src/Headers/metaStateConstraintList.h
index e62047b746d303f0df21dad8283b2419b67c08d7..c50201e9fb5c17de21c3866bb5e89b4ea1c754a8 100644 (file)
--- a/src/Headers/metaStateConstraintList.h
+++ b/src/Headers/metaStateConstraintList.h
@@ -14,9 +14,9 @@ struct s_metaStateConstraintList
   /*@reldef@*/ /*@relnull@*/ b_metaStateConstraint *elements;
 } ;
 
-extern /*@unused@*/ /*@truenull@*/ bool
+extern /*@unused@*/ /*@nullwhentrue@*/ bool
   metaStateConstraintList_isUndefined (metaStateConstraintList p_f) /*@*/ ;
-extern /*@falsenull@*/ bool metaStateConstraintList_isDefined (metaStateConstraintList p_f) /*@*/ ;
+extern /*@falsewhennull@*/ bool metaStateConstraintList_isDefined (metaStateConstraintList p_f) /*@*/ ;
 
 /*@constant null metaStateConstraintList metaStateConstraintList_undefined; @*/
 # define metaStateConstraintList_undefined (NULL)