JML

java.lang
Class Double

java.lang.Object
  extended byjava.lang.Number
      extended byjava.lang.Double
All Implemented Interfaces:
Comparable, Serializable

public final class Double
extends Number
implements Comparable


Field Summary
static int MAX_EXPONENT
           
static double MAX_VALUE
           
static int MIN_EXPONENT
           
static double MIN_NORMAL
           
static double MIN_VALUE
           
static double NaN
           
static double NEGATIVE_INFINITY
           
static double POSITIVE_INFINITY
           
private static long serialVersionUID
           
static int SIZE
           
static Class TYPE
           
private  double value
           
 
Constructor Summary
Double(double)
           
Double(String)
           
 
Method Summary
 byte byteValue()
           
static int compare(double, double)
           
 int compareTo(Double)
           
 int compareTo(Object)
           
static long doubleToLongBits(double)
           
static long doubleToRawLongBits(double)
           
 double doubleValue()
           
 boolean equals(Object)
           
 float floatValue()
           
 int hashCode()
           
 int intValue()
           
 boolean isInfinite()
           
static boolean isInfinite(double)
           
 boolean isNaN()
           
static boolean isNaN(double)
           
static double longBitsToDouble(long)
           
 long longValue()
           
static double parseDouble(String)
           
 short shortValue()
           
static String toHexString(double)
           
 String toString()
           
static String toString(double)
           
static Double valueOf(double)
           
static Double valueOf(String)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

TYPE

public static final Class TYPE

POSITIVE_INFINITY

public static final double POSITIVE_INFINITY

MAX_EXPONENT

public static final int MAX_EXPONENT

MIN_VALUE

public static final double MIN_VALUE

NEGATIVE_INFINITY

public static final double NEGATIVE_INFINITY

MIN_EXPONENT

public static final int MIN_EXPONENT

serialVersionUID

private static final long serialVersionUID

MIN_NORMAL

public static final double MIN_NORMAL

SIZE

public static final int SIZE

NaN

public static final double NaN

value

private final double value

MAX_VALUE

public static final double MAX_VALUE
Constructor Detail

Double

public Double(double)

Double

public Double(String)
       throws NumberFormatException
Throws:
NumberFormatException
Method Detail

toString

public static String toString(double)

toHexString

public static String toHexString(double)

valueOf

public static Double valueOf(String)
                      throws NumberFormatException
Throws:
NumberFormatException

valueOf

public static Double valueOf(double)

parseDouble

public static double parseDouble(String)
                          throws NumberFormatException
Throws:
NumberFormatException

isNaN

public static boolean isNaN(double)

isInfinite

public static boolean isInfinite(double)

isNaN

public boolean isNaN()

isInfinite

public boolean isInfinite()

toString

public String toString()
Overrides:
toString in class Object

byteValue

public byte byteValue()
Overrides:
byteValue in class Number

shortValue

public short shortValue()
Overrides:
shortValue in class Number

intValue

public int intValue()

longValue

public long longValue()

floatValue

public float floatValue()

doubleValue

public double doubleValue()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

equals

public boolean equals(Object)
Overrides:
equals in class Object

doubleToLongBits

public static long doubleToLongBits(double)

doubleToRawLongBits

public static long doubleToRawLongBits(double)

longBitsToDouble

public static double longBitsToDouble(long)

compareTo

public int compareTo(Double)

compare

public static int compare(double,
                          double)

compareTo

public volatile int compareTo(Object)
Specified by:
compareTo in interface Comparable

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.