JML

java.lang
Class Throwable

java.lang.Object
  extended byjava.lang.Throwable
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
Error, Exception, UnpositionedError

public class Throwable
extends Object
implements Serializable


Field Summary
private  Object backtrace
           
private  Throwable cause
           
private  String detailMessage
           
private static long serialVersionUID
           
private  StackTraceElement[] stackTrace
           
 
Constructor Summary
Throwable()
           
Throwable(String)
           
Throwable(String, Throwable)
           
Throwable(Throwable)
           
 
Method Summary
 Throwable fillInStackTrace()
           
 Throwable getCause()
           
 String getLocalizedMessage()
           
 String getMessage()
           
private  StackTraceElement[] getOurStackTrace()
           
 StackTraceElement[] getStackTrace()
           
private  int getStackTraceDepth()
           
private  StackTraceElement getStackTraceElement(int)
           
 Throwable initCause(Throwable)
           
 void printStackTrace()
           
 void printStackTrace(PrintStream)
           
 void printStackTrace(PrintWriter)
           
private  void printStackTraceAsCause(PrintStream, StackTraceElement[])
           
private  void printStackTraceAsCause(PrintWriter, StackTraceElement[])
           
 void setStackTrace(StackTraceElement[])
           
 String toString()
           
private  void writeObject(ObjectOutputStream)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

stackTrace

private StackTraceElement[] stackTrace

backtrace

private transient Object backtrace

detailMessage

private String detailMessage

cause

private Throwable cause

serialVersionUID

private static final long serialVersionUID
Constructor Detail

Throwable

public Throwable()

Throwable

public Throwable(String)

Throwable

public Throwable(String,
                 Throwable)

Throwable

public Throwable(Throwable)
Method Detail

getMessage

public String getMessage()

getLocalizedMessage

public String getLocalizedMessage()

getCause

public Throwable getCause()

initCause

public Throwable initCause(Throwable)

toString

public String toString()
Overrides:
toString in class Object

printStackTrace

public void printStackTrace()

printStackTrace

public void printStackTrace(PrintStream)

printStackTraceAsCause

private void printStackTraceAsCause(PrintStream,
                                    StackTraceElement[])

printStackTrace

public void printStackTrace(PrintWriter)

printStackTraceAsCause

private void printStackTraceAsCause(PrintWriter,
                                    StackTraceElement[])

fillInStackTrace

public Throwable fillInStackTrace()

getStackTrace

public StackTraceElement[] getStackTrace()

getOurStackTrace

private StackTraceElement[] getOurStackTrace()

setStackTrace

public void setStackTrace(StackTraceElement[])

getStackTraceDepth

private int getStackTraceDepth()

getStackTraceElement

private StackTraceElement getStackTraceElement(int)

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

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.