Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.tool | |
gov.nasa.jpf.util | |
gov.nasa.jpf.util.script | |
gov.nasa.jpf.util.test | |
gov.nasa.jpf.vm | |
java.lang | |
java.lang.reflect | |
java.util.concurrent | |
org.junit | |
sun.misc |
Modifier and Type | Class and Description |
---|---|
static class |
JPF.ExitException
private helper class for local termination of JPF (without killing the
whole Java process via System.exit).
|
class |
JPFConfigException
this class wraps the various exceptions we might encounter during
initialization and use of Config
|
class |
JPFErrorException
internal JPF error
|
class |
JPFException
common root for all exceptions thrown by JPF
|
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
|
Constructor and Description |
---|
JPFConfigException(String key,
Class<?> cls,
String failure,
Throwable cause) |
JPFConfigException(String msg,
Throwable cause) |
JPFException(String details,
Throwable cause) |
JPFException(Throwable cause) |
JPFListenerException(String details,
Throwable cause) |
JPFNativePeerException(String details,
Throwable cause) |
Modifier and Type | Class and Description |
---|---|
static class |
RunTest.Failed |
Modifier and Type | Method and Description |
---|---|
void |
JPFLogger.log(Level level,
String msg,
Throwable thrown) |
void |
JPFLogger.logp(Level level,
String sourceClass,
String sourceMethod,
String msg,
Throwable thrown) |
void |
JPFLogger.logrb(Level level,
String sourceClass,
String sourceMethod,
String bundleName,
String msg,
Throwable thrown) |
void |
JPFLogger.throwing(String sourceClass,
String sourceMethod,
Throwable thrown) |
Modifier and Type | Class and Description |
---|---|
class |
ESParser.Exception
utilities
|
Modifier and Type | Method and Description |
---|---|
protected JPF |
TestJPF.jpfException(Class<? extends Throwable> xCls,
String... args) |
protected JPF |
TestJPF.jpfException(StackTraceElement testMethod,
Class<? extends Throwable> xCls,
String... args)
run JPF expecting it to throw an exception
NOTE - xClassName needs to be the concrete exception, not a super class
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayIndexOutOfBoundsExecutiveException |
class |
ClassInfoException |
class |
ClassParseException
an exception while parsing a ClassFile
|
class |
ClinitRequired
this one is kind of a hack for situations where we detect deep from
the stack that we need a clinit to be executed, but we can't flag this
to the currently executed insn via a return value.
|
class |
LoadOnJPFRequired |
class |
UncaughtException
represents the case of an unhandled exception detected by JPF
This is a "controlflow exception", but I finally made my peace with it since
UncaughtExceptions can be thrown from various places, including the VM (
|
Constructor and Description |
---|
ClassInfoException(String details,
ClassLoaderInfo cl,
String exceptionClass,
String faildClass,
Throwable cause) |
Modifier and Type | Class and Description |
---|---|
class |
Exception |
class |
RuntimeException |
Modifier and Type | Field and Description |
---|---|
protected Throwable |
Throwable.cause |
Modifier and Type | Method and Description |
---|---|
Throwable |
Throwable.fillInStackTrace() |
Throwable |
Throwable.getCause() |
Throwable |
Throwable.initCause(Throwable xCause) |
Modifier and Type | Method and Description |
---|---|
Throwable |
Throwable.initCause(Throwable xCause) |
void |
Thread.stop(Throwable obj) |
void |
Thread.UncaughtExceptionHandler.uncaughtException(Thread t,
Throwable x) |
Modifier and Type | Method and Description |
---|---|
protected void |
Object.finalize() |
Constructor and Description |
---|
Throwable(String msg,
Throwable xCause) |
Throwable(Throwable xCause) |
Modifier and Type | Class and Description |
---|---|
class |
InvocationTargetException
not really required to model, but the real thing does some funky
things to override the cause, just making things a bit more complicated
on our VM side (we still init Throwables explicitly from ThreadInfo)
|
Modifier and Type | Method and Description |
---|---|
Throwable |
InvocationTargetException.getTargetException() |
Constructor and Description |
---|
InvocationTargetException(Throwable cause) |
Modifier and Type | Class and Description |
---|---|
class |
BrokenBarrierException |
Modifier and Type | Class and Description |
---|---|
static class |
Test.None |
Modifier and Type | Method and Description |
---|---|
int |
JavaLangAccess.getStackTraceDepth(Throwable t) |
StackTraceElement |
JavaLangAccess.getStackTraceElement(Throwable t,
int i) |