Operator.ALength.ARRAYLENGTH (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.ALength.ARRAYLENGTH

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.ALength
          joeq.Compiler.Quad.Operator.ALength.ARRAYLENGTH

Enclosing class:: Operator.ALength

public static class Operator.ALength.ARRAYLENGTH
extends Operator.ALength
extends Operator.ALength

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator.ALength
`Operator.ALength.ARRAYLENGTH`

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.ALength.ARRAYLENGTH`	`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.ALength
`accept, create, getDefinedRegisters, getDest, getSrc, getUsedRegisters, hasSideEffects, setDest, setSrc`

Methods inherited from class joeq.Compiler.Quad.Operator
`getReg1_check, getReg1, getReg12, getReg123, getReg1234, getReg124, getReg2, getReg23, getReg234, getReg24, getReg3, getThrownExceptions`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

INSTANCE

public static final Operator.ALength.ARRAYLENGTH 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