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:

Serializable, 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

Field Summary

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

fixed_length, indices, match, match_length, padding, targets

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.TABLESWITCH(int[] match, ArrayList targets, 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 void	initFromFile(jq_ConstantPool cp, jwutil.io.ByteSequence bytes, boolean wide) Read needed data (e.g.

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

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

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

getIndex, getTarget, getTargetOffset, getTargetOffset, setTarget

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

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackProducer

produceStack

Constructor Detail

Bytecodes.TABLESWITCH

public Bytecodes.TABLESWITCH(int[] match,
                             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(DataOutputStream out)
          throws IOException

Dump instruction as byte code to stream out.

Overrides:

dump in class Bytecodes.Select

Parameters:

out - Output stream

Throws:

IOException

initFromFile

protected void initFromFile(jq_ConstantPool cp,
                            jwutil.io.ByteSequence bytes,
                            boolean wide)
                     throws IOException

Read needed data (e.g. index) from file.

Overrides:

initFromFile in class Bytecodes.Select

Parameters:

cp - constant pool of class we are reading

bytes - input stream

wide - wide prefix?

Throws:

IOException

See Also:

Bytecodes.InstructionList

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