joeq.Compiler.BytecodeAnalysis
Class Bytecodes.TABLESWITCH

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.BranchInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.Select
              joeq.Compiler.BytecodeAnalysis.Bytecodes.TABLESWITCH

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.InstructionTargeter, Bytecodes.StackProducer, Bytecodes.VariableLengthInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.TABLESWITCH
extends Bytecodes.Select
implements Bytecodes.VariableLengthInstruction, Bytecodes.StackProducer

See Also:

Serialized Form

Constructor Summary

Bytecodes.TABLESWITCH(int[] match, java.util.ArrayList targets, Bytecodes.InstructionHandle target)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
void	dump(java.io.DataOutputStream out) Dump instruction as byte code to stream out.

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

containsTarget, getIndices, getMatchs, getTargets, setTarget, toString, updateTarget

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

getIndex, getTarget, setTarget

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

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

Constructor Detail

Bytecodes.TABLESWITCH

public Bytecodes.TABLESWITCH(int[] match,
                             java.util.ArrayList targets,
                             Bytecodes.InstructionHandle target)

Parameters:

match - sorted array of match values, match[0] must be low value, match[match_length - 1] high value

targets - where to branch for matched values

target - default branch

Method Detail

dump

public void dump(java.io.DataOutputStream out)
          throws java.io.IOException

Dump instruction as byte code to stream out.

Overrides:

dump in class Bytecodes.Select

Parameters:

out - Output stream

Throws:

java.io.IOException

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