@Test(expected = InvariantException.class) public void testInvariantWithMessage() throws Exception { Dbc.invariant("some error message", false); }
public static void invariant(boolean condition) { if (!condition) { throw new InvariantException(); } }
Dbc { public static void invariant(boolean condition) { if (!condition) { throw new InvariantException(); } } }
Dbc { public static void invariant(boolean condition) { if (!condition) { throw new InvariantException(); } } private  Dbc(); }
Dbc { public static void invariant(boolean condition) { if (!condition) { throw new InvariantException(); } } private  Dbc(); static void require(boolean condition); static void require(String message, boolean condition); static void ensure(boolean condition); static void ensure(String message, boolean condition); static void invariant(boolean condition); static void invariant(String message, boolean condition); static void assertion(boolean condition); static void assertion(String message, boolean condition); }
Dbc { public static void invariant(boolean condition) { if (!condition) { throw new InvariantException(); } } private  Dbc(); static void require(boolean condition); static void require(String message, boolean condition); static void ensure(boolean condition); static void ensure(String message, boolean condition); static void invariant(boolean condition); static void invariant(String message, boolean condition); static void assertion(boolean condition); static void assertion(String message, boolean condition);  }