joeq.Compiler.BytecodeAnalysis
Class Bytecodes.JsrInstruction

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.JsrInstruction

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.InstructionTargeter, Bytecodes.StackProducer, Bytecodes.TypedInstruction, Bytecodes.UnconditionalBranch

Direct Known Subclasses:

Bytecodes.JSR, Bytecodes.JSR_W

Enclosing interface:

Bytecodes

public abstract static class Bytecodes.JsrInstruction
extends Bytecodes.BranchInstruction
implements Bytecodes.UnconditionalBranch, Bytecodes.TypedInstruction, Bytecodes.StackProducer

See Also:

Serialized Form

Method Summary

jq_Type	getType()
Bytecodes.InstructionHandle	physicalSuccessor() Returns an InstructionHandle to the physical successor of this JsrInstruction.

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

containsTarget, dump, getIndex, getTarget, setTarget, toString, updateTarget

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

accept, consumeStack, copy, getLength, getOpcode, produceStack, readInstruction, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackProducer

produceStack

Method Detail

getType

public jq_Type getType()

Specified by:

getType in interface Bytecodes.TypedInstruction

Returns:

return address type

physicalSuccessor

public Bytecodes.InstructionHandle physicalSuccessor()

Returns an InstructionHandle to the physical successor of this JsrInstruction. For this method to work, this JsrInstruction object must not be shared between multiple InstructionHandle objects! Formally, there must not be InstructionHandle objects i, j where i != j and i.getInstruction() == this == j.getInstruction().

Returns:

an InstructionHandle to the "next" instruction that will be executed when RETurned from a subroutine.