File	Doc	Category	Size	Date	Package
InstructionContext.java	API Doc	Java SE 5 API	5364	Fri Aug 26 14:55:26 BST 2005	com.sun.org.apache.bcel.internal.verifier.structurals

InstructionContext

Fields Summary

Constructors Summary

Methods Summary
public boolean	execute(Frame inFrame, java.util.ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev) This method symbolically executes the Instruction held in the InstructionContext. It "merges in" the incoming execution frame situation (see The Java Virtual Machine Specification, 2nd edition, page 146). By so doing, the outgoing execution frame situation is calculated. This method is JustIce-specific and is usually of no sense for users of the ControlFlowGraph class. They should use getInstruction().accept(Visitor), possibly in conjunction with the ExecutionVisitor. see ControlFlowGraph see ExecutionVisitor see #getOutFrame(ArrayList) return true - if and only if the "outgoing" frame situation changed from the one before execute()ing.
public ExceptionHandler[]	getExceptionHandlers() Returns the exception handlers that protect this instruction. They are special control flow successors.
public com.sun.org.apache.bcel.internal.generic.InstructionHandle	getInstruction() Returns the InstructionHandle this InstructionContext is wrapped around. return The InstructionHandle this InstructionContext is wrapped around.
public Frame	getOutFrame(java.util.ArrayList executionPredecessors) This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first. see #execute(Frame, ArrayList, InstConstraintVisitor, ExecutionVisitor)
public com.sun.org.apache.bcel.internal.verifier.structurals.InstructionContext[]	getSuccessors() Returns the usual control flow successors. see #getExceptionHandlers()
public int	getTag() The getTag and setTag methods may be used for temporary flagging, such as graph colouring. Nothing in the InstructionContext object depends on the value of the tag. JustIce does not use it. see #setTag(int tag)
public void	setTag(int tag) The getTag and setTag methods may be used for temporary flagging, such as graph colouring. Nothing in the InstructionContext object depends on the value of the tag. JustIce does not use it. see #getTag()