|
Class Summary |
| AssertionRenderer |
Creates a string representation of an assertion and its recorded values. |
| AssertionRewriter |
Rewrites all assertions in a source unit. |
| AssertionTransformation |
Entry point for the transformation of assertions. |
| AssertionVerifier |
Verifies that assertions hold, throwing a PowerAssertionError
otherwise. |
| 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. |
| StatementReplacingVisitorSupport |
Adds the ability to replace statements. |
| TruthExpressionRewriter |
Rewrites the truth expression of an assertion statement. |
| 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. |