| createAllocation(ASTFactory, FunctionContractBlock.ContractClause, ExpressionNode, TypeNode, ExpressionNode, Source, ClauseTransformGuideGenerator.ClauseTransformGuide) |  | 0% | | 0% | 2 | 2 | 25 | 25 | 1 | 1 |
| transformMPIValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) |  | 13% | | 25% | 4 | 5 | 23 | 27 | 0 | 1 |
| processAcslValidWorker(NodeFactory, OperatorNode) | | 0% | | 0% | 4 | 4 | 19 | 19 | 1 | 1 |
| transformAcslValid(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 17% | | 20% | 5 | 6 | 15 | 19 | 0 | 1 |
| transformMPIExtentAndDatatypeWorker(NodeFactory, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 0% | | 0% | 3 | 3 | 15 | 15 | 1 | 1 |
| transformMPIExtentAndDatatype(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 26% | | 33% | 3 | 4 | 11 | 15 | 0 | 1 |
| transformAcslOldExpression(FunctionContractBlock.ContractClause, ASTFactory, ExpressionNode, boolean, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 19% | | 16% | 3 | 4 | 13 | 16 | 0 | 1 |
| conjunct(ASTFactory, List) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| decomposeRange(NodeFactory, RegularRangeNode) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| arrayExtentsGTZero(NodeFactory, TypeNode, Source) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| processAcslValid(NodeFactory, OperatorNode) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| transformRemoteOnExpression(FunctionContractBlock.ContractClause, ASTFactory, boolean, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 26% | | 25% | 2 | 3 | 9 | 12 | 0 | 1 |
| processMPIValid(NodeFactory, MPIContractExpressionNode) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| createAssumption(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| getDatatypeIdentifier(ExpressionNode) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| createMPISizeofDatatypeCall(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| getPointerReferredTypeNode(NodeFactory, ExpressionNode) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| size_t(NodeFactory, Source) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ClauseTransformGuideGenerator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| transformAssume(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| transformAcslResult(FunctionContractBlock.ContractClause, ASTFactory, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| transformAssert(FunctionContractBlock.ContractClause, ASTFactory, boolean, boolean, ExpressionNode, ClauseTransformGuideGenerator.ClauseTransformGuide) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| identifierExpression(NodeFactory, String, Source) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |