Package de.tilman_neumann.jml.precision
Class MagnitudeTest
java.lang.Object
de.tilman_neumann.jml.precision.MagnitudeTest
public class MagnitudeTest
extends java.lang.Object
-
Constructor Summary
Constructors Constructor Description MagnitudeTest()
-
Method Summary
Modifier and Type Method Description void
setup()
void
testBigIntegerBitOperations()
void
testBits()
void
testDigits()
void
testMagnitude()
void
testZero()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
MagnitudeTest
public MagnitudeTest()
-
-
Method Details
-
setup
public void setup() -
testBigIntegerBitOperations
public void testBigIntegerBitOperations() -
testDigits
public void testDigits() -
testBits
public void testBits() -
testZero
public void testZero() -
testMagnitude
public void testMagnitude()
-