@Test public void testAssertionWithMessageTrue() throws Exception { Dbc.assertion("some error message", true); }
public static void assertion(boolean condition) { if (!condition) { throw new AssertionException(); } }
Dbc { public static void assertion(boolean condition) { if (!condition) { throw new AssertionException(); } } }
Dbc { public static void assertion(boolean condition) { if (!condition) { throw new AssertionException(); } } private  Dbc(); }
Dbc { public static void assertion(boolean condition) { if (!condition) { throw new AssertionException(); } } 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 assertion(boolean condition) { if (!condition) { throw new AssertionException(); } } 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);  }