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