Class Precision

java.lang.Object
de.tilman_neumann.jml.precision.Precision
All Implemented Interfaces:
java.lang.Comparable<Precision>

public class Precision
extends java.lang.Object
implements java.lang.Comparable<Precision>
Relative precision for BigDecimal operations.
  • Method Summary

    Modifier and Type Method Description
    Precision add​(int addend)  
    java.math.BigDecimal applyTo​(java.math.BigDecimal x)
    Reduces the relative precision of x to this, or leaves it as it is if x already has a smaller precision.
    int compareTo​(Precision other)  
    int digits()  
    boolean equals​(java.lang.Object o)  
    int hashCode()  
    Precision multiply​(int multiplier)  
    static Precision of​(double x)  
    static Precision of​(float x)  
    static Precision of​(java.math.BigDecimal x)
    The precision of a BigDecimal, with 0 for zero values.
    java.lang.String toString()  
    static Precision valueOf​(int digits)  

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait
  • Method Details

    • valueOf

      public static Precision valueOf​(int digits)
    • of

      public static final Precision of​(float x)
    • of

      public static final Precision of​(double x)
    • of

      public static Precision of​(java.math.BigDecimal x)
      The precision of a BigDecimal, with 0 for zero values.
      Parameters:
      x - the given BigDecimal
      Returns:
      the precision of x
    • add

      public Precision add​(int addend)
    • multiply

      public Precision multiply​(int multiplier)
    • applyTo

      public java.math.BigDecimal applyTo​(java.math.BigDecimal x)
      Reduces the relative precision of x to this, or leaves it as it is if x already has a smaller precision.
      Parameters:
      x -
      Returns:
      x with maximum relative precision given by this.
    • digits

      public int digits()
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object
    • equals

      public boolean equals​(java.lang.Object o)
      Overrides:
      equals in class java.lang.Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class java.lang.Object
    • compareTo

      public int compareTo​(Precision other)
      Specified by:
      compareTo in interface java.lang.Comparable<Precision>