| CollectivePredecessor(StatementIF, Collection) |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| setExpression(CollectiveAssertionIF, ExpressionIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getExpression(CollectiveAssertionIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setStatement(StatementIF) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setAssertions(Collection) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| function() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| process() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| model() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| sourceLocation() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| guard() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setExpressionMap(Map) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| statement() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| assertions() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expressionMap() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getSource() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| kind() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| targetLocation() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| next() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isLocal() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setSource(Source) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| print(PrintWriter) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |