JML

Uses of Class
java.lang.NumberFormatException

Packages that use NumberFormatException
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.mjc Implements mjc, a MultiJava compiler. 
 

Uses of NumberFormatException in java.lang
 

Methods in java.lang that return NumberFormatException
(package private) static NumberFormatException NumberFormatException.forInputString(String)
           
 

Methods in java.lang that throw NumberFormatException
static byte Byte.parseByte(String s)
           
static byte Byte.parseByte(String s, int radix)
           
static Byte Byte.valueOf(String s, int radix)
           
static Byte Byte.valueOf(String s)
           
static Byte Byte.decode(String nm)
           
static short Short.parseShort(String s)
           
static short Short.parseShort(String s, int radix)
           
static Short Short.valueOf(String s, int radix)
           
static Short Short.valueOf(String s)
           
static Short Short.decode(String nm)
           
static int Integer.parseInt(String s, int radix)
           
static int Integer.parseInt(String s)
           
static Integer Integer.valueOf(String s, int radix)
           
static Integer Integer.valueOf(String s)
           
static Integer Integer.decode(String nm)
           
static Double Double.valueOf(String s)
           
static double Double.parseDouble(String s)
           
static Float Float.valueOf(String s)
           
static float Float.parseFloat(String s)
           
static long Long.parseLong(String s, int radix)
           
static long Long.parseLong(String s)
           
static Long Long.valueOf(String s, int radix)
           
static Long Long.valueOf(String s)
           
static Long Long.decode(String nm)
           
 boolean Package.isCompatibleWith(String desired)
           
 

Constructors in java.lang that throw NumberFormatException
Byte(String s)
           
Short(String s)
           
Integer(String s)
           
Double(String s)
           
Float(String s)
           
Long(String s)
           
 

Uses of NumberFormatException in org.jmlspecs.models
 

Subclasses of NumberFormatException in org.jmlspecs.models
 class JMLTypeException
          An exception class used in bad formatting exceptions.
 

Constructors in org.jmlspecs.models that throw NumberFormatException
JMLDouble(String s)
          Initialize this object to contain the value given by the string argument.
JMLFloat(String s)
          Initialize this object to contain the value given by the string argument.
 

Uses of NumberFormatException in org.multijava.mjc
 

Methods in org.multijava.mjc that throw NumberFormatException
private  Double JRealLiteral.valueFromImage()
          Sets the value of this from the image.
 


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.