public class Assertions extends Object
Constructor and Description |
---|
Assertions() |
Modifier and Type | Method and Description |
---|---|
static void |
productionAssertion(boolean b)
An assertion which does not need to be guarded by verifyAssertions.
|
static void |
productionAssertion(boolean b,
String string)
An assertion which does not need to be guarded by verifyAssertions.
|
static void |
UNREACHABLE()
An assertion to call when reaching a point that should not be reached.
|
static void |
UNREACHABLE(Object o)
An assertion to call when reaching a point that should not be reached.
|
static void |
UNREACHABLE(String string)
An assertion to call when reaching a point that should not be reached.
|
public static void productionAssertion(boolean b, String string) throws UnimplementedError
UnimplementedError
- if b == falsepublic static void productionAssertion(boolean b) throws UnimplementedError
UnimplementedError
- if b == falsepublic static void UNREACHABLE()
UnimplementedError
- unconditionallypublic static void UNREACHABLE(String string)
UnimplementedError
- unconditionallypublic static void UNREACHABLE(Object o)
UnimplementedError
- unconditionally