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_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")); }
/** * Unit test for {@link OR#OR(IConstraint,IConstraint)} */ public void testConstructor () { BooleanValueExpression eq = new EQ ( Var.var ( "x" ), Var.var ( "y" ) ) ; BooleanValueExpression ne = new EQ ( Var.var ( "x" ), Var.var ( "y" ) ) ; try { assertTrue ( null != new OR ( null, eq ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new OR ( eq, null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != new OR ( eq, ne ) ) ; }
/** * Unit test for {@link OR#OR(IConstraint,IConstraint)} */ public void testConstructor () { BooleanValueExpression eq = new EQ ( Var.var ( "x" ), Var.var ( "y" ) ) ; BooleanValueExpression ne = new EQ ( Var.var ( "x" ), Var.var ( "y" ) ) ; try { assertTrue ( null != new OR ( null, eq ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new OR ( eq, null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != new OR ( eq, ne ) ) ; }
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)); } }
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 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)); }
/** * 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 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)); }
/** * Unit test for {@link OR#get(IBindingSet)} */ public void testAccept () { Var<?> x = Var.var ( "x" ) ; Var<?> y = Var.var ( "y" ) ; Constant<Integer> val1 = new Constant<Integer> ( 1 ) ; Constant<Integer> val2 = new Constant<Integer> ( 2 ) ; BooleanValueExpression eq = new EQ ( x, y ) ; BooleanValueExpression eqc = new EQConstant ( y, val2 ) ; OR op = new OR ( eq, eqc ) ; IBindingSet eqlhs = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val1, val1 } ) ; IBindingSet eqrhs = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val1, val2 } ) ; IBindingSet ne = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val2, val1 } ) ; assertTrue ( op.get ( eqlhs ) ) ; assertTrue ( op.get ( eqrhs ) ) ; assertFalse ( op.get ( ne ) ) ; } }
/** * Unit test for {@link OR#get(IBindingSet)} */ public void testAccept () { Var<?> x = Var.var ( "x" ) ; Var<?> y = Var.var ( "y" ) ; Constant<Integer> val1 = new Constant<Integer> ( 1 ) ; Constant<Integer> val2 = new Constant<Integer> ( 2 ) ; BooleanValueExpression eq = new EQ ( x, y ) ; BooleanValueExpression eqc = new EQConstant ( y, val2 ) ; OR op = new OR ( eq, eqc ) ; IBindingSet eqlhs = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val1, val1 } ) ; IBindingSet eqrhs = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val1, val2 } ) ; IBindingSet ne = new ListBindingSet ( new IVariable<?> [] { x, y }, new IConstant [] { val2, val1 } ) ; assertTrue ( op.get ( eqlhs ) ) ; assertTrue ( op.get ( eqrhs ) ) ; assertFalse ( op.get ( ne ) ) ; } }
new NV(ConditionalRoutingOp.Annotations.BOP_ID, condId), new NV(ConditionalRoutingOp.Annotations.CONDITION, Constraint.wrap(new EQ(x, z))) ));
new NV(ConditionalRoutingOp.Annotations.BOP_ID, condId), new NV(ConditionalRoutingOp.Annotations.CONDITION, Constraint.wrap(new EQ(x, z))) ));
new NV(ConditionalRoutingOp.Annotations.BOP_ID, condId), new NV(ConditionalRoutingOp.Annotations.CONDITION, Constraint.wrap(new EQ(x, z))) ));
new NV(ConditionalRoutingOp.Annotations.BOP_ID, condId), new NV(ConditionalRoutingOp.Annotations.CONDITION, Constraint.wrap(new EQ(x, z))) ));