joeq.Compiler.Quad
Class Operator.Monitor

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

Direct Known Subclasses:

Operator.Monitor.MONITORENTER, Operator.Monitor.MONITOREXIT

Enclosing class:

Operator

public abstract static class Operator.Monitor
extends Operator

Nested Class Summary

static class	Operator.Monitor.MONITORENTER
static class	Operator.Monitor.MONITOREXIT

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

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.Monitor operator, Operand val)
static Operand	getSrc(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
boolean	hasSideEffects()
static void	setSrc(Quad q, Operand o)

Methods inherited from class joeq.Compiler.Quad.Operator

getDefinedRegisters, 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.Monitor

public Operator.Monitor()

Method Detail

create

public static Quad create(int id,
                          Operator.Monitor operator,
                          Operand val)

getSrc

public static Operand getSrc(Quad q)

setSrc

public static void setSrc(Quad q,
                          Operand o)

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