Uses of Class
org.jmlspecs.models.JMLInfiniteInteger_JML_TestData

Packages that use JMLInfiniteInteger_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 JMLInfiniteInteger_JML_TestData in org.jmlspecs.models

Subclasses of JMLInfiniteInteger_JML_TestData in org.jmlspecs.models

class	JMLInfiniteInteger_JML_Test Automatically-generated test driver for JML and JUnit based testing of JMLInfiniteInteger.
protected static class	JMLInfiniteInteger_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	JMLInfiniteInteger_JML_Test.TestAbs Test for the abs method.
protected static class	JMLInfiniteInteger_JML_Test.TestAdd Test for the add method.
protected static class	JMLInfiniteInteger_JML_Test.TestClone Test for the clone method.
protected static class	JMLInfiniteInteger_JML_Test.TestCompareTo Test for the compareTo method.
protected static class	JMLInfiniteInteger_JML_Test.TestDivide Test for the divide method.
protected static class	JMLInfiniteInteger_JML_Test.TestDoubleValue Test for the doubleValue method.
protected static class	JMLInfiniteInteger_JML_Test.TestEquals Test for the equals method.
protected static class	JMLInfiniteInteger_JML_Test.TestFiniteValue Test for the finiteValue method.
protected static class	JMLInfiniteInteger_JML_Test.TestFloatValue Test for the floatValue method.
protected static class	JMLInfiniteInteger_JML_Test.TestGreaterThan Test for the greaterThan method.
protected static class	JMLInfiniteInteger_JML_Test.TestGreaterThanOrEqualTo Test for the greaterThanOrEqualTo method.
protected static class	JMLInfiniteInteger_JML_Test.TestHashCode Test for the hashCode method.
protected static class	JMLInfiniteInteger_JML_Test.TestIsFinite Test for the isFinite method.
protected static class	JMLInfiniteInteger_JML_Test.TestLessThan Test for the lessThan method.
protected static class	JMLInfiniteInteger_JML_Test.TestLessThanOrEqualTo Test for the lessThanOrEqualTo method.
protected static class	JMLInfiniteInteger_JML_Test.TestMax Test for the max method.
protected static class	JMLInfiniteInteger_JML_Test.TestMin Test for the min method.
protected static class	JMLInfiniteInteger_JML_Test.TestMod Test for the mod method.
protected static class	JMLInfiniteInteger_JML_Test.TestMultiply Test for the multiply method.
protected static class	JMLInfiniteInteger_JML_Test.TestNegate Test for the negate method.
protected static class	JMLInfiniteInteger_JML_Test.TestPow Test for the pow method.
protected static class	JMLInfiniteInteger_JML_Test.TestRemainder Test for the remainder method.
protected static class	JMLInfiniteInteger_JML_Test.TestSignum Test for the signum method.
protected static class	JMLInfiniteInteger_JML_Test.TestSubtract Test for the subtract method.
protected static class	JMLInfiniteInteger_JML_Test.TestToString Test for the toString method.
protected static class	JMLInfiniteInteger_JML_Test.TestToString$1 Test for the toString method.