| 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. |