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

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

  /* The revision of this class */
    public final static String CVS_REVISION ="$Revision$";
    
 /*@
	 @ also public behavior
	 @
	 @ post \result == true;
	 @*/
	public /*@ pure @*/ boolean eval(T object) {
		return true;
	}
	
}


@@ -45,16 +45,72 @@
 icate;%0A%0A
+import be.kuleuven.cs.distrinet.rejuse.action.Nothing;%0A%0A
 /**%0A * %3C
@@ -465,19 +465,16 @@
 ass True
-%3CT%3E
  extends
@@ -478,12 +478,17 @@
 nds 
-Safe
+Universal
 Pred
@@ -497,114 +497,72 @@
 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%09public True() %7B%0A%09%09super(Object.class);%0A%09%7D%0A%0A%09
 /*@%0A
@@ -655,14 +655,28 @@
 ean 
-eval(T
+uncheckedEval(Object
  obj

made True a UniversalPredicate