sysModel.classFile.code.instructions
Class TableSwitchInstruction

java.lang.Object
  extended by sysModel.classFile.code.instructions.AInstruction
      extended by 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