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

Class FieldSubscriptMap

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap

public final class FieldSubscriptMap
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<FieldRef,SubscriptPair>	table
protected java.lang.String	tableName
private int	uniqueNum

Constructor Summary

Constructors

Constructor and Description
FieldSubscriptMap()

Method Summary

Modifier and Type	Method and Description
void	add(FieldRef v1, SubscriptPair v2)
protected FieldSubscriptMap	clone()
java.util.Set<FieldRef>	getKeys()
java.util.ArrayList<FieldRefVarExpr>	getUniqueFieldAccess()
SubscriptPair	lookup(FieldRef key)
void	print()
void	remove(FieldRef key)
void	setUniqueNum(int uniqueNum)
void	updateKeys(FieldRef oldKey, FieldRef newKey)
void	updateValue(FieldRef fieldRef, 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<FieldRef,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

FieldSubscriptMap

public FieldSubscriptMap()

Method Detail

lookup

public SubscriptPair lookup(FieldRef key)

add

public void add(FieldRef v1,
                SubscriptPair v2)

remove

public void remove(FieldRef key)

print

public void print()

updateKeys

public void updateKeys(FieldRef oldKey,
                       FieldRef newKey)

getKeys

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

clone

protected FieldSubscriptMap clone()

Overrides:

clone in class java.lang.Object

updateValue

public void updateValue(FieldRef fieldRef,
                        SubscriptPair p)

setUniqueNum

public void setUniqueNum(int uniqueNum)

getUniqueFieldAccess

public java.util.ArrayList<FieldRefVarExpr> getUniqueFieldAccess()
                                                          throws StaticRegionException

Throws:

StaticRegionException