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

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 <T> T	UNREACHABLE()	An assertion to call when reaching a point that should not be reached.
static <T> T	UNREACHABLE(Object o)	An assertion to call when reaching a point that should not be reached.
static <T> T	UNREACHABLE(String string)	An assertion to call when reaching a point that should not be reached.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Assertions

public Assertions()

Method Details

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

@Contract(" -> fail")
public static <T> T UNREACHABLE()

An assertion to call when reaching a point that should not be reached.

Throws:

UnimplementedError - unconditionally

UNREACHABLE

@Contract("_ -> fail")
public static <T> T UNREACHABLE(String string)

An assertion to call when reaching a point that should not be reached.

Throws:

UnimplementedError - unconditionally

UNREACHABLE

@Contract("_ -> fail")
public static <T> T UNREACHABLE(Object o)

An assertion to call when reaching a point that should not be reached.

Throws:

UnimplementedError - unconditionally