gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess

Class ArraySubscriptMap

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap

public class ArraySubscriptMap
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	label1
protected java.lang.String	label2
java.util.HashMap<ArrayRef,SubscriptPair>	table
protected java.lang.String	tableName
private int	uniqueNum

Constructor Summary

Constructors

Constructor and Description
ArraySubscriptMap()

Method Summary

Modifier and Type	Method and Description
void	add(ArrayRef v1, SubscriptPair v2)
protected ArraySubscriptMap	clone()
java.util.Set<ArrayRef>	getKeys()
java.util.ArrayList<ArrayRefVarExpr>	getUniqueArrayAccess()
SubscriptPair	lookup(ArrayRef key)
ArrayRef	lookupKey(ArrayRef key)
void	print()
void	remove(ArrayRef key)
void	setUniqueNum(int uniqueNum)
void	updateKeys(ArrayRef oldKey, ArrayRef newKey)
void	updateValue(ArrayRef arrayRef, SubscriptPair p)

Methods inherited from class java.lang.Object

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

Field Detail

table

public final java.util.HashMap<ArrayRef,SubscriptPair> table

tableName

protected final java.lang.String tableName

See Also:

Constant Field Values

label1

protected final java.lang.String label1

See Also:

Constant Field Values

label2

protected final java.lang.String label2

See Also:

Constant Field Values

uniqueNum

private int uniqueNum

Constructor Detail

ArraySubscriptMap

public ArraySubscriptMap()

Method Detail

lookup

public SubscriptPair lookup(ArrayRef key)

lookupKey

public ArrayRef lookupKey(ArrayRef key)

add

public void add(ArrayRef v1,
                SubscriptPair v2)

remove

public void remove(ArrayRef key)

print

public void print()

updateKeys

public void updateKeys(ArrayRef oldKey,
                       ArrayRef newKey)

getKeys

public java.util.Set<ArrayRef> getKeys()

clone

protected ArraySubscriptMap clone()

Overrides:

clone in class java.lang.Object

updateValue

public void updateValue(ArrayRef arrayRef,
                        SubscriptPair p)

setUniqueNum

public void setUniqueNum(int uniqueNum)

getUniqueArrayAccess

public java.util.ArrayList<ArrayRefVarExpr> getUniqueArrayAccess()
                                                          throws StaticRegionException

Throws:

StaticRegionException