Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/metaStateExpression.h b/src/Headers/metaStateExpression.h
index 805d68cde1f83feda2f5e83ac891fa0fa9c0c881..7980c4556f9b5f83bcd840781b3481062add203f 100644 (file)
--- a/src/Headers/metaStateExpression.h
+++ b/src/Headers/metaStateExpression.h
@@ -17,10 +17,10 @@ struct s_metaStateExpression {
 /*@constant null metaStateExpression metaStateExpression_undefined; @*/
 # define metaStateExpression_undefined    ((metaStateExpression) NULL)
 
-extern /*@falsenull@*/ bool metaStateExpression_isDefined (metaStateExpression) /*@*/ ;
+extern /*@falsewhennull@*/ bool metaStateExpression_isDefined (metaStateExpression) /*@*/ ;
 # define metaStateExpression_isDefined(p_info) ((p_info) != NULL)
 
-extern /*@truenull@*/ bool metaStateExpression_isUndefined (metaStateExpression) /*@*/ ;
+extern /*@nullwhentrue@*/ bool metaStateExpression_isUndefined (metaStateExpression) /*@*/ ;
 # define metaStateExpression_isUndefined(p_info) ((p_info) == NULL)
 
 extern /*@notnull@*/ metaStateExpression