| operator2Pretty(OperatorNode, int) |   | 51% | | 55% | 29 | 59 | 111 | 229 | 0 | 1 |
| contractNode2Pretty(String, ContractNode, int) | | 0% | | 0% | 20 | 20 | 97 | 97 | 1 | 1 |
| pPrintFunctionDeclaration(PrintStream, String, FunctionDeclarationNode) | | 0% | | 0% | 20 | 20 | 74 | 74 | 1 | 1 |
| expression2Pretty(ExpressionNode, int) | | 50% | | 50% | 23 | 38 | 61 | 117 | 0 | 1 |
| dependsEvent2Pretty(DependsEventNode, int) | | 0% | | 0% | 13 | 13 | 51 | 51 | 1 | 1 |
| pPrintOmpStatement(PrintStream, String, OmpExecutableNode) | | 0% | | 0% | 13 | 13 | 52 | 52 | 1 | 1 |
| functionDeclaration2Pretty(String, FunctionDeclarationNode, int) | | 46% | | 45% | 17 | 21 | 42 | 85 | 0 | 1 |
| prettyPrint(ASTNode, PrintStream) | | 0% | | 0% | 19 | 19 | 42 | 42 | 1 | 1 |
| pPrintLoop(PrintStream, String, LoopNode) | | 0% | | 0% | 11 | 11 | 38 | 38 | 1 | 1 |
| type2Pretty(String, TypeNode, boolean, int) | | 56% | | 53% | 11 | 21 | 35 | 80 | 0 | 1 |
| pPrintStatement(PrintStream, String, StatementNode, boolean, boolean) | | 0% | | 0% | 17 | 17 | 37 | 37 | 1 | 1 |
| pPrintContract(PrintStream, String, ContractNode) | | 0% | | 0% | 7 | 7 | 36 | 36 | 1 | 1 |
| civlForStatement2Pretty(String, CivlForNode, int) | | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| derivative2Pretty(DerivativeExpressionNode, int) | | 0% | | 0% | 5 | 5 | 25 | 25 | 1 | 1 |
| pPrintFor(PrintStream, String, ForLoopNode) | | 0% | | 0% | 9 | 9 | 30 | 30 | 1 | 1 |
| prettyPrint(AST, PrintStream, boolean) | | 0% | | 0% | 7 | 7 | 26 | 26 | 1 | 1 |
| mpiContractExpression2Pretty(MPIContractExpressionNode, int) | | 34% | | 6% | 12 | 13 | 37 | 51 | 0 | 1 |
| ompWorksharing2Pretty(String, OmpWorksharingNode, int) | | 32% | | 28% | 12 | 14 | 26 | 40 | 0 | 1 |
| enumType2Pretty(String, EnumerationTypeNode, int) | | 0% | | 0% | 6 | 6 | 27 | 27 | 1 | 1 |
| pPrintBlockItem(PrintStream, String, BlockItemNode) | | 0% | | 0% | 10 | 10 | 24 | 24 | 1 | 1 |
| boundVariableList2Pretty(SequenceNode, int) | | 0% | | 0% | 7 | 7 | 22 | 22 | 1 | 1 |
| genericSelection2Pretty(GenericSelectionNode, int) | | 0% | | 0% | 4 | 4 | 21 | 21 | 1 | 1 |
| arrayLambda2Pretty(ArrayLambdaNode, int) | | 0% | | 0% | 3 | 3 | 21 | 21 | 1 | 1 |
| ompStatement2Pretty(String, OmpExecutableNode, int) | | 66% | | 70% | 7 | 14 | 21 | 68 | 0 | 1 |
| prettyRepresentation(ASTNode, int) | | 38% | | 35% | 13 | 20 | 14 | 23 | 0 | 1 |
| pPrintIf(PrintStream, String, IfNode) | | 0% | | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| pPrintCompoundStatement(PrintStream, String, CompoundStatementNode, boolean, boolean) | | 0% | | 0% | 7 | 7 | 19 | 19 | 1 | 1 |
| pPrintCivlForStatement(PrintStream, String, CivlForNode) | | 0% | | 0% | 5 | 5 | 20 | 20 | 1 | 1 |
| fieldDeclaration2Pretty(String, FieldDeclarationNode, int) | | 0% | | 0% | 5 | 5 | 20 | 20 | 1 | 1 |
| quantifiedExpression2Pretty(QuantifiedExpressionNode, int) | | 0% | | 0% | 5 | 5 | 21 | 21 | 1 | 1 |
| loop2Pretty(String, LoopNode, int) | | 55% | | 41% | 7 | 10 | 17 | 41 | 0 | 1 |
| contracts2Pretty(String, SequenceNode, int) | | 0% | | 0% | 4 | 4 | 19 | 19 | 1 | 1 |
| ompReduction2Pretty(OmpReductionNode, int) | | 42% | | 20% | 12 | 13 | 26 | 39 | 0 | 1 |
| blockItem2Pretty(String, BlockItemNode, int) | | 38% | | 28% | 9 | 11 | 15 | 25 | 0 | 1 |
| basicType2Pretty(BasicTypeNode, int) | | 47% | | 40% | 13 | 21 | 24 | 45 | 0 | 1 |
| chooseStatement2Pretty(String, ChooseStatementNode, int) | | 0% | | 0% | 3 | 3 | 15 | 15 | 1 | 1 |
| ompDeclarative2Pretty(String, OmpDeclarativeNode, int) | | 0% | | 0% | 4 | 4 | 17 | 17 | 1 | 1 |
| extendedQuantifiedExpression2Pretty(ExtendedQuantifiedExpressionNode, int) | | 0% | | 0% | 2 | 2 | 15 | 15 | 1 | 1 |
| valueAt2Pretty(ValueAtNode, int) | | 0% | | 0% | 2 | 2 | 15 | 15 | 1 | 1 |
| statement2Pretty(String, StatementNode, boolean, boolean, int) | | 55% | | 47% | 10 | 18 | 10 | 24 | 0 | 1 |
| pairNode2Pretty(PairNode, int) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| ompSync2Pretty(String, OmpSyncNode, int) | | 38% | | 33% | 7 | 9 | 16 | 27 | 0 | 1 |
| structOrUnion2Pretty(String, StructureOrUnionTypeNode, boolean, int) | | 46% | | 50% | 4 | 6 | 12 | 25 | 0 | 1 |
| pPrintContracts(PrintStream, String, SequenceNode) | | 0% | | 0% | 3 | 3 | 15 | 15 | 1 | 1 |
| pragma2Pretty(String, PragmaNode, int) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| when2Pretty(String, WhenNode, int) | | 0% | | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| with2Pretty(String, WithNode, int) | | 0% | | n/a | 1 | 1 | 12 | 12 | 1 | 1 |
| switch2Pretty(String, SwitchNode, int) | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| variableDeclaration2Pretty(String, VariableDeclarationNode, int) | | 75% | | 63% | 13 | 19 | 12 | 53 | 0 | 1 |
| designator2Pretty(DesignatorNode, int) | | 0% | | 0% | 3 | 3 | 12 | 12 | 1 | 1 |
| staticAssertion2Pretty(String, StaticAssertionNode, int) | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| lambda2Pretty(LambdaNode, int) | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| sequenceDependsEvent2Pretty(SequenceNode, int) | | 0% | | 0% | 4 | 4 | 12 | 12 | 1 | 1 |
| ompSimd2Pretty(String, OmpSimdNode, int) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| pPrintChooseStatement(PrintStream, String, ChooseStatementNode) | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| ompNode2Pretty(String, OmpNode, int) | | 0% | | 0% | 3 | 3 | 11 | 11 | 1 | 1 |
| typedefDeclaration2Pretty(String, TypedefDeclarationNode, int) | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| pPrintWhen(PrintStream, String, WhenNode) | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| update2Pretty(String, UpdateNode, int) | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| pPrintJump(PrintStream, String, JumpNode) | | 0% | | 0% | 4 | 4 | 12 | 12 | 1 | 1 |
| functionCall2Pretty(FunctionCallNode, int) | | 62% | | 50% | 4 | 7 | 8 | 22 | 0 | 1 |
| ompParallel2Pretty(String, OmpParallelNode, int) | | 52% | | 62% | 3 | 5 | 9 | 21 | 0 | 1 |
| enumeratorDeclaration2Pretty(EnumeratorDeclarationNode, int) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| atomic2Pretty(String, AtomicNode, int) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| pPrintPragma(PrintStream, String, PragmaNode) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| labelNode2Pretty(LabelNode, int) | | 44% | | 33% | 3 | 4 | 9 | 17 | 0 | 1 |
| statementExpression2Pretty(StatementExpressionNode, int) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| pPrintPairNode(PairNode, PrintStream) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| run2Pretty(String, RunNode, int) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| pPrintUpdate(PrintStream, String, UpdateNode) | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| pPrintAtomic(PrintStream, String, AtomicNode) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| pPrintLabeled(PrintStream, String, LabeledStatementNode) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| compoundInitializer2Pretty(CompoundInitializerNode, int) | | 70% | | 58% | 4 | 7 | 5 | 22 | 0 | 1 |
| pPrintSequenceNode(SequenceNode, PrintStream) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| pPrintSwitch(PrintStream, String, SwitchNode) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| pPrintStaticAssertion(PrintStream, String, StaticAssertionNode) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| pPrintReturn(PrintStream, String, ReturnNode) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| pPrintTypedefDeclaration(PrintStream, String, TypedefDeclarationNode) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| pPrintOmpNode(PrintStream, String, OmpNode) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| compoundStatement2Pretty(String, CompoundStatementNode, boolean, boolean, int) | | 83% | | 64% | 4 | 8 | 3 | 24 | 0 | 1 |
| for2Pretty(String, ForLoopNode, int) | | 89% | | 75% | 4 | 9 | 3 | 35 | 0 | 1 |
| regularRange2Pretty(RegularRangeNode, int) | | 72% | | 50% | 2 | 3 | 4 | 14 | 0 | 1 |
| prettyAbsentEvent(MPIContractAbsentEventNode, int) | | 78% | | 57% | 3 | 6 | 6 | 15 | 0 | 1 |
| pPrintExpressionStatement(PrintStream, String, ExpressionStatementNode) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| trimStringBuffer(StringBuffer, int) | | 25% | | 25% | 2 | 3 | 1 | 3 | 0 | 1 |
| if2Pretty(String, IfNode, int) | | 90% | | 66% | 4 | 7 | 3 | 30 | 0 | 1 |
| jump2Pretty(String, JumpNode, int) | | 78% | | 66% | 2 | 5 | 4 | 14 | 0 | 1 |
| vacantLength(int, StringBuffer) | | 31% | | 25% | 2 | 3 | 2 | 4 | 0 | 1 |
| printBar(int, char, PrintStream) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| initializer2Pretty(InitializerNode, int) | | 69% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| sequenceReduction2Pretty(SequenceNode, int) | | 86% | | 66% | 2 | 4 | 2 | 11 | 0 | 1 |
| declarationList2Pretty(DeclarationListNode, int) | | 88% | | 66% | 2 | 4 | 2 | 11 | 0 | 1 |
| ASTPrettyPrinter() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| labeled2Pretty(String, LabeledStatementNode, int) | | 95% | | 50% | 1 | 2 | 1 | 12 | 0 | 1 |
| compoundLiteral2Pretty(CompoundLiteralNode, int) | | 95% | | 50% | 2 | 3 | 1 | 13 | 0 | 1 |
| sequenceNode2Pretty(SequenceNode, int) | | 95% | | 75% | 2 | 5 | 1 | 12 | 0 | 1 |
| sequenceExpression2Pretty(SequenceNode, int) | | 95% | | 83% | 1 | 4 | 1 | 11 | 0 | 1 |
| return2Pretty(String, ReturnNode, int) | | 95% | | 75% | 1 | 3 | 1 | 12 | 0 | 1 |
| goto2Pretty(String, GotoNode, int) | | 93% | | 50% | 1 | 2 | 1 | 8 | 0 | 1 |
| expressionStatement2Pretty(String, ExpressionStatementNode, int) | | 93% | | 50% | 1 | 2 | 1 | 8 | 0 | 1 |
| processArrayType(String) | | 100% | | 100% | 0 | 4 | 0 | 15 | 0 | 1 |
| sizeable2Pretty(SizeableNode, int) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |