TestFormula.java

package de.fhro.inf.fp;import de.fhro.inf.fp.UnaryPredicate;import junit.framework.TestCase;import org.apache.log4j.BasicConfigurator;import org.apache.log4j.Category;import org.apache.log4j.Logger;import java.util.ArrayList;import java.util.HashMap;import java.util.Map;public class TestFormula extends TestCase {    private static Category logger = null;    static {        logger = Logger.getLogger(TestFormula.class);        BasicConfigurator.configure();    }    public void testFormula() {        Map pred = new HashMap();        pred.put("a", new Odd());        pred.put("b", new GreaterThan5());        pred.put("c", new LessThan20());        pred.put("d", new Formula("a b AND c NOT OR", pred));        boolean b;        UnaryPredicate f = new Formula("d", pred);        b = f.execute(new Integer(2));        logger.info(new Boolean(b));    // false        assertTrue(!b);        b = f.execute(new Integer(3));        logger.info(new Boolean(b));    // false        assertTrue(!b);        b = f.execute(new Integer(7));        logger.info(new Boolean(b));    // true        assertTrue(b);        b = f.execute(new Integer(20));        logger.info(new Boolean(b));    // true        assertTrue(b);        b = f.execute(new Integer(21));        logger.info(new Boolean(b));    // true        assertTrue(b);    }        public void testFP() {    	ArrayList l = new ArrayList();    	ArrayList l2;    	boolean b;    	// 1, 3, 5    	l.add(new Integer(1));    	l.add(new Integer(3));    	l.add(new Integer(5));    	ArrayList n = (ArrayList) FP.filter(new Odd(), l);    	assertEquals(n, l);    	b = FP.some(new Odd(), l);    	assertTrue(b);    	b = FP.every(new Odd(), l);    	assertTrue(b);    	// 1, 3, 5, 2    	l2 = (ArrayList) l.clone();    	l2.add(new Integer(2));    	n = (ArrayList) FP.filter(new Odd(), l2);    	assertEquals(n, l);    	b = FP.some(new Odd(), l2);    	assertTrue(b);    	b = FP.every(new Odd(), l2);    	assertFalse(b);    	    }}