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