| Type | Name and description | 
|---|---|
| def | AssertionWriter(WriterController wc) | 
| void | disableTracker() | 
| void | record(Expression expression) | 
| void | record(Token op) | 
| void | reenableTracker() | 
| void | writeAssertStatement(AssertStatement statement) |