joeq.Compiler.Quad
Class Operator.AStore

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.AStore

Direct Known Subclasses:

Operator.AStore.ASTORE_A, Operator.AStore.ASTORE_B, Operator.AStore.ASTORE_C, Operator.AStore.ASTORE_D, Operator.AStore.ASTORE_F, Operator.AStore.ASTORE_I, Operator.AStore.ASTORE_L, Operator.AStore.ASTORE_P, Operator.AStore.ASTORE_S

Enclosing class:

Operator

public abstract static class Operator.AStore
extends Operator

Nested Class Summary

static class	Operator.AStore.ASTORE_A
static class	Operator.AStore.ASTORE_B
static class	Operator.AStore.ASTORE_C
static class	Operator.AStore.ASTORE_D
static class	Operator.AStore.ASTORE_F
static class	Operator.AStore.ASTORE_I
static class	Operator.AStore.ASTORE_L
static class	Operator.AStore.ASTORE_P
static class	Operator.AStore.ASTORE_S

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator

Operator.ALength, Operator.ALoad, Operator.AStore, Operator.Binary, Operator.BoundsCheck, Operator.Branch, Operator.CheckCast, Operator.Getfield, Operator.Getstatic, Operator.Goto, Operator.InstanceOf, Operator.IntIfCmp, Operator.Invoke, Operator.Jsr, Operator.LookupSwitch, Operator.MemLoad, Operator.MemStore, Operator.Monitor, Operator.Move, Operator.New, Operator.NewArray, Operator.NullCheck, Operator.Phi, Operator.Putfield, Operator.Putstatic, Operator.Ret, Operator.Return, Operator.Special, Operator.StoreCheck, Operator.TableSwitch, Operator.Unary, Operator.ZeroCheck

Field Summary

Fields inherited from class joeq.Compiler.Quad.Operator

_delegate, anyexception, arithexception, arrayboundsexception, arraystoreexception, classcastexceptions, illegalmonitorstateexception, negativesizeexception, noexceptions, noregisters, nullptrexception, resolutionexceptions

Constructor Summary

Operator.AStore()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.AStore operator, Operand val, Operand base, Operand ind, Operand guard)
static Operand	getBase(Quad q)
static Operand	getGuard(Quad q)
static Operand	getIndex(Quad q)
abstract jq_Type	getType()
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
static Operand	getValue(Quad q)
boolean	hasSideEffects()
static void	setBase(Quad q, Operand o)
static void	setGuard(Quad q, Operand o)
static void	setIndex(Quad q, Operand o)
static void	setValue(Quad q, Operand o)

Methods inherited from class joeq.Compiler.Quad.Operator

getDefinedRegisters, getReg1_check, getReg1, getReg12, getReg123, getReg1234, getReg124, getReg2, getReg23, getReg234, getReg24, getReg3, getThrownExceptions, interpret

Methods inherited from class java.lang.Object

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

Constructor Detail

Operator.AStore

public Operator.AStore()

Method Detail

create

public static Quad create(int id,
                          Operator.AStore operator,
                          Operand val,
                          Operand base,
                          Operand ind,
                          Operand guard)

getValue

public static Operand getValue(Quad q)

getBase

public static Operand getBase(Quad q)

getIndex

public static Operand getIndex(Quad q)

getGuard

public static Operand getGuard(Quad q)

setValue

public static void setValue(Quad q,
                            Operand o)

setBase

public static void setBase(Quad q,
                           Operand o)

setIndex

public static void setIndex(Quad q,
                            Operand o)

setGuard

public static void setGuard(Quad q,
                            Operand o)

hasSideEffects

public boolean hasSideEffects()

Specified by:

hasSideEffects in class Operator

getUsedRegisters

public UnmodifiableList.RegisterOperand getUsedRegisters(Quad q)

Overrides:

getUsedRegisters in class Operator

getType

public abstract jq_Type getType()

accept

public void accept(Quad q,
                   QuadVisitor qv)

Overrides:

accept in class Operator