gov.nasa.jpf.vm

Class LoadOnJPFRequired

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.LoadOnJPFRequired

public class LoadOnJPFRequired
extends RuntimeException

Author:

Nastaran Shafiei This is used where a customized classloader loads a class, and needs to resolve it. To do the resolve, a standard VM invokes the classloader loadClass() method on the superclass. Therefore to mimic this JPF need to do a round trip back and forth to JPF, to execute the user implemented user code.

Field Summary

Fields inherited from class java.lang.Throwable

cause, detailMessage, stackTrace

Constructor Summary

Constructors

Constructor and Description
LoadOnJPFRequired(String className)

Method Summary

Methods inherited from class java.lang.Throwable

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

LoadOnJPFRequired

public LoadOnJPFRequired(String className)