Uses of Package
java.lang.reflect

Packages that use java.lang.reflect

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

Classes in java.lang.reflect used by gov.nasa.jpf

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.

Classes in java.lang.reflect used by gov.nasa.jpf.tool

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)

Classes in java.lang.reflect used by gov.nasa.jpf.util

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)

Classes in java.lang.reflect used by gov.nasa.jpf.util.test

Class and Description
Method minimal Method reflection support.

Classes in java.lang.reflect used by gov.nasa.jpf.vm

Class and Description
Method minimal Method reflection support.

Classes in java.lang.reflect used by java.lang

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.

Classes in java.lang.reflect used by java.lang.reflect

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)

Classes in java.lang.reflect used by sun.misc

Class and Description
Field

Classes in java.lang.reflect used by sun.reflect

Class and Description
Field

Classes in java.lang.reflect used by sun.reflect.annotation

Class and Description
Method minimal Method reflection support.