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()