gov.nasa.jpf.vm

Class ClassInfoException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.ClassInfoException

All Implemented Interfaces:

java.io.Serializable

public class ClassInfoException
extends java.lang.RuntimeException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ClassInfoException(java.lang.String details, ClassLoaderInfo cl, java.lang.String exceptionClass, java.lang.String faildClass)
ClassInfoException(java.lang.String details, ClassLoaderInfo cl, java.lang.String exceptionClass, java.lang.String faildClass, java.lang.Throwable cause)

Method Summary

Modifier and Type	Method and Description
boolean	checkSystemClassFailure()
ClassLoaderInfo	getClassLoaderInfo()
java.lang.String	getExceptionClass()
java.lang.String	getFailedClass()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassInfoException

public ClassInfoException(java.lang.String details,
                          ClassLoaderInfo cl,
                          java.lang.String exceptionClass,
                          java.lang.String faildClass)

ClassInfoException

public ClassInfoException(java.lang.String details,
                          ClassLoaderInfo cl,
                          java.lang.String exceptionClass,
                          java.lang.String faildClass,
                          java.lang.Throwable cause)

Method Detail

checkSystemClassFailure

public boolean checkSystemClassFailure()

getClassLoaderInfo

public ClassLoaderInfo getClassLoaderInfo()

getFailedClass

public java.lang.String getFailedClass()

getExceptionClass

public java.lang.String getExceptionClass()