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