| eSet(int, Object) |   | 29% | | 37% | 10 | 16 | 25 | 38 | 0 | 1 |
| toString() | | 0% | | 0% | 2 | 2 | 16 | 16 | 1 | 1 |
| eUnset(int) | | 21% | | 18% | 13 | 16 | 26 | 33 | 0 | 1 |
| setPrecondition(VerificationCondition) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| eInverseRemove(InternalEObject, int, NotificationChain) | | 0% | | 0% | 7 | 7 | 8 | 8 | 1 | 1 |
| getTarget() | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| basicSetPrecondition(VerificationCondition, NotificationChain) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| eIsSet(int) | | 80% | | 76% | 12 | 38 | 1 | 17 | 0 | 1 |
| setMethodKind(MethodKind) | | 57% | | 40% | 5 | 6 | 3 | 12 | 0 | 1 |
| setDescription(Description) | | 57% | | 40% | 5 | 6 | 3 | 12 | 0 | 1 |
| setValidation(VerificationCondition) | | 57% | | 40% | 5 | 6 | 3 | 12 | 0 | 1 |
| setIsPredicate(boolean) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| setIsResultReport(boolean) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| eGet(int, boolean, boolean) | | 66% | | 72% | 5 | 17 | 4 | 18 | 0 | 1 |
| basicSetMethodKind(MethodKind, NotificationChain) | | 86% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| basicSetDescription(Description, NotificationChain) | | 86% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| basicSetValidation(VerificationCondition, NotificationChain) | | 86% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| setTargetType(TargetType) | | 92% | | 50% | 2 | 3 | 0 | 5 | 0 | 1 |
| setName(String) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| setTitle(String) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| setTarget(ComponentClassifier) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| VerificationMethodImpl() | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| getFormals() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getProperties() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getResults() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getComponentCategory() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getCategory() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| getName() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getTargetType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isIsPredicate() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isIsResultReport() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getTitle() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| basicGetTarget() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMethodKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getDescription() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPrecondition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getValidation() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| eStaticClass() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |