@Test public void test() { SatConstraint c = Mockito.mock(SatConstraint.class); Model m = new DefaultModel(); DiscreteViolationException ex = new DiscreteViolationException(c, m); Assert.assertEquals(ex.getModel(), m); Assert.assertEquals(ex.getConstraint(), c); Assert.assertFalse(ex.toString().contains("null")); }
public Model getModel() { return mo; }
DiscreteViolationException extends SatConstraintViolationException { public Model getModel() { return mo; } }
DiscreteViolationException extends SatConstraintViolationException { public Model getModel() { return mo; } DiscreteViolationException(SatConstraint cstr, Model mo); }
DiscreteViolationException extends SatConstraintViolationException { public Model getModel() { return mo; } DiscreteViolationException(SatConstraint cstr, Model mo); Model getModel(); }
DiscreteViolationException extends SatConstraintViolationException { public Model getModel() { return mo; } DiscreteViolationException(SatConstraint cstr, Model mo); Model getModel();  }