joeq.Compiler.Quad
Class Operator.Ret

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.Branch
          joeq.Compiler.Quad.Operator.Ret

Direct Known Subclasses:

Operator.Ret.RET

Enclosing class:

Operator

public abstract static class Operator.Ret
extends Operator.Branch

Nested Class Summary

static class

Operator.Ret.RET

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

anyexception, arithexception, arrayboundsexception, arraystoreexception, classcastexceptions, illegalmonitorstateexception, negativesizeexception, noexceptions, noregisters, nullptrexception, resolutionexceptions

Constructor Summary

Operator.Ret()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.Ret operator, Operand.RegisterOperand loc)
static Operand.RegisterOperand	getTarget(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
static void	setTarget(Quad q, Operand.RegisterOperand o)

Methods inherited from class joeq.Compiler.Quad.Operator.Branch

hasSideEffects

Methods inherited from class joeq.Compiler.Quad.Operator

getDefinedRegisters, getReg1_check, getReg1, getReg2, getReg3, getThrownExceptions, interpret

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Operator.Ret

public Operator.Ret()

Method Detail

create

public static Quad create(int id,
                          Operator.Ret operator,
                          Operand.RegisterOperand loc)

getTarget

public static Operand.RegisterOperand getTarget(Quad q)

setTarget

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

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