| Class | Description | 
|---|---|
| AssertionRenderer | Creates a string representation of an assertion and its recorded values. | 
| SourceText | Provides the source text for an assertion statement and translates coordinates in the original source text to coordinates relative to the assertion's (normalized) source text. | 
| Value | A value recorded during evaluation of an assertion, along with the column it is associated with in the assertion's normalized source text. | 
| ValueRecorder | Records values produced during evaluation of an assertion statement's truth expression. | 
| Exception | Description | 
|---|---|
| SourceTextNotAvailableException | Indicates that the source text for an assertion statement is not available. | 
| Error | Description | 
|---|---|
| PowerAssertionError | Indicates that a power assertion has failed. |