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) |