Renamed truenull nullwhentrue and falsenull falsewhennull

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

diff --git a/src/Headers/mtDeclarationPiece.h b/src/Headers/mtDeclarationPiece.h
index 9cfb196232eb2ddcec11879f5b2071cad2201be6..d9ae03f0ded07349286846f261cf7016a2cec0cf 100644 (file)
--- a/src/Headers/mtDeclarationPiece.h
+++ b/src/Headers/mtDeclarationPiece.h
@@ -28,10 +28,10 @@ struct s_mtDeclarationPiece {
 /*@constant null mtDeclarationPiece mtDeclarationPiece_undefined; @*/
 # define mtDeclarationPiece_undefined NULL
 
-extern /*@falsenull@*/ bool mtDeclarationPiece_isDefined(mtDeclarationPiece) /*@*/ ;
+extern /*@falsewhennull@*/ bool mtDeclarationPiece_isDefined(mtDeclarationPiece) /*@*/ ;
 # define mtDeclarationPiece_isDefined(p_h) ((p_h) != mtDeclarationPiece_undefined)
 
-extern /*@truenull@*/ bool mtDeclarationPiece_isUndefined(mtDeclarationPiece) /*@*/ ;
+extern /*@nullwhentrue@*/ bool mtDeclarationPiece_isUndefined(mtDeclarationPiece) /*@*/ ;
 # define mtDeclarationPiece_isUndefined(p_h) ((p_h) == mtDeclarationPiece_undefined)
 
 extern mtDeclarationPiece mtDeclarationPiece_createContext (/*@only@*/ mtContextNode) /*@*/ ;