/** * 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 ) ) ; }
/** * 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 ) ) ; } }