Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
JPFConfigException
this class wraps the various exceptions we might encounter during
initialization and use of Config
|
class |
JPFErrorException
internal JPF error
|
class |
JPFListenerException
JPFException that wraps whatever can go wrong in a listener during notification
|
class |
JPFNativePeerException
JPFException that wraps whatever can go wrong in a native method
|
Modifier and Type | Method and Description |
---|---|
JPFException |
Config.exception(String msg) |
Modifier and Type | Method and Description |
---|---|
static void |
JPF.handleException(JPFException e) |
Modifier and Type | Class and Description |
---|---|
class |
ArrayIndexOutOfBoundsExecutiveException |
Modifier and Type | Method and Description |
---|---|
protected void |
ThreadInfo.executeTransition(SystemState ss)
enter instructions until there is none left or somebody breaks
the transition (e.g.
|
static <T> T |
NativePeer.getInstance(Class<?> cls,
Class<T> type) |
static <T> T |
NativePeer.getInstance(Class<?> cls,
Class<T> type,
Class<?>[] argTypes,
Object[] args) |