| Interface | Description |
|---|---|
| Thread.UncaughtExceptionHandler |
| Class | Description |
|---|---|
| Class<T> |
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
| ClassLoader | |
| Object |
modeled root class of all Java objects.
|
| StackTraceElement |
MJI model class for java.lang.StackTraceElement
|
| String |
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
| System | |
| Thread |
MJI model class for java.lang.Thread library abstraction
<2do> this should not require the JPF ThreadList to retrieve corresponding ThreadInfos
(the ThreadList might not store terminated threads)
|
| Throwable |
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
| Enum | Description |
|---|---|
| Thread.State |