gov.nasa.jpf.vm

Class ExceptionInfo

java.lang.Object

gov.nasa.jpf.vm.ExceptionInfo

public class ExceptionInfo
extends java.lang.Object

helper class to store context of an exception

Method Summary

Modifier and Type	Method and Description
java.lang.String	getCauseClassname()
java.lang.String	getCauseDetails()
java.lang.String	getDetails()
ElementInfo	getException()
java.lang.String	getExceptionClassname()
int	getExceptionReference()
ThreadInfo	getThread()
void	printOn(java.io.PrintWriter pw)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getException

public ElementInfo getException()

getExceptionReference

public int getExceptionReference()

getExceptionClassname

public java.lang.String getExceptionClassname()

getDetails

public java.lang.String getDetails()

getCauseClassname

public java.lang.String getCauseClassname()

getCauseDetails

public java.lang.String getCauseDetails()

getThread

public ThreadInfo getThread()

printOn

public void printOn(java.io.PrintWriter pw)