public class AssertionWriter extends Object
Constructor and Description |
---|
AssertionWriter(WriterController wc) |
Modifier and Type | Method and Description |
---|---|
void |
disableTracker() |
void |
record(Expression expression) |
void |
record(Token op) |
void |
reenableTracker() |
void |
writeAssertStatement(AssertStatement statement) |
public AssertionWriter(WriterController wc)
public void writeAssertStatement(AssertStatement statement)
public void record(Expression expression)
public void record(Token op)
public void disableTracker()
public void reenableTracker()