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