joeq.Compiler.BytecodeAnalysis
Class Bytecodes.GOTO

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.GotoInstruction
              joeq.Compiler.BytecodeAnalysis.Bytecodes.GOTO

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.InstructionTargeter, Bytecodes.UnconditionalBranch, Bytecodes.VariableLengthInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.GOTO
extends Bytecodes.GotoInstruction
implements Bytecodes.VariableLengthInstruction, Bytecodes.UnconditionalBranch

See Also:

Serialized Form

Field Summary

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

index, position, target

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

length, opcode

Constructor Summary

Bytecodes.GOTO(Bytecodes.InstructionHandle target)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
void	dump(DataOutputStream out) Dump instruction as byte code to stream out.
protected int	updatePosition(int offset, int max_offset) Called in pass 2 of InstructionList.setPositions() in order to update the branch target, that may shift due to variable length instructions.

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

containsTarget, getIndex, getTarget, getTargetOffset, getTargetOffset, initFromFile, setTarget, toString, updateTarget

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Bytecodes.GOTO

public Bytecodes.GOTO(Bytecodes.InstructionHandle target)

Method Detail

dump

public void dump(DataOutputStream out)
          throws IOException

Dump instruction as byte code to stream out.

Overrides:

dump in class Bytecodes.BranchInstruction

Parameters:

out - Output stream

Throws:

IOException

updatePosition

protected int updatePosition(int offset,
                             int max_offset)

Called in pass 2 of InstructionList.setPositions() in order to update the branch target, that may shift due to variable length instructions.

Overrides:

updatePosition in class Bytecodes.BranchInstruction

Parameters:

offset - additional offset caused by preceding (variable length) instructions

max_offset - the maximum offset that may be caused by these instructions

Returns:

additional offset caused by possible change of this instruction's length

accept

public void accept(Bytecodes.Visitor v)

Call corresponding visitor method(s). The order is: Call visitor methods of implemented interfaces first, then call methods according to the class hierarchy in descending order, i.e., the most specific visitXXX() call comes last.

Specified by:

accept in class Bytecodes.Instruction

Parameters:

v - Visitor object