InstructionContext

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> apache >> bcel >> verifier >> [ structurals overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.apache.bcel.verifier.structurals.InstructionContext

SOURCE |

Download org.apache.bcel.verifier.structurals.InstructionContext

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.apache.bcel.verifier.structurals
Interface InstructionContext

All Known Implementing Classes:: ControlFlowGraph.InstructionContextImpl

public interface InstructionContext

An InstructionContext offers convenient access to information like control flow successors and such.

Version:: $Id: InstructionContext.java 382272 2006-03-02 03:31:46Z tcurdt $

Method Summary

boolean execute(Frame inFrame, java.util.ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev)
          This method symbolically executes the Instruction held in the InstructionContext.

ExceptionHandler[] getExceptionHandlers()
          Returns the exception handlers that protect this instruction.

Frame getInFrame()


org.apache.bcel.generic.InstructionHandle getInstruction()
          Returns the InstructionHandle this InstructionContext is wrapped around.

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.

InstructionContext[] getSuccessors()
          Returns the usual control flow successors.

int getTag()
          The getTag and setTag methods may be used for temporary flagging, such as graph colouring.

void setTag(int tag)
          The getTag and setTag methods may be used for temporary flagging, such as graph colouring.

Method Detail

getTag

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.

setTag

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.

execute

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.

getInFrame

public Frame getInFrame()

getOutFrame

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.

getInstruction

public org.apache.bcel.generic.InstructionHandle getInstruction()

Returns the InstructionHandle this InstructionContext is wrapped around.

getSuccessors

public InstructionContext[] getSuccessors()

Returns the usual control flow successors.

getExceptionHandlers

public ExceptionHandler[] getExceptionHandlers()

Returns the exception handlers that protect this instruction. They are special control flow successors.