| Class | Description | 
                            | AssertionRenderer | Creates a string representation of an assertion and its recorded values. | 
                            | PowerAssertionError | Indicates that a power assertion has failed. | 
                            | 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. |