/** * Unit test for {@link NE#NE(IVariable,IVariable)} */ public void testConstructor () { try { assertTrue ( null != new NE ( null, Var.var ( "y" ) ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new NE ( Var.var ( "x" ), null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new NE ( Var.var ( "x" ), Var.var ( "x" ) ) ) ; fail ( "IllegalArgumentException expected, lhs identical to rhs" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != new NE ( Var.var ( "x" ), Var.var ( "y" ) ) ) ; }
/** * Unit test for {@link NE#get(IBindingSet)} */ public void testGet () { final Var<?> x = Var.var ( "x" ) ; final Var<?> y = Var.var ( "y" ) ; final Var<?> vars [] = new Var<?> [] { x, y } ; final NE op = new NE ( x, y ) ; final IBindingSet eq = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "1" ) } ) ; final IBindingSet ne = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "2" ) } ) ; final IBindingSet nb = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { new Constant<String> ( "1" ) } ) ; assertTrue ( op.get ( ne ) ) ; assertFalse ( op.get ( eq ) ) ; assertTrue ( op.get ( nb ) ) ; } }
/** * Unit test for {@link NE#get(IBindingSet)} */ public void testGet () { final Var<?> x = Var.var ( "x" ) ; final Var<?> y = Var.var ( "y" ) ; final Var<?> vars [] = new Var<?> [] { x, y } ; final NE op = new NE ( x, y ) ; final IBindingSet eq = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "1" ) } ) ; final IBindingSet ne = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "2" ) } ) ; final IBindingSet nb = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { new Constant<String> ( "1" ) } ) ; assertTrue ( op.get ( ne ) ) ; assertFalse ( op.get ( eq ) ) ; assertTrue ( op.get ( nb ) ) ; } }
/** * Unit test for {@link NE#NE(IVariable,IVariable)} */ public void testConstructor () { try { assertTrue ( null != new NE ( null, Var.var ( "y" ) ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new NE ( Var.var ( "x" ), null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != new NE ( Var.var ( "x" ), Var.var ( "x" ) ) ) ; fail ( "IllegalArgumentException expected, lhs identical to rhs" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != new NE ( Var.var ( "x" ), Var.var ( "y" ) ) ) ; }