Uses of Class org.apache.bcel.verifier.structurals.Frame

Uses in package org.apache.bcel.verifier.structurals

Fields of type org.apache.bcel.verifier.structurals.Frame

Frame
The executionframe we're operating on.
Frame
The Execution Frame we're working on.

Methods with parameter type org.apache.bcel.verifier.structurals.Frame

void
Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
boolean
"Merges in" (vmspec2, page 146) the "incoming" frame situation; executes the instructions symbolically and therefore calculates the "outgoing" frame situation.
boolean
InstructionContext.execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext.
boolean
Does the actual merging (vmspec2, page 146).
void
The only method granting access to the single instance of the ExecutionVisitor class.
void
This returns the single instance of the InstConstraintVisitor class.

Methods with return type org.apache.bcel.verifier.structurals.Frame

Frame
Frame
Frame
Frame
Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain.
Frame
InstructionContext.getOutFrame(ArrayList executionPredecessors)
This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.