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