joeq.Compiler.Quad
Class Operator.Phi

java.lang.Object
  extended by joeq.Compiler.Quad.Operator
      extended by 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


Copyright © 2001-2008 John Whaley. All Rights Reserved.