| validateInvariants(Collection) |   | 33% | | 35% | 19 | 25 | 54 | 80 | 0 | 1 |
| getOverriddenOperation() | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| getPostconditions() | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| getConcurrency() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| getPostconditionName() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isPreconditionsPresent() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isPostconditionsPresent() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isOverriding() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isOrdered() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isUnique() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| isLeaf() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| getMethodBody() | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| getOwner() | | 50% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| getReturnType() | | 50% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| getArguments() | | 48% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| getParameters() | | 48% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| getPreconditions() | | 48% | | n/a | 0 | 1 | 2 | 8 | 0 | 1 |
| findParameter(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isOperationFacadeMetaType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| OperationFacadeLogic(Operation, String) | | 100% | | n/a | 0 | 1 | 0 | 33 | 0 | 1 |
| getSignature() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getCall() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getTypedArgumentList() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isStatic() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isAbstract() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getExceptionList() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getExceptions() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isReturnTypePresent() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isExceptionsPresent() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getArgumentNames() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getArgumentTypeNames() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isQuery() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getPreconditionName() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getPreconditionSignature() | | 100% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| getPreconditionCall() | | 100% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| getLower() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getUpper() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getReturnParameter() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| getGetterSetterReturnTypeName() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| isMany() | | 100% | | 75% | 1 | 3 | 0 | 7 | 0 | 1 |
| resetMetafacadeContext(String) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| findTaggedValue(String, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getContext(String) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getExceptionList(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getSignature(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTypedArgumentList(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getSignature(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |