Uses of Package
org.apache.bcel.verifier.structurals

Packages that use org.apache.bcel.verifier.structurals

Package	Description
org.apache.bcel.verifier	BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
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

Class and Description
Pass3bVerifier This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition.

Classes in org.apache.bcel.verifier.structurals used by org.apache.bcel.verifier.structurals

Class and Description
ControlFlowGraph This class represents a control flow graph of a method.
ControlFlowGraph.InstructionContextImpl Objects of this class represent a node in a ControlFlowGraph.
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).
ExceptionHandlers This class allows easy access to ExceptionHandler objects.
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.
Subroutines Instances of this class contain information about the subroutines found in a code array of a method.
Subroutines.ColourConstants
UninitializedObjectType This class represents an uninitialized object type; see The Java Virtual Machine Specification, Second Edition, page 147: 4.9.4 for more details.