package be.kuleuven.cs.distrinet.rejuse.predicate;

/**
 * <p>A special total predicate that always returns <code>false</code> for 
 * <a href="False.html#eval(java.lang.Object)">eval()<code></code></a>.</p>
 *
 * <center><img src="doc-files/False.png"/></center>
 *
 * @path    $Source$
 * @version $Revision$
 * @date    $Date$
 * @state   $State$
 * @author  Marko van Dooren
 * @release $Name$
 */
public class False<T> extends SafePredicate<T> {

  /* The revision of this class */
    public final static String CVS_REVISION ="$Revision$";
    
    /*@
	 @ also public behavior
	 @
	 @ post \result == false;
	 @*/
	public /*@ pure @*/ boolean eval(T object) {
		return false;
	}
	
}
@@ -45,16 +45,72 @@
 icate;%0A%0A
+import be.kuleuven.cs.distrinet.rejuse.action.Nothing;%0A%0A
 /**%0A * %3C
@@ -469,19 +469,16 @@
 ss False
-%3CT%3E
  extends
@@ -482,12 +482,17 @@
 nds 
-Safe
+Universal
 Pred
@@ -501,117 +501,73 @@
 ate%3C
-T%3E %7B%0A%0A  /* The revision of this class */%0A    public final static String CVS_REVISION =%22$Revision$%22;%0A    %0A    
+Object,Nothing%3E %7B%0A%0A public False() %7B%0A%09%09super(Object.class);%0A%09%7D%0A%0A%09
 /*@%0A
@@ -661,14 +661,28 @@
 ean 
-eval(T
+uncheckedEval(Object
  obj

made False a UniversalPredicate