Uses of Class
org.apache.bcel.verifier.structurals.Frame
-
Packages that use Frame Package Description 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. -
-
Uses of Frame in org.apache.bcel.verifier.structurals
Methods in org.apache.bcel.verifier.structurals that return Frame Modifier and Type Method Description Frame
Frame. getClone()
Frame
InstructionContext. getInFrame()
Frame
InstructionContext. getOutFrame(java.util.ArrayList<InstructionContext> executionPredecessors)
This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.Methods in org.apache.bcel.verifier.structurals with parameters of type Frame Modifier and Type Method Description boolean
InstructionContext. execute(Frame inFrame, java.util.ArrayList<InstructionContext> executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext.void
ExecutionVisitor. setFrame(Frame f)
The only method granting access to the single instance of the ExecutionVisitor class.void
InstConstraintVisitor. setFrame(Frame f)
This returns the single instance of the InstConstraintVisitor class.
-