| ASTVariableDeclaration(ASTIdentifier, ASTTypeIF, ASTVariableDeclaration.VariableCategory, ASTExpressionIF) |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| setInit(ASTExpressionIF) |   | 50% |   | 83% | 1 | 4 | 1 | 4 | 0 | 1 |
| hasCorrespondence() |  | 0% |  | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| setDefinitionSource(ASTDeclarationIF) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getDefinitionSource() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ASTVariableDeclaration(ASTIdentifier, ASTTypeIF, ASTVariableDeclaration.VariableCategory) |  | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| hasInit() |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| setVariableCategory(ASTVariableDeclaration.VariableCategory) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCorrespondence(ASTIdentifier) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setAssumption(ASTExpressionIF) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getVariableCategory() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getName() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getType() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCorrespondence() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAssumption() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getInit() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |