joeq.Compiler.Quad
Class Operator.MemStore

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

Direct Known Subclasses:

Operator.MemStore.POKE_1, Operator.MemStore.POKE_2, Operator.MemStore.POKE_4, Operator.MemStore.POKE_8, Operator.MemStore.POKE_P

Enclosing class:

Operator

public abstract static class Operator.MemStore
extends Operator

Nested Class Summary

static class	Operator.MemStore.POKE_1
static class	Operator.MemStore.POKE_2
static class	Operator.MemStore.POKE_4
static class	Operator.MemStore.POKE_8
static class	Operator.MemStore.POKE_P

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.MemStore()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.MemStore operator, Operand addr, Operand val)
static Operand	getAddress(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
static Operand	getValue(Quad q)
boolean	hasSideEffects()
static void	setAddress(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.MemStore

public Operator.MemStore()

Method Detail

create

public static Quad create(int id,
                          Operator.MemStore operator,
                          Operand addr,
                          Operand val)

getAddress

public static Operand getAddress(Quad q)

getValue

public static Operand getValue(Quad q)

setAddress

public static void setAddress(Quad q,
                              Operand o)

setValue

public static void setValue(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

accept

public void accept(Quad q,
                   QuadVisitor qv)

Overrides:

accept in class Operator