gov.nasa.jpf

Class JPFConfigException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.JPFException

gov.nasa.jpf.JPFConfigException

All Implemented Interfaces:

java.io.Serializable

public class JPFConfigException
extends JPFException

this class wraps the various exceptions we might encounter during initialization and use of Config

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
JPFConfigException(java.lang.String msg)
JPFConfigException(java.lang.String key, java.lang.Class<?> cls, java.lang.String failure)
JPFConfigException(java.lang.String key, java.lang.Class<?> cls, java.lang.String failure, java.lang.Throwable cause)
JPFConfigException(java.lang.String msg, java.lang.Throwable cause)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class gov.nasa.jpf.JPFException

printStackTrace

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JPFConfigException

public JPFConfigException(java.lang.String msg)

JPFConfigException

public JPFConfigException(java.lang.String msg,
                          java.lang.Throwable cause)

JPFConfigException

public JPFConfigException(java.lang.String key,
                          java.lang.Class<?> cls,
                          java.lang.String failure)

JPFConfigException

public JPFConfigException(java.lang.String key,
                          java.lang.Class<?> cls,
                          java.lang.String failure,
                          java.lang.Throwable cause)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable