public void test_ctor() { try { new EQ((IVariable<?>)null/*x*/, (IVariable<?>)null/*y*/); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } try { new EQ(Var.var("x"), null/*y*/); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } try { new EQ(Var.var("x"), Var.var("x")); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } new EQ(Var.var("x"), Var.var("y")); }
public void test_eval_correct_unbound() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x") }, // new IConstant[] { new Constant<String>("1") }); assertTrue(op.get(bs1)); } }
/** * Correct rejection for when the variables have different bindings. */ public void test_eval_correct_rejection() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x"), Var.var("y") }, // new IConstant[] { new Constant<String>("1"), new Constant<String>("2") }); assertFalse(op.get(bs1)); }
public void test_eval_correct_unbound() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x") }, // new IConstant[] { new Constant<String>("1") }); assertTrue(op.get(bs1)); } }
/** * Correct rejection for when the variables have different bindings. */ public void test_eval_correct_rejection() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x"), Var.var("y") }, // new IConstant[] { new Constant<String>("1"), new Constant<String>("2") }); assertFalse(op.get(bs1)); }
/** * Correct acceptance. */ public void test_eval() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x"), Var.var("y") }, // new IConstant[] { new Constant<String>("1"), new Constant<String>("1") }); assertTrue(op.get(bs1)); }
public void test_ctor() { try { new EQ((IVariable<?>)null/*x*/, (IVariable<?>)null/*y*/); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } try { new EQ(Var.var("x"), null/*y*/); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } try { new EQ(Var.var("x"), Var.var("x")); fail("Excepting: " + IllegalArgumentException.class); } catch (IllegalArgumentException ex) { if (log.isInfoEnabled()) log.info("Ignoring expected exception: " + ex); } new EQ(Var.var("x"), Var.var("y")); }
/** * Correct acceptance. */ public void test_eval() { final EQ op = new EQ(Var.var("x"), Var.var("y")); final IBindingSet bs1 = new ListBindingSet(// new IVariable[] { Var.var("x"), Var.var("y") }, // new IConstant[] { new Constant<String>("1"), new Constant<String>("1") }); assertTrue(op.get(bs1)); }