Operator.BoundsCheck.BOUNDS_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.BoundsCheck.BOUNDS_CHECK

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.BoundsCheck
          joeq.Compiler.Quad.Operator.BoundsCheck.BOUNDS_CHECK

Enclosing class:: Operator.BoundsCheck

public static class Operator.BoundsCheck.BOUNDS_CHECK
extends Operator.BoundsCheck
extends Operator.BoundsCheck

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator.BoundsCheck
`Operator.BoundsCheck.BOUNDS_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.BoundsCheck.BOUNDS_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.BoundsCheck
`accept, create, getDefinedRegisters, getGuard, getIndex, getRef, getThrownExceptions, getUsedRegisters, hasSideEffects, setGuard, setIndex, 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.BoundsCheck.BOUNDS_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