gov.nasa.jpf.vm.serialize

Class UnknownJPFClass

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.serialize.UnknownJPFClass

All Implemented Interfaces:

java.io.Serializable

public class UnknownJPFClass
extends java.lang.RuntimeException

exception to indicate that JPF can't find a (model) class of a given name For native clients directly or indirectly cause class resolution <2do> we might turn this into an handled exception at some point

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	clsName

Constructor Summary

Constructors

Constructor and Description
UnknownJPFClass(java.lang.String clsName)

Method Summary

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

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, 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

Field Detail

clsName

protected java.lang.String clsName

Constructor Detail

UnknownJPFClass

public UnknownJPFClass(java.lang.String clsName)

Method Detail

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable