Package de.uzl.its.swat.symbolic.instruction

Class TABLESWITCH

java.lang.Object

de.uzl.its.swat.symbolic.instruction.Instruction

de.uzl.its.swat.symbolic.instruction.TABLESWITCH

All Implemented Interfaces:

Serializable

public class TABLESWITCH
extends Instruction

TABLESWITCH - Access jump table by index and jump. For more information see the Java VM specification.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
int	dflt
int[]	labels
int	max
int	min
int[]	values

Fields inherited from class de.uzl.its.swat.symbolic.instruction.Instruction

iid, mid

Constructor Summary

Constructors

Constructor	Description
TABLESWITCH(int iid, int mid, int min, int max, int dflt, int[] labels, int[] values)	Creates a new TABLESWITCH instruction.

Method Summary

Modifier and Type	Method	Description
void	accept(IVisitor visitor)	Accept method for the visitor.
String	toString()	Returns the string representation of the instruction.

Methods inherited from class de.uzl.its.swat.symbolic.instruction.Instruction

genericToString

Methods inherited from class java.lang.Object

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

Field Details

min

public int min

max

public int max

dflt

public int dflt

labels

public int[] labels

values

public int[] values

Constructor Details

TABLESWITCH

public TABLESWITCH(int iid,
 int mid,
 int min,
 int max,
 int dflt,
 int[] labels,
 int[] values)

Creates a new TABLESWITCH instruction.

Parameters:

iid - instruction id.

mid - method id.

min - min value.

max - max value.

dflt - the default jump label.

labels - the conditional jump labels.

values - the conditions/ keys.

Method Details

accept

public void accept(IVisitor visitor)

Accept method for the visitor.

Specified by:

accept in class Instruction

Parameters:

visitor - the visitor

toString

public String toString()

Returns the string representation of the instruction.

Overrides:

toString in class Object

Returns:

the representation.