Hierarchy For Package gov.nasa.jpf.jvm

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • gov.nasa.jpf.util.BinaryClassSource
    • gov.nasa.jpf.jvm.ClassFile
  • gov.nasa.jpf.vm.ClassFileContainer
    • gov.nasa.jpf.jvm.JVMClassFileContainer
      • gov.nasa.jpf.jvm.DirClassFileContainer
      • gov.nasa.jpf.jvm.JarClassFileContainer
  • gov.nasa.jpf.vm.ClassFileMatch
    • gov.nasa.jpf.jvm.JVMClassFileContainer.JVMClassFileMatch
  • gov.nasa.jpf.jvm.ClassFileReaderAdapter (implements gov.nasa.jpf.jvm.ClassFileReader)
    • gov.nasa.jpf.jvm.JVMAnnotationParser (implements gov.nasa.jpf.vm.AnnotationParser)
  • gov.nasa.jpf.vm.ClassLoaderInfo (implements java.lang.Cloneable, java.lang.Comparable<T>, java.lang.Iterable<T>, gov.nasa.jpf.vm.Restorable<T>)
    • gov.nasa.jpf.vm.SystemClassLoaderInfo
      • gov.nasa.jpf.jvm.JVMSystemClassLoaderInfo
  • gov.nasa.jpf.vm.InfoObject (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.ClassInfo (implements gov.nasa.jpf.vm.GenericSignatureHolder, java.lang.Iterable<T>)
      • gov.nasa.jpf.jvm.JVMClassInfo
  • gov.nasa.jpf.jvm.JVMByteCodePrinter (implements gov.nasa.jpf.jvm.JVMByteCodeReader)
  • gov.nasa.jpf.jvm.JVMByteCodeReaderAdapter (implements gov.nasa.jpf.jvm.JVMByteCodeReader)
  • gov.nasa.jpf.jvm.JVMCodeBuilder (implements gov.nasa.jpf.jvm.JVMByteCodeReader)
  • gov.nasa.jpf.jvm.JVMInstructionFactory (implements java.lang.Cloneable)
  • gov.nasa.jpf.vm.StackFrame (implements java.lang.Cloneable)
    • gov.nasa.jpf.vm.DirectCallStackFrame (implements gov.nasa.jpf.SystemAttribute)
      • gov.nasa.jpf.jvm.JVMDirectCallStackFrame
    • gov.nasa.jpf.jvm.JVMStackFrame
    • gov.nasa.jpf.vm.NativeStackFrame
      • gov.nasa.jpf.jvm.JVMNativeStackFrame
  • gov.nasa.jpf.util.StructuredPrinter
    • gov.nasa.jpf.jvm.ClassFilePrinter (implements gov.nasa.jpf.jvm.ClassFileReader)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • gov.nasa.jpf.jvm.SkipAnnotation

Interface Hierarchy

• gov.nasa.jpf.jvm.ClassFileReader
• gov.nasa.jpf.jvm.JVMByteCodeReader

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • gov.nasa.jpf.jvm.ClassFile.CpInfo