sysModel.classFile.code.instructions
Class TableSwitchInstruction

java.lang.Object
  sysModel.classFile.code.instructions.AInstruction
      sysModel.classFile.code.instructions.TableSwitchInstruction

public class TableSwitchInstruction
extends AInstruction

TABLESWITCH Java instruction.

Author:

Mathias Ricken

Field Summary

protected long	_high Upper bound.
protected long	_low Lower bound.
protected int[]	_targets Branch targets.

Constructor Summary

TableSwitchInstruction(byte[] bytecode, short pc, short paddingPC, LineNumberTable lnt)
Make a new TABLESWITCH instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.

TableSwitchInstruction(int defaultTarget, long low, long high, int[] targets)
Constructor.

Method Summary

boolean	equals(java.lang.Object o) Return true of this instruction and the other object are equal.
short[]	getBranchTargets() Return an array of target indices.
byte[]	getBytecode(short pc, LineNumberTable lnt) Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table
short	getBytecodeLength(short pc) Get the length bytecode for this instruction, padded for the specified program counter value.
byte	getOpcode() Get the opcode of this instruction.
int	hashCode() Return hash code.
void	setBranchTargets(short[] branchTargets) Set the branch target indices.
java.lang.String	toString() Return instruction in human-readable form.

Methods inherited from class sysModel.classFile.code.instructions.AInstruction

getCorrespondingLoad, getCorrespondingStore, makeInstruction

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_low

protected long _low

Lower bound.

_high

protected long _high

Upper bound.

_targets

protected int[] _targets

Branch targets.

Constructor Detail

TableSwitchInstruction

public TableSwitchInstruction(int defaultTarget,
                              long low,
                              long high,
                              int[] targets)

Constructor.

Parameters:

defaultTarget - default target line number

low - lower bound

high - upper bound

targets - target line nu,bers

TableSwitchInstruction

public TableSwitchInstruction(byte[] bytecode,
                              short pc,
                              short paddingPC,
                              LineNumberTable lnt)

Make a new TABLESWITCH instruction from the bytecode stating at pc, padded using paddingPC, and use the line number table for branches.

Parameters:

bytecode - bytecode

pc - starting index in bytecode

paddingPC - PC for padding

lnt - line number table for branches

Method Detail

getOpcode

public byte getOpcode()

Get the opcode of this instruction.

Specified by:

getOpcode in class AInstruction

Returns:

opcode

getBytecodeLength

public short getBytecodeLength(short pc)

Get the length bytecode for this instruction, padded for the specified program counter value.

Specified by:

getBytecodeLength in class AInstruction

Parameters:

pc - PC for padding

Returns:

bytecode length

getBytecode

public byte[] getBytecode(short pc,
                          LineNumberTable lnt)

Get the bytecode for this instruction, padded for the specified program counter value, with branch targets according to the specified line number table

Specified by:

getBytecode in class AInstruction

Parameters:

pc - PC for padding

lnt - line number table for branches

Returns:

bytecode

equals

public boolean equals(java.lang.Object o)

Return true of this instruction and the other object are equal.

Specified by:

equals in class AInstruction

Parameters:

o - other object

Returns:

true if equal

hashCode

public int hashCode()

Return hash code.

Specified by:

hashCode in class AInstruction

Returns:

hash code

getBranchTargets

public short[] getBranchTargets()

Return an array of target indices.

Specified by:

getBranchTargets in class AInstruction

Returns:

array of target indices.

setBranchTargets

public void setBranchTargets(short[] branchTargets)

Set the branch target indices.

Specified by:

setBranchTargets in class AInstruction

Parameters:

branchTargets - array of target indices

toString

public java.lang.String toString()

Return instruction in human-readable form.

Overrides:

toString in class java.lang.Object

Returns:

string representation