| 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
|