joeq.Compiler.BytecodeAnalysis
Class Bytecodes.ArrayInstruction

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.ArrayInstruction

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.ExceptionThrower, Bytecodes.TypedInstruction

Direct Known Subclasses:

Bytecodes.AALOAD, Bytecodes.AASTORE, Bytecodes.BALOAD, Bytecodes.BASTORE, Bytecodes.CALOAD, Bytecodes.CASTORE, Bytecodes.DALOAD, Bytecodes.DASTORE, Bytecodes.FALOAD, Bytecodes.FASTORE, Bytecodes.IALOAD, Bytecodes.IASTORE, Bytecodes.LALOAD, Bytecodes.LASTORE, Bytecodes.SALOAD, Bytecodes.SASTORE

Enclosing interface:

Bytecodes

public abstract static class Bytecodes.ArrayInstruction
extends Bytecodes.Instruction
implements Bytecodes.ExceptionThrower, Bytecodes.TypedInstruction

See Also:

Serialized Form

Field Summary

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

length, opcode

Constructor Summary

protected

Bytecodes.ArrayInstruction(short opcode)

Method Summary

Set	getExceptions()
jq_Type	getType()

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

accept, consumeStack, copy, dump, getLength, getOpcode, initFromFile, produceStack, readInstruction, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Bytecodes.ArrayInstruction

protected Bytecodes.ArrayInstruction(short opcode)

Parameters:

opcode - of instruction

Method Detail

getExceptions

public Set getExceptions()

Specified by:

getExceptions in interface Bytecodes.ExceptionThrower

getType

public jq_Type getType()

Specified by:

getType in interface Bytecodes.TypedInstruction

Returns:

type associated with the instruction