Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.jvm | |
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.vm |
Class and Description |
---|
ClassFile
class to read and dissect Java classfile contents (as specified by the Java VM
spec http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#16628
|
Class and Description |
---|
ClassFile
class to read and dissect Java classfile contents (as specified by the Java VM
spec http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#16628
|
ClassFile.CpInfo |
ClassFileReader
interface for classfile processors
NOTE - all types are given ss descriptors, i.e.
|
ClassFileReaderAdapter
adapter class implementing the ClassFileReader interface
|
JVMByteCodeReader
interface to process bytecode
|
JVMClassFactory
a JVM specific ClassFactory
|
JVMClassFileContainer
ClassFileContainer that holds Java classfiles
|
JVMCodeBuilder
a special JVMByteCodeReader implementation that builds code arrays for
MethodInfos, setting index and pc on the fly
|
JVMInstructionFactory
interface for bytecode creation
this deliberately uses the abstract abstract public Instruction as return type to allow different instruction hierarchies in
extensions.
|
Class and Description |
---|
JVMInstruction
an Instruction class that implements an InstructionVisitorAcceptor
This is the common root class for all Java bytecodes
|
JVMInstructionFactory
interface for bytecode creation
this deliberately uses the abstract abstract public Instruction as return type to allow different instruction hierarchies in
extensions.
|
Class and Description |
---|
ClassFile
class to read and dissect Java classfile contents (as specified by the Java VM
spec http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#16628
|