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

Packages that use NaturalNumber_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 NaturalNumber_JML_TestData in org.jmlspecs.models.resolve

Subclasses of NaturalNumber_JML_TestData in org.jmlspecs.models.resolve

class	NaturalNumber_JML_Test Automatically-generated test driver for JML and JUnit based testing of NaturalNumber.
protected static class	NaturalNumber_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	NaturalNumber_JML_Test.TestAdd Test for the add method.
protected static class	NaturalNumber_JML_Test.TestBigIntegerValue Test for the bigIntegerValue method.
protected static class	NaturalNumber_JML_Test.TestByteValue Test for the byteValue method.
protected static class	NaturalNumber_JML_Test.TestClone Test for the clone method.
protected static class	NaturalNumber_JML_Test.TestCompareTo Test for the compareTo method.
protected static class	NaturalNumber_JML_Test.TestCompareTo$1 Test for the compareTo method.
protected static class	NaturalNumber_JML_Test.TestDivide Test for the divide method.
protected static class	NaturalNumber_JML_Test.TestDivides Test for the divides method.
protected static class	NaturalNumber_JML_Test.TestDoubleValue Test for the doubleValue method.
protected static class	NaturalNumber_JML_Test.TestEquals Test for the equals method.
protected static class	NaturalNumber_JML_Test.TestFloatValue Test for the floatValue method.
protected static class	NaturalNumber_JML_Test.TestGcd Test for the gcd method.
protected static class	NaturalNumber_JML_Test.TestHashCode Test for the hashCode method.
protected static class	NaturalNumber_JML_Test.TestIntValue Test for the intValue method.
protected static class	NaturalNumber_JML_Test.TestIsZero Test for the isZero method.
protected static class	NaturalNumber_JML_Test.TestLongValue Test for the longValue method.
protected static class	NaturalNumber_JML_Test.TestMax Test for the max method.
protected static class	NaturalNumber_JML_Test.TestMin Test for the min method.
protected static class	NaturalNumber_JML_Test.TestMod Test for the mod method.
protected static class	NaturalNumber_JML_Test.TestMultiply Test for the multiply method.
protected static class	NaturalNumber_JML_Test.TestNaturalNumber Test for the NaturalNumber contructor.
protected static class	NaturalNumber_JML_Test.TestNaturalNumber$1 Test for the NaturalNumber contructor.
protected static class	NaturalNumber_JML_Test.TestNaturalNumber$2 Test for the NaturalNumber contructor.
protected static class	NaturalNumber_JML_Test.TestPow Test for the pow method.
protected static class	NaturalNumber_JML_Test.TestPow$1 Test for the pow method.
protected static class	NaturalNumber_JML_Test.TestRemainder Test for the remainder method.
protected static class	NaturalNumber_JML_Test.TestShiftLeft Test for the shiftLeft method.
protected static class	NaturalNumber_JML_Test.TestShiftRight Test for the shiftRight method.
protected static class	NaturalNumber_JML_Test.TestShortValue Test for the shortValue method.
protected static class	NaturalNumber_JML_Test.TestSuc Test for the suc method.
protected static class	NaturalNumber_JML_Test.TestSuc$1 Test for the suc method.
protected static class	NaturalNumber_JML_Test.TestToString Test for the toString method.
protected static class	NaturalNumber_JML_Test.TestValueOf Test for the valueOf method.