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