joeq.Compiler.BytecodeAnalysis
Class Bytecodes.StoreInstruction

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

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.IndexedInstruction, Bytecodes.PopInstruction, Bytecodes.StackConsumer, Bytecodes.TypedInstruction

Direct Known Subclasses:

Bytecodes.ASTORE, Bytecodes.DSTORE, Bytecodes.FSTORE, Bytecodes.ISTORE, Bytecodes.LSTORE

Enclosing interface:

Bytecodes

public abstract static class Bytecodes.StoreInstruction
extends Bytecodes.LocalVariableInstruction
implements Bytecodes.PopInstruction

See Also:

Serialized Form

Field Summary

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

n

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

length, opcode

Constructor Summary

protected

Bytecodes.StoreInstruction(short opcode, short c_tag, int n)

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).

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

dump, getCanonicalTag, getIndex, getType, initFromFile, setIndex, toString

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

consumeStack

Constructor Detail

Bytecodes.StoreInstruction

protected Bytecodes.StoreInstruction(short opcode,
                                     short c_tag,
                                     int n)

Parameters:

opcode - Instruction opcode

c_tag - Instruction number for compact version, ASTORE_0, e.g.

n - local variable index (unsigned short)

Method Detail

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