UTJML

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

java.lang.Object
  extended by junit.textui.ResultPrinter
      extended by 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.


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.