edu.utep.cs.utjml.rat
Class RatTestRunner.JmlResultPrinter

java.lang.Object
  junit.textui.ResultPrinter
      edu.utep.cs.utjml.rat.RatTestRunner.JmlResultPrinter

All Implemented Interfaces:

junit.framework.TestListener

Enclosing class:

RatTestRunner

public static class RatTestRunner.JmlResultPrinter
extends junit.textui.ResultPrinter

Method Summary

void	print(junit.framework.TestResult result, long runTime) Prints test report inluding a JML-specific summary.
void	printFooter(junit.framework.TestResult result) Prints the footer of the test report.
void	startJmlTest() Prints a dot for a JML/JUnit test case.
void	startTest(junit.framework.Test test) Prints a dot for a test method before peforming a test.

Methods inherited from class junit.textui.ResultPrinter

addError, addFailure, elapsedTimeAsString, endTest, getWriter, printDefect, printDefectHeader, printDefects, printDefectTrace, printErrors, printFailures, printHeader

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

print

public void print(junit.framework.TestResult result,
                  long runTime)

Prints test report inluding a JML-specific summary. This method is redefined here as the superclass's is package-visible.

printFooter

public void printFooter(junit.framework.TestResult result)

Prints the footer of the test report. This method is overridden here to print JML-specific summary footer.

Overrides:

printFooter in class junit.textui.ResultPrinter

startTest

public void startTest(junit.framework.Test test)

Prints a dot for a test method before peforming a test. This method is overridden here to do nothing, as each test case is treated as a separate test in the JML/JUnit approach.

Specified by:

startTest in interface junit.framework.TestListener

Overrides:

startTest in class junit.textui.ResultPrinter

startJmlTest

public void startJmlTest()

Prints a dot for a JML/JUnit test case.