Operator.StoreCheck.ASTORE_CHECK (joeq 1.0 API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

joeq.Compiler.Quad
Class Operator.StoreCheck.ASTORE_CHECK

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.StoreCheck
          joeq.Compiler.Quad.Operator.StoreCheck.ASTORE_CHECK

Enclosing class:: Operator.StoreCheck

public static class Operator.StoreCheck.ASTORE_CHECK
extends Operator.StoreCheck
extends Operator.StoreCheck

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator.StoreCheck
`Operator.StoreCheck.ASTORE_CHECK`

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

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.StoreCheck.ASTORE_CHECK`	`INSTANCE`

Fields inherited from class joeq.Compiler.Quad.Operator
`_delegate, anyexception, arithexception, arrayboundsexception, arraystoreexception, classcastexceptions, illegalmonitorstateexception, negativesizeexception, noexceptions, noregisters, nullptrexception, resolutionexceptions`

Method Summary
`void`	`interpret(Quad q, QuadInterpreter s)`
`String`	`toString()`

Methods inherited from class joeq.Compiler.Quad.Operator.StoreCheck
`accept, create, getDefinedRegisters, getElement, getGuard, getRef, getThrownExceptions, getUsedRegisters, hasSideEffects, setElement, setGuard, setRef`

Methods inherited from class joeq.Compiler.Quad.Operator
`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.StoreCheck.ASTORE_CHECK 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