Uses of Class
org.jmlspecs.models.JMLChar_JML_TestData

Packages that use JMLChar_JML_TestData

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 JMLChar_JML_TestData in org.jmlspecs.models

Subclasses of JMLChar_JML_TestData in org.jmlspecs.models

class	JMLChar_JML_Test Automatically-generated test driver for JML and JUnit based testing of JMLChar.
protected static class	JMLChar_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	JMLChar_JML_Test.TestCharValue Test for the charValue method.
protected static class	JMLChar_JML_Test.TestClone Test for the clone method.
protected static class	JMLChar_JML_Test.TestCompareTo Test for the compareTo method.
protected static class	JMLChar_JML_Test.TestDividedBy Test for the dividedBy method.
protected static class	JMLChar_JML_Test.TestEquals Test for the equals method.
protected static class	JMLChar_JML_Test.TestGetChar Test for the getChar method.
protected static class	JMLChar_JML_Test.TestGreaterThan Test for the greaterThan method.
protected static class	JMLChar_JML_Test.TestGreaterThanOrEqualTo Test for the greaterThanOrEqualTo method.
protected static class	JMLChar_JML_Test.TestHashCode Test for the hashCode method.
protected static class	JMLChar_JML_Test.TestIntValue Test for the intValue method.
protected static class	JMLChar_JML_Test.TestJMLChar Test for the JMLChar contructor.
protected static class	JMLChar_JML_Test.TestJMLChar$1 Test for the JMLChar contructor.
protected static class	JMLChar_JML_Test.TestJMLChar$2 Test for the JMLChar contructor.
protected static class	JMLChar_JML_Test.TestLessThan Test for the lessThan method.
protected static class	JMLChar_JML_Test.TestLessThanOrEqualTo Test for the lessThanOrEqualTo method.
protected static class	JMLChar_JML_Test.TestMinus Test for the minus method.
protected static class	JMLChar_JML_Test.TestPlus Test for the plus method.
protected static class	JMLChar_JML_Test.TestRemainderBy Test for the remainderBy method.
protected static class	JMLChar_JML_Test.TestTimes Test for the times method.
protected static class	JMLChar_JML_Test.TestToString Test for the toString method.