1 6 package de.uka.ipd.coverage.junit; 7 8 import java.io.PrintStream ; 9 10 import junit.framework.TestResult; 11 import junit.textui.ResultPrinter; 12 import de.uka.ipd.coverage.natures.CoverageNature; 13 import de.uka.ipd.coverage.natures.CoverageNatureFactory; 14 import de.uka.ipd.coverage.natures.TestedClass; 15 import de.uka.ipd.coverage.recording.RegisteredMethod; 16 17 21 public class CoverageResultPrinter extends ResultPrinter { 22 23 26 public CoverageResultPrinter(PrintStream writer) { 27 super(writer); 28 } 29 30 36 public void printFooter(TestResult result) { 37 super.printFooter(result); 38 if (result instanceof CoverageTestResult) { 39 printCoverage(); 40 } 41 } 42 43 44 public void printCoverage() { 45 RegisteredMethod[] rMethods = CoverageTestResult.getRegisteredMethods(); 46 getWriter().println(Messages.getString("CoverageResultPrinter.0") + rMethods.length + Messages.getString("CoverageResultPrinter.1")); CoverageNature nature = CoverageNatureFactory.getNature(); 48 for (int i = 0; i < rMethods.length; i++) { 49 rMethods[i].acceptVisitor(nature); 50 } 51 TestedClass[] classes = nature.getMeasuredClasses(); 52 for (int i = 0; i < classes.length; i++) { 53 getWriter().println(nature.getCompleteCoverage(classes[i].getTestedClass())); 54 } 55 56 } 57 58 protected void printPaths() { 59 getWriter().println(); 60 61 RegisteredMethod[] rMethods = CoverageTestResult.getRegisteredMethods(); 62 for (int i = 0; i < rMethods.length; i++) { 63 getWriter().println(rMethods[i].toString()); 64 getWriter().println(); 65 } 66 } 67 } 68 | Popular Tags |