|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.apache.bcel.verifier.structurals | |
| org.apache.bcel.verifier.structurals | Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect. |
Classes in org.apache.bcel.verifier.structurals used by org.apache.bcel.verifier.structurals| 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. |
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||