joeq.Compiler.Quad
Class Operator.ALoad

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

Direct Known Subclasses:

Operator.ALoad.ALOAD_A, Operator.ALoad.ALOAD_B, Operator.ALoad.ALOAD_C, Operator.ALoad.ALOAD_D, Operator.ALoad.ALOAD_F, Operator.ALoad.ALOAD_I, Operator.ALoad.ALOAD_L, Operator.ALoad.ALOAD_P, Operator.ALoad.ALOAD_S

Enclosing class:

Operator

public abstract static class Operator.ALoad
extends Operator

Nested Class Summary

static class	Operator.ALoad.ALOAD_A
static class	Operator.ALoad.ALOAD_B
static class	Operator.ALoad.ALOAD_C
static class	Operator.ALoad.ALOAD_D
static class	Operator.ALoad.ALOAD_F
static class	Operator.ALoad.ALOAD_I
static class	Operator.ALoad.ALOAD_L
static class	Operator.ALoad.ALOAD_P
static class	Operator.ALoad.ALOAD_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.ALoad()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.ALoad operator, Operand.RegisterOperand dst, Operand base, Operand ind, Operand guard)
static Operand	getBase(Quad q)
UnmodifiableList.RegisterOperand	getDefinedRegisters(Quad q)
static Operand.RegisterOperand	getDest(Quad q)
static Operand	getGuard(Quad q)
static Operand	getIndex(Quad q)
abstract jq_Type	getType()
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
boolean	hasSideEffects()
static void	setBase(Quad q, Operand o)
static void	setDest(Quad q, Operand.RegisterOperand o)
static void	setGuard(Quad q, Operand o)
static void	setIndex(Quad q, Operand 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.ALoad

public Operator.ALoad()

Method Detail

create

public static Quad create(int id,
                          Operator.ALoad operator,
                          Operand.RegisterOperand dst,
                          Operand base,
                          Operand ind,
                          Operand guard)

getDest

public static Operand.RegisterOperand getDest(Quad q)

getBase

public static Operand getBase(Quad q)

getIndex

public static Operand getIndex(Quad q)

getGuard

public static Operand getGuard(Quad q)

setDest

public static void setDest(Quad q,
                           Operand.RegisterOperand 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

getDefinedRegisters

public UnmodifiableList.RegisterOperand getDefinedRegisters(Quad q)

Overrides:

getDefinedRegisters 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