Uses of Class
java.lang.Double

Packages that use Double

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.multijava.dis
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of Double in java.lang

Methods in java.lang that return Double

static Double

Double.valueOf(String s)

Methods in java.lang with parameters of type Double

int	Double.compareTo(Double anotherDouble)

Uses of Double in org.jmlspecs.models

Methods in org.jmlspecs.models that return Double

Double

JMLDouble.getDouble() Return a Double containing the double contained in this object.

Methods in org.jmlspecs.models with parameters of type Double

boolean	JMLDouble.withinEpsilonOf(Double d2, double epsilon) Tell whether absolute value of difference of this JMLDouble and the arg is within the given epsilon.
boolean	JMLDouble.approximatelyEqualTo(Double d2, double epsilon) Tell whether relative difference of this JMLDouble and the arg is within the given epsilon.
static boolean	JMLDouble.withinEpsilonOf(JMLDouble d1, Double d2, double epsilon) Tell whether absolute value of difference of this JMLDouble and the arg is within the given epsilon.
static boolean	JMLDouble.approximatelyEqualTo(JMLDouble d1, Double d2, double epsilon) Tell whether relative difference of this JMLDouble and the arg is within the given epsilon.

Constructors in org.jmlspecs.models with parameters of type Double

JMLDouble(Double inDouble)
Initialize this object to contain the value of the given Double.

Uses of Double in org.multijava.dis

Methods in org.multijava.dis with parameters of type Double

private static String

Disassembler.convertDoubleLiteral(Double t)

Uses of Double in org.multijava.mjc

Methods in org.multijava.mjc that return Double

private Double

JRealLiteral.valueFromImage() Sets the value of this from the image.