Class Assertions
java.lang.Object
com.ibm.wala.util.debug.Assertions
WALA-specific assertion checking.
This may go away in favor of Java language-level assertions.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic 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
An assertion to call when reaching a point that should not be reached.static void
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.
-
Constructor Details
-
Assertions
public Assertions()
-
-
Method Details
-
productionAssertion
An assertion which does not need to be guarded by verifyAssertions. These assertions will be enabled in production!- Throws:
UnimplementedError
- if b == false
-
productionAssertion
An assertion which does not need to be guarded by verifyAssertions. These assertions will be enabled in production!- Throws:
UnimplementedError
- if b == false
-
UNREACHABLE
public static void UNREACHABLE()An assertion to call when reaching a point that should not be reached.- Throws:
UnimplementedError
- unconditionally
-
UNREACHABLE
An assertion to call when reaching a point that should not be reached.- Throws:
UnimplementedError
- unconditionally
-
UNREACHABLE
An assertion to call when reaching a point that should not be reached.- Throws:
UnimplementedError
- unconditionally
-