joeq.Compiler.BytecodeAnalysis
Class Bytecodes.IINC

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.LocalVariableInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.IINC

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Bytecodes.IndexedInstruction, Bytecodes.TypedInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.IINC
extends Bytecodes.LocalVariableInstruction

See Also:

Serialized Form

Constructor Summary

Bytecodes.IINC(int n, int c)

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.
int	getIncrement()
void	setIncrement(int c) Set increment factor.
void	setIndex(int n) Set index of local variable.
java.lang.String	toString(boolean verbose) Long output format: <name of opcode> "["<opcode number>"]" "("<length of instruction>")" "<"< local variable index>">"

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

getCanonicalTag, getIndex, getType

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

Constructor Detail

Bytecodes.IINC

public Bytecodes.IINC(int n,
                      int c)

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.LocalVariableInstruction

Parameters:

out - Output stream

Throws:

java.io.IOException

toString

public java.lang.String toString(boolean verbose)

Description copied from class: Bytecodes.LocalVariableInstruction

Long output format: <name of opcode> "["<opcode number>"]" "("<length of instruction>")" "<"< local variable index>">"

Overrides:

toString in class Bytecodes.LocalVariableInstruction

Parameters:

verbose - long/short format switch

Returns:

mnemonic for instruction

setIndex

public final void setIndex(int n)

Set index of local variable.

Specified by:

setIndex in interface Bytecodes.IndexedInstruction

Overrides:

setIndex in class Bytecodes.LocalVariableInstruction

getIncrement

public final int getIncrement()

Returns:

increment factor

setIncrement

public final void setIncrement(int c)

Set increment factor.

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