org.jmlspecs.models.resolve
Class StringOfObject_JML_Test.OneTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.jmlspecs.models.resolve.StringOfObject_JML_TestData
              org.jmlspecs.models.resolve.StringOfObject_JML_Test
                  org.jmlspecs.models.resolve.StringOfObject_JML_Test.OneTest

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

StringOfObject_JML_Test.TestAdd, StringOfObject_JML_Test.TestAddAfterIndex, StringOfObject_JML_Test.TestAddAll, StringOfObject_JML_Test.TestAddAll$1, StringOfObject_JML_Test.TestAddBeforeIndex, StringOfObject_JML_Test.TestAddFront, StringOfObject_JML_Test.TestClone, StringOfObject_JML_Test.TestComposedWith, StringOfObject_JML_Test.TestConcat, StringOfObject_JML_Test.TestElements, StringOfObject_JML_Test.TestEquals, StringOfObject_JML_Test.TestExt, StringOfObject_JML_Test.TestExt$1, StringOfObject_JML_Test.TestFrom, StringOfObject_JML_Test.TestFrom$1, StringOfObject_JML_Test.TestGet, StringOfObject_JML_Test.TestHas, StringOfObject_JML_Test.TestHashCode, StringOfObject_JML_Test.TestInt_size, StringOfObject_JML_Test.TestIsEmpty, StringOfObject_JML_Test.TestIsPrefix, StringOfObject_JML_Test.TestIsProperPrefix, StringOfObject_JML_Test.TestIsProperSuffix, StringOfObject_JML_Test.TestIsSuffix, StringOfObject_JML_Test.TestIterator, StringOfObject_JML_Test.TestLength, StringOfObject_JML_Test.TestOccurs_ct, StringOfObject_JML_Test.TestPow, StringOfObject_JML_Test.TestProduct, StringOfObject_JML_Test.TestProductFrom, StringOfObject_JML_Test.TestProductFromTo, StringOfObject_JML_Test.TestRev, StringOfObject_JML_Test.TestReverse, StringOfObject_JML_Test.TestSingleton, StringOfObject_JML_Test.TestStringOfObject, StringOfObject_JML_Test.TestStringOfObject$1, StringOfObject_JML_Test.TestToString

Enclosing class:

StringOfObject_JML_Test

protected static abstract class StringOfObject_JML_Test.OneTest

extends StringOfObject_JML_Test

A JUnit test object that can run a single test method. This is defined as a nested class solely for convenience; it can't be defined once and for all because it must subclass its enclosing class.

Nested Class Summary

 

Nested classes inherited from class org.jmlspecs.models.resolve.StringOfObject_JML_Test

StringOfObject_JML_Test.OneTest, StringOfObject_JML_Test.TestAdd, StringOfObject_JML_Test.TestAddAfterIndex, StringOfObject_JML_Test.TestAddAll, StringOfObject_JML_Test.TestAddBeforeIndex, StringOfObject_JML_Test.TestAddFront, StringOfObject_JML_Test.TestClone, StringOfObject_JML_Test.TestComposedWith, StringOfObject_JML_Test.TestConcat, StringOfObject_JML_Test.TestElements, StringOfObject_JML_Test.TestEquals, StringOfObject_JML_Test.TestExt, StringOfObject_JML_Test.TestFrom, StringOfObject_JML_Test.TestGet, StringOfObject_JML_Test.TestHas, StringOfObject_JML_Test.TestHashCode, StringOfObject_JML_Test.TestInt_size, StringOfObject_JML_Test.TestIsEmpty, StringOfObject_JML_Test.TestIsPrefix, StringOfObject_JML_Test.TestIsProperPrefix, StringOfObject_JML_Test.TestIsProperSuffix, StringOfObject_JML_Test.TestIsSuffix, StringOfObject_JML_Test.TestIterator, StringOfObject_JML_Test.TestLength, StringOfObject_JML_Test.TestOccurs_ct, StringOfObject_JML_Test.TestPow, StringOfObject_JML_Test.TestProduct, StringOfObject_JML_Test.TestProductFrom, StringOfObject_JML_Test.TestProductFromTo, StringOfObject_JML_Test.TestRev, StringOfObject_JML_Test.TestReverse, StringOfObject_JML_Test.TestSingleton, StringOfObject_JML_Test.TestStringOfObject, StringOfObject_JML_Test.TestToString

 

Field Summary
protected  junit.framework.TestResult	result           The result object that holds information about testing.

 

Fields inherited from class org.jmlspecs.models.resolve.StringOfObject_JML_TestData

 

Fields inherited from class junit.framework.TestCase

 

Constructor Summary

StringOfObject_JML_Test.OneTest(String name)           Initialize this test object.

 

Method Summary
private  void	addMeaningless()           Inform listeners that a meaningless test was run.
protected abstract  void	doCall()           Call the method to be tested with the appropriate arguments.
protected abstract  String	failMessage(JMLAssertionError e)           Format the error message for a test failure, based on the method's arguments.
void	run(junit.framework.TestResult result)
void	runTest()

 

Methods inherited from class org.jmlspecs.models.resolve.StringOfObject_JML_Test

addTestSuiteForEachMethod, charToString, main, suite

 

Methods inherited from class org.jmlspecs.models.resolve.StringOfObject_JML_TestData

emptyTestSuiteFor, overallTestSuite, vintIter, vjava_lang_ObjectIter, vjava_util_CollectionIter, vorg_jmlspecs_models_resolve_StringOfObjectIter

 

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, runBare, setName, setUp, tearDown, toString

 

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

 

Methods inherited from class java.lang.Object

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

 

Field Detail

result

protected junit.framework.TestResult result

The result object that holds information about testing.

StringOfObject_JML_Test.OneTest

public StringOfObject_JML_Test.OneTest(String name)

Initialize this test object.

run

public void run(junit.framework.TestResult result)

Specified by:

run in interface junit.framework.Test

Overrides:

run in class junit.framework.TestCase

runTest

public void runTest()
             throws Throwable

Overrides:

runTest in class junit.framework.TestCase

Throws:

Throwable

doCall

protected abstract void doCall()
                        throws Throwable

Call the method to be tested with the appropriate arguments.

Throws:

Throwable

failMessage

protected abstract String failMessage(JMLAssertionError e)

Format the error message for a test failure, based on the method's arguments.

addMeaningless

private void addMeaningless()

Inform listeners that a meaningless test was run.