joeq.Compiler.Quad
Class Operator.Monitor.MONITOREXIT

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

Enclosing class:

Operator.Monitor

public static class Operator.Monitor.MONITOREXIT
extends Operator.Monitor

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator.Monitor

Operator.Monitor.MONITORENTER, 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

static Operator.Monitor.MONITOREXIT

INSTANCE

Fields inherited from class joeq.Compiler.Quad.Operator

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

Method Summary

UnmodifiableList.jq_Class	getThrownExceptions()
void	interpret(Quad q, QuadInterpreter s)
String	toString()

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

accept, create, getSrc, getUsedRegisters, hasSideEffects, setSrc

Methods inherited from class joeq.Compiler.Quad.Operator

getDefinedRegisters, getReg1_check, getReg1, getReg12, getReg123, getReg1234, getReg124, getReg2, getReg23, getReg234, getReg24, getReg3

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final Operator.Monitor.MONITOREXIT INSTANCE

Method Detail

toString

public String toString()

Overrides:

toString in class Object

interpret

public void interpret(Quad q,
                      QuadInterpreter s)

Specified by:

interpret in class Operator

getThrownExceptions

public UnmodifiableList.jq_Class getThrownExceptions()

Overrides:

getThrownExceptions in class Operator