joeq.Compiler.BytecodeAnalysis
Class Bytecodes.BranchHandle

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionHandle
      joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchHandle

All Implemented Interfaces:

java.io.Serializable

Enclosing interface:

Bytecodes

public static final class Bytecodes.BranchHandle
extends Bytecodes.InstructionHandle

See Also:

Serialized Form

Method Summary

int	getPosition()
Bytecodes.InstructionHandle	getTarget()
void	setInstruction(Bytecodes.Instruction i) Set new contents.
void	setTarget(Bytecodes.InstructionHandle ih) Pass new target to instruction.
void	updateTarget(Bytecodes.InstructionHandle old_ih, Bytecodes.InstructionHandle new_ih) Update target of instruction.

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionHandle

accept, addAttribute, addTargeter, getAttribute, getInstruction, getNext, getPrev, getTargeters, hasTargeters, removeAllTargeters, removeAttribute, removeTargeter, swapInstruction, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getPosition

public int getPosition()

Overrides:

getPosition in class Bytecodes.InstructionHandle

Returns:

the position, i.e., the byte code offset of the contained instruction. This is accurate only after InstructionList.setPositions() has been called.

setTarget

public void setTarget(Bytecodes.InstructionHandle ih)

Pass new target to instruction.

updateTarget

public void updateTarget(Bytecodes.InstructionHandle old_ih,
                         Bytecodes.InstructionHandle new_ih)

Update target of instruction.

getTarget

public Bytecodes.InstructionHandle getTarget()

Returns:

target of instruction.

setInstruction

public void setInstruction(Bytecodes.Instruction i)

Set new contents. Old instruction is disposed and may not be used anymore.

Overrides:

setInstruction in class Bytecodes.InstructionHandle