Uses of Class
java.lang.Float

Packages that use Float

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

Uses of Float in java.lang

Methods in java.lang that return Float

static Float

Float.valueOf(String)

Methods in java.lang with parameters of type Float

int	Float.compareTo(Float)

Uses of Float in org.jmlspecs.models

Fields in org.jmlspecs.models declared as Float

private Float	JMLFloat_JML_Test.TestJMLFloat$3.inFloat Argument inFloat
private Float	JMLFloat_JML_Test.TestWithinEpsilonOf$1.f2 Argument f2
private Float	JMLFloat_JML_Test.TestApproximatelyEqualTo$1.f2 Argument f2
private Float	JMLFloat_JML_Test.TestWithinEpsilonOf$5.f2 Argument f2
private Float	JMLFloat_JML_Test.TestApproximatelyEqualTo$5.f2 Argument f2

Methods in org.jmlspecs.models that return Float

Float

JMLFloat.getFloat() Return a Float containing the float contained in this object.

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

boolean	JMLFloat.withinEpsilonOf(Float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
boolean	JMLFloat.approximatelyEqualTo(Float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.withinEpsilonOf(JMLFloat f1, Float f2, float epsilon) Tell whether absolute value of difference of this JMLFloat and the arg is within the given epsilon.
static boolean	JMLFloat.approximatelyEqualTo(JMLFloat f1, Float f2, float epsilon) Tell whether relative difference of this JMLFloat and the arg is within the given epsilon.

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

JMLFloat(Float inFloat)
Initialize this object to contain the value of the given Float.

Uses of Float in org.multijava.dis

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

private static String

Disassembler.convertFloatLiteral(Float t)