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 and Description
Assertions()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

Assertions

public Assertions()

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