Assertions (util 1.6.2 API)

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.

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