org.jmlspecs.samples.jmlrefman
Class TestSuite.TestSuite$1

java.lang.Object
  junit.framework.TestSuite
      org.jmlspecs.samples.jmlrefman.TestSuite.TestSuite$1

All Implemented Interfaces:

junit.framework.Test

Enclosing class:

TestSuite

static class TestSuite.TestSuite$1

extends junit.framework.TestSuite

Field Summary

 

Fields inherited from class junit.framework.TestSuite

 

Constructor Summary
(package private)	TestSuite.TestSuite$1()

 

Method Summary
String	toString()

 

Methods inherited from class junit.framework.TestSuite

addTest, addTestSuite, countTestCases, createTest, getName, getTestConstructor, run, runTest, setName, testAt, testCount, tests

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

TestSuite.TestSuite$1

TestSuite.TestSuite$1()

toString

public String toString()

Overrides:

toString in class junit.framework.TestSuite