- toCode
Get Java code representation of the test case
- addStatement
Add new statement at position and fix following variable references
- getStatement
Access statement by index
- isUnstable
A test can be unstable if its assertions fail, eg due to non-determinism,
non-properly handled stati
- size
size
- accept
Handle test visitor
- addCoveredGoal
Keep track of an additional covered goal
- getAssertions
Get all assertions that exist for this test case
- addAssertions
Copy all the assertions from other test case
- addContractViolation
Keep track of an additional test failure
- addListener
- chop
Remove all statements after a given position