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