joeq.Compiler.Quad
Class Operator.Phi

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

Direct Known Subclasses:

Operator.Phi.PHI

Enclosing class:

Operator

public abstract static class Operator.Phi
extends Operator

Nested Class Summary

static class

Operator.Phi.PHI

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

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.Phi operator, Operand.RegisterOperand res, int length)
UnmodifiableList.RegisterOperand	getDefinedRegisters(Quad q)
static Operand.RegisterOperand	getDest(Quad q)
static BasicBlock	getPred(Quad q, int i)
static Operand.BasicBlockTableOperand	getPreds(Quad q)
static Operand.RegisterOperand	getSrc(Quad q, int i)
static Operand.ParamListOperand	getSrcs(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
boolean	hasSideEffects()
static void	setDest(Quad q, Operand.RegisterOperand o)
static void	setPred(Quad q, int i, BasicBlock o)
static void	setSrc(Quad q, int i, Operand.RegisterOperand t)
static void	setSrcs(Quad q, Operand.ParamListOperand 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.Phi

public Operator.Phi()

Method Detail

create

public static Quad create(int id,
                          Operator.Phi operator,
                          Operand.RegisterOperand res,
                          int length)

setSrc

public static void setSrc(Quad q,
                          int i,
                          Operand.RegisterOperand t)

setPred

public static void setPred(Quad q,
                           int i,
                           BasicBlock o)

getDest

public static Operand.RegisterOperand getDest(Quad q)

getSrc

public static Operand.RegisterOperand getSrc(Quad q,
                                             int i)

getSrcs

public static Operand.ParamListOperand getSrcs(Quad q)

getPred

public static BasicBlock getPred(Quad q,
                                 int i)

getPreds

public static Operand.BasicBlockTableOperand getPreds(Quad q)

setDest

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

setSrcs

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

accept

public void accept(Quad q,
                   QuadVisitor qv)

Overrides:

accept in class Operator