gov.nasa.jpf.vm

Class ArrayAccess

java.lang.Object

gov.nasa.jpf.vm.ArrayAccess

public class ArrayAccess
extends java.lang.Object

CG attribute to store array references of aload/astore operations

Constructor Summary

Constructors

Constructor and Description
ArrayAccess(int aref, int index, boolean isRead)

Method Summary

Modifier and Type	Method and Description
int	getAref()
int	getIndex()
boolean	isRead()

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayAccess

public ArrayAccess(int aref,
                   int index,
                   boolean isRead)

Method Detail

getAref

public int getAref()

getIndex

public int getIndex()

isRead

public boolean isRead()