Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.tool | |
gov.nasa.jpf.util | |
gov.nasa.jpf.util.test | |
gov.nasa.jpf.vm | |
java.lang | |
java.lang.reflect | |
sun.misc | |
sun.reflect | |
sun.reflect.annotation |
Class and Description |
---|
AccessibleObject |
Constructor
(incomplete) support for consructor reflection
pretty stupid - this is almost identical to Method, but we can't derive,
and the delegation happens at the peer level anyways.
|
Class and Description |
---|
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)
|
Class and Description |
---|
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)
|
Class and Description |
---|
Method
minimal Method reflection support.
|
Class and Description |
---|
Method
minimal Method reflection support.
|
Class and Description |
---|
Constructor
(incomplete) support for consructor reflection
pretty stupid - this is almost identical to Method, but we can't derive,
and the delegation happens at the peer level anyways.
|
Field |
Method
minimal Method reflection support.
|
Class and Description |
---|
AccessibleObject |
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)
|
Class and Description |
---|
Field |
Class and Description |
---|
Field |
Class and Description |
---|
Method
minimal Method reflection support.
|