joeq.Compiler.Quad
Class Operator.MemLoad

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

Direct Known Subclasses:

Operator.MemLoad.PEEK_1, Operator.MemLoad.PEEK_2, Operator.MemLoad.PEEK_4, Operator.MemLoad.PEEK_8, Operator.MemLoad.PEEK_P

Enclosing class:

Operator

public abstract static class Operator.MemLoad
extends Operator

Nested Class Summary

static class	Operator.MemLoad.PEEK_1
static class	Operator.MemLoad.PEEK_2
static class	Operator.MemLoad.PEEK_4
static class	Operator.MemLoad.PEEK_8
static class	Operator.MemLoad.PEEK_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.MemLoad()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.MemLoad operator, Operand.RegisterOperand dst, Operand addr)
static Operand	getAddress(Quad q)
UnmodifiableList.RegisterOperand	getDefinedRegisters(Quad q)
static Operand.RegisterOperand	getDest(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
boolean	hasSideEffects()
static void	setAddress(Quad q, Operand o)
static void	setDest(Quad q, Operand.RegisterOperand o)

Methods inherited from class joeq.Compiler.Quad.Operator

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

public Operator.MemLoad()

Method Detail

create

public static Quad create(int id,
                          Operator.MemLoad operator,
                          Operand.RegisterOperand dst,
                          Operand addr)

getDest

public static Operand.RegisterOperand getDest(Quad q)

getAddress

public static Operand getAddress(Quad q)

setDest

public static void setDest(Quad q,
                           Operand.RegisterOperand o)

setAddress

public static void setAddress(Quad q,
                              Operand o)

getDefinedRegisters

public UnmodifiableList.RegisterOperand getDefinedRegisters(Quad q)

Overrides:

getDefinedRegisters in class Operator

getUsedRegisters

public UnmodifiableList.RegisterOperand getUsedRegisters(Quad q)

Overrides:

getUsedRegisters in class Operator

hasSideEffects

public boolean hasSideEffects()

Specified by:

hasSideEffects in class Operator

accept

public void accept(Quad q,
                   QuadVisitor qv)

Overrides:

accept in class Operator