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