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

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.
 



Copyright © 2002-2006 Apache Software Foundation. All Rights Reserved.