| Interface | Description |
|---|---|
| VerboseAction |
An optional interface for data structures that provide a verbose option for debugging purposes.
|
| Class | Description |
|---|---|
| Assertions |
WALA-specific assertion checking.
|
| LoggingStopwatch |
A stop watch that prints log messages.
|
| Error | Description |
|---|---|
| UnimplementedError |
Something that's not implemented yet.
|