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 double MAX_VALUE
           
static double MIN_VALUE
           
static double NaN
           
static double NEGATIVE_INFINITY
           
static double POSITIVE_INFINITY
           
private static long serialVersionUID
           
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()
           
 String toString()
           
static String toString(double)
           
static Double valueOf(String)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

NaN

public static final double NaN

value

private double value

MAX_VALUE

public static final double MAX_VALUE

NEGATIVE_INFINITY

public static final double NEGATIVE_INFINITY

POSITIVE_INFINITY

public static final double POSITIVE_INFINITY

MIN_VALUE

public static final double MIN_VALUE

serialVersionUID

private static final long serialVersionUID

TYPE

public static final Class TYPE
Constructor Detail

Double

public Double(double)

Double

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

byteValue

public byte byteValue()
Overrides:
byteValue in class Number

doubleValue

public double doubleValue()

floatValue

public float floatValue()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

intValue

public int intValue()

longValue

public long longValue()

shortValue

public short shortValue()
Overrides:
shortValue in class Number

isInfinite

public boolean isInfinite()

isNaN

public boolean isNaN()

doubleToLongBits

public static long doubleToLongBits(double)

doubleToRawLongBits

public static long doubleToRawLongBits(double)

isInfinite

public static boolean isInfinite(double)

isNaN

public static boolean isNaN(double)

compare

public static int compare(double,
                          double)

longBitsToDouble

public static double longBitsToDouble(long)

compareTo

public int compareTo(Double)

compareTo

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

equals

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

toString

public String toString()
Overrides:
toString in class Object

toString

public static String toString(double)

parseDouble

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

valueOf

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

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.