Uses of Class
org.jmlspecs.models.JMLObjectToObjectRelation_JML_Test

Packages that use JMLObjectToObjectRelation_JML_Test

org.jmlspecs.models

This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of JMLObjectToObjectRelation_JML_Test in org.jmlspecs.models

Subclasses of JMLObjectToObjectRelation_JML_Test in org.jmlspecs.models

protected static class	JMLObjectToObjectRelation_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestAdd Test for the add method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestAssociations Test for the associations method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestClone Test for the clone method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestCompose Test for the compose method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestCompose$1 Test for the compose method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestDifference Test for the difference method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestDomain Test for the domain method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestDomainElements Test for the domainElements method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestElementImage Test for the elementImage method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestElements Test for the elements method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestEquals Test for the equals method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestHas Test for the has method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestHas$1 Test for the has method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestHas$2 Test for the has method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestHashCode Test for the hashCode method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestImage Test for the image method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestImagePairs Test for the imagePairs method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestImagePairSet Test for the imagePairSet method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestInsert Test for the insert method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestInt_size Test for the int_size method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestIntersection Test for the intersection method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestInverse Test for the inverse method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestInverseElementImage Test for the inverseElementImage method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestInverseImage Test for the inverseImage method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestIsaFunction Test for the isaFunction method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestIsDefinedAt Test for the isDefinedAt method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestIsEmpty Test for the isEmpty method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestIterator Test for the iterator method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestJMLObjectToObjectRelation Test for the JMLObjectToObjectRelation contructor.
protected static class	JMLObjectToObjectRelation_JML_Test.TestJMLObjectToObjectRelation$1 Test for the JMLObjectToObjectRelation contructor.
protected static class	JMLObjectToObjectRelation_JML_Test.TestJMLObjectToObjectRelation$2 Test for the JMLObjectToObjectRelation contructor.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRange Test for the range method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRangeElements Test for the rangeElements method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRemove Test for the remove method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRemove$1 Test for the remove method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRemoveFromDomain Test for the removeFromDomain method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRestrictDomainTo Test for the restrictDomainTo method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestRestrictRangeTo Test for the restrictRangeTo method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestSingleton Test for the singleton method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestSingleton$1 Test for the singleton method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestToBag Test for the toBag method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestToFunction Test for the toFunction method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestToSequence Test for the toSequence method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestToSet Test for the toSet method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestToString Test for the toString method.
protected static class	JMLObjectToObjectRelation_JML_Test.TestUnion Test for the union method.