| ExceptionHandler |
This class represents an exception handler; that is, an ObjectType
representing a subclass of java.lang.Throwable and the instruction
the handler starts off (represented by an InstructionContext).
|
| ExecutionVisitor |
This Visitor class may be used for a type-based Java Virtual Machine
simulation.
|
| Frame |
This class represents a JVM execution frame; that means,
a local variable array and an operand stack.
|
| InstConstraintVisitor |
A Visitor class testing for valid preconditions of JVM instructions.
|
| InstructionContext |
An InstructionContext offers convenient access
to information like control flow successors and
such.
|
| LocalVariables |
This class implements an array of local variables used for symbolic JVM
simulation.
|
| OperandStack |
This class implements a stack used for symbolic JVM stack simulation.
|
| Subroutine |
This interface defines properties of JVM bytecode subroutines.
|
| UninitializedObjectType |
This class represents an uninitialized object type; see The Java
Virtual Machine Specification, Second Edition, page 147: 4.9.4 for
more details.
|