|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Frame | |
---|---|
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 |
---|
Fields in org.apache.bcel.verifier.structurals declared as Frame | |
---|---|
private Frame |
InstConstraintVisitor.frame
The Execution Frame we're working on. |
private Frame |
ExecutionVisitor.frame
The executionframe we're operating on. |
Methods in org.apache.bcel.verifier.structurals that return Frame | |
---|---|
Frame |
Frame.getClone()
|
Frame |
InstructionContext.getInFrame()
|
Frame |
ControlFlowGraph.InstructionContextImpl.getInFrame()
|
Frame |
InstructionContext.getOutFrame(java.util.ArrayList executionPredecessors)
This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first. |
Frame |
ControlFlowGraph.InstructionContextImpl.getOutFrame(java.util.ArrayList execChain)
Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain. |
Methods in org.apache.bcel.verifier.structurals with parameters of type Frame | |
---|---|
private void |
Pass3bVerifier.circulationPump(ControlFlowGraph cfg,
InstructionContext start,
Frame vanillaFrame,
InstConstraintVisitor icv,
ExecutionVisitor ev)
Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited]. |
boolean |
InstructionContext.execute(Frame inFrame,
java.util.ArrayList executionPredecessors,
InstConstraintVisitor icv,
ExecutionVisitor ev)
This method symbolically executes the Instruction held in the InstructionContext. |
boolean |
ControlFlowGraph.InstructionContextImpl.execute(Frame inFrame,
java.util.ArrayList execPreds,
InstConstraintVisitor icv,
ExecutionVisitor ev)
"Merges in" (vmspec2, page 146) the "incoming" frame situation; executes the instructions symbolically and therefore calculates the "outgoing" frame situation. |
private boolean |
ControlFlowGraph.InstructionContextImpl.mergeInFrames(Frame inFrame)
Does the actual merging (vmspec2, page 146). |
void |
InstConstraintVisitor.setFrame(Frame f)
This returns the single instance of the InstConstraintVisitor class. |
void |
ExecutionVisitor.setFrame(Frame f)
The only method granting access to the single instance of the ExecutionVisitor class. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |