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