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