Uses of Class
org.jmlspecs.models.resolve.StringOfObject_JML_TestData

Packages that use StringOfObject_JML_TestData

org.jmlspecs.models.resolve

This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of StringOfObject_JML_TestData in org.jmlspecs.models.resolve

Subclasses of StringOfObject_JML_TestData in org.jmlspecs.models.resolve

class	StringOfObject_JML_Test Automatically-generated test driver for JML and JUnit based testing of StringOfObject.
protected static class	StringOfObject_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	StringOfObject_JML_Test.TestAdd Test for the add method.
protected static class	StringOfObject_JML_Test.TestAddAfterIndex Test for the addAfterIndex method.
protected static class	StringOfObject_JML_Test.TestAddAll Test for the addAll method.
protected static class	StringOfObject_JML_Test.TestAddAll$1 Test for the addAll method.
protected static class	StringOfObject_JML_Test.TestAddBeforeIndex Test for the addBeforeIndex method.
protected static class	StringOfObject_JML_Test.TestAddFront Test for the addFront method.
protected static class	StringOfObject_JML_Test.TestClone Test for the clone method.
protected static class	StringOfObject_JML_Test.TestComposedWith Test for the composedWith method.
protected static class	StringOfObject_JML_Test.TestConcat Test for the concat method.
protected static class	StringOfObject_JML_Test.TestElements Test for the elements method.
protected static class	StringOfObject_JML_Test.TestEquals Test for the equals method.
protected static class	StringOfObject_JML_Test.TestExt Test for the ext method.
protected static class	StringOfObject_JML_Test.TestExt$1 Test for the ext method.
protected static class	StringOfObject_JML_Test.TestFrom Test for the from method.
protected static class	StringOfObject_JML_Test.TestFrom$1 Test for the from method.
protected static class	StringOfObject_JML_Test.TestGet Test for the get method.
protected static class	StringOfObject_JML_Test.TestHas Test for the has method.
protected static class	StringOfObject_JML_Test.TestHashCode Test for the hashCode method.
protected static class	StringOfObject_JML_Test.TestInt_size Test for the int_size method.
protected static class	StringOfObject_JML_Test.TestIsEmpty Test for the isEmpty method.
protected static class	StringOfObject_JML_Test.TestIsPrefix Test for the isPrefix method.
protected static class	StringOfObject_JML_Test.TestIsProperPrefix Test for the isProperPrefix method.
protected static class	StringOfObject_JML_Test.TestIsProperSuffix Test for the isProperSuffix method.
protected static class	StringOfObject_JML_Test.TestIsSuffix Test for the isSuffix method.
protected static class	StringOfObject_JML_Test.TestIterator Test for the iterator method.
protected static class	StringOfObject_JML_Test.TestLength Test for the length method.
protected static class	StringOfObject_JML_Test.TestOccurs_ct Test for the occurs_ct method.
protected static class	StringOfObject_JML_Test.TestPow Test for the pow method.
protected static class	StringOfObject_JML_Test.TestProduct Test for the product method.
protected static class	StringOfObject_JML_Test.TestProductFrom Test for the productFrom method.
protected static class	StringOfObject_JML_Test.TestProductFromTo Test for the productFromTo method.
protected static class	StringOfObject_JML_Test.TestRev Test for the rev method.
protected static class	StringOfObject_JML_Test.TestReverse Test for the reverse method.
protected static class	StringOfObject_JML_Test.TestSingleton Test for the singleton method.
protected static class	StringOfObject_JML_Test.TestStringOfObject Test for the StringOfObject contructor.
protected static class	StringOfObject_JML_Test.TestStringOfObject$1 Test for the StringOfObject contructor.
protected static class	StringOfObject_JML_Test.TestToString Test for the toString method.