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