testimplication.java

一个关于java 的常用工具包

package org.jutiltest.predicate;
import org.jutil.junit.JutilTest;
import org.jutil.junit.CVSRevision;
import org.jutil.predicate.Implication;
import org.jutil.predicate.Predicate;
import org.jutil.predicate.PrimitiveTotalPredicate;
import org.jutil.predicate.TotalPredicate;
import org.jutil.predicate.NegationAsFailure;

public class TestImplication extends JutilTest {

  public TestImplication(String name) {
    super(name, new CVSRevision("1.2"));
  }

  public void setup() {
  }

  private Predicate _greaterThan5 = new PrimitiveTotalPredicate() {
    public boolean eval(Object o) {
      if(!(o instanceof Integer)) {
        return false;
      }
      else {
        return ((Integer)o).intValue() > 5;
      }
    }
  };

  private Predicate _smallerThan5 = new PrimitiveTotalPredicate() {
    public boolean eval(Object o) {
      if(!(o instanceof Integer)) {
        return false;
      }
      else {
        return ((Integer)o).intValue() < 5;
      }
    }
  };

  private Predicate _equalTo5 = new PrimitiveTotalPredicate() {
    public boolean eval(Object o) {
      if(!(o instanceof Integer)) {
        return false;
      }
      else {
        return ((Integer)o).intValue() == 5;
      }
    }
  };

  private TotalPredicate wrap(Predicate predicate) {
    return new NegationAsFailure(predicate);
  }

  public void testImplication() {
    for (int i=-10; i<5; i++) {
      assertTrue(wrap(new Implication(_equalTo5,_smallerThan5)).eval(new Integer(i)));
      assertTrue(! wrap(new Implication(_smallerThan5,_equalTo5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_greaterThan5,_smallerThan5)).eval(new Integer(i)));
      assertTrue(! wrap(new Implication(_smallerThan5,_greaterThan5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_equalTo5,_greaterThan5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_greaterThan5,_equalTo5)).eval(new Integer(i)));
    } 
    for (int i=6; i<15; i++) {
      assertTrue(wrap(new Implication(_equalTo5,_smallerThan5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_smallerThan5,_equalTo5)).eval(new Integer(i)));
      assertTrue(! wrap(new Implication(_greaterThan5,_smallerThan5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_smallerThan5,_greaterThan5)).eval(new Integer(i)));
      assertTrue(wrap(new Implication(_equalTo5,_greaterThan5)).eval(new Integer(i)));
      assertTrue(! wrap(new Implication(_greaterThan5,_equalTo5)).eval(new Integer(i)));
    } 
    for(int i=0;i<11;i++) {
      assertTrue(wrap(new Implication(_greaterThan5,_greaterThan5)).eval(new Integer(i)));
    }
    for(int i=0;i<11;i++) {
      assertTrue(wrap(new Implication(_smallerThan5,_smallerThan5)).eval(new Integer(i)));
    }
    for(int i=0;i<11;i++) {
      assertTrue(wrap(new Implication(_equalTo5,_equalTo5)).eval(new Integer(i)));
    }
    assertTrue(wrap(new Implication(_equalTo5,_equalTo5)).eval(new Integer(5)));

  }
}