Package de.tilman_neumann.jml.precision
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
-
of
-
of
-
of
The precision of a BigDecimal, with 0 for zero values.- Parameters:
x
- the given BigDecimal- Returns:
- the precision of x
-
add
-
multiply
-
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 classjava.lang.Object
-
equals
public boolean equals(java.lang.Object o)- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()- Overrides:
hashCode
in classjava.lang.Object
-
compareTo
- Specified by:
compareTo
in interfacejava.lang.Comparable<Precision>
-