| Modifier and Type | Class and Description |
|---|---|
| public class | AssertionRenderer
Creates a string representation of an assertion and its recorded values. |
| public class | PowerAssertionError
Indicates that a power assertion has failed. |
| public class | 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. |
| public class | SourceTextNotAvailableException
Indicates that the source text for an assertion statement is not available. |
| public class | Value
A value recorded during evaluation of an assertion, along with the column it is associated with in the assertion's normalized source text. |
| public class | ValueRecorder
Records values produced during evaluation of an assertion statement's truth expression. |