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