/** * Unit test for {@link INHashMap#INHashMap(IVariable<T>,IConstant<T>[])} */ public void testConstructor () { IVariable<Integer> var = Var.var ( "x" ) ; IConstant<Integer> vals [] = new IConstant [] { new Constant<Integer> ( 1 ) } ; try { assertTrue ( null != newINConstraint ( null, vals ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != newINConstraint ( var, null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != newINConstraint ( var, new IConstant [] {} ) ) ; fail ( "IllegalArgumentException expected, set was empty" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != newINConstraint ( var, vals ) ) ; }
/** * Unit test for {@link INHashMap#INHashMap(IVariable<T>,IConstant<T>[])} */ public void testConstructor () { IVariable<Integer> var = Var.var ( "x" ) ; IConstant<Integer> vals [] = new IConstant [] { new Constant<Integer> ( 1 ) } ; try { assertTrue ( null != newINConstraint ( null, vals ) ) ; fail ( "IllegalArgumentException expected, lhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != newINConstraint ( var, null ) ) ; fail ( "IllegalArgumentException expected, rhs was null" ) ; } catch ( IllegalArgumentException e ) {} try { assertTrue ( null != newINConstraint ( var, new IConstant [] {} ) ) ; fail ( "IllegalArgumentException expected, set was empty" ) ; } catch ( IllegalArgumentException e ) {} assertTrue ( null != newINConstraint ( var, vals ) ) ; }