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

Class CloneableVarTable<T>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.CloneableVarTable<T>

Direct Known Subclasses:

FieldRefTypeTable

public class CloneableVarTable<T>
extends java.lang.Object

Base class for all environment tables that use a Expression object as the key.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	label1
protected java.lang.String	label2
java.util.HashMap<CloneableVariable,T>	table
protected java.lang.String	tableName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CloneableVarTable()
	CloneableVarTable(java.lang.String tableName, java.lang.String label1, java.lang.String label2)

Method Summary

Modifier and Type	Method and Description
void	add(CloneableVariable v1, T v2) Basic add row inside the table.
java.util.Set<CloneableVariable>	getKeys() Returns all keys of the table.
T	lookup(CloneableVariable v) Basic lookup inside the table.
void	makeUniqueKey(int unique) Appends a postfix to each key in the table.
void	mergeExpressionTable(CloneableVarTable<T> t) Merge the table with the entries of another table.
void	print() Basic print of the table.
void	remove(CloneableVariable v1) Basic remove element/row inside the table.
void	updateKeys(CloneableVariable oldKey, CloneableVariable newKey) Updates a key of the table for a specific entry.

Methods inherited from class java.lang.Object

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

Field Detail

table

public final java.util.HashMap<CloneableVariable,T> table

tableName

protected java.lang.String tableName

label1

protected java.lang.String label1

label2

protected java.lang.String label2

Constructor Detail

CloneableVarTable

protected CloneableVarTable()

CloneableVarTable

public CloneableVarTable(java.lang.String tableName,
                         java.lang.String label1,
                         java.lang.String label2)

Method Detail

lookup

public T lookup(CloneableVariable v)

Basic lookup inside the table.

add

public void add(CloneableVariable v1,
                T v2)

Basic add row inside the table.

remove

public void remove(CloneableVariable v1)

Basic remove element/row inside the table.

print

public void print()

Basic print of the table. inside the table.

updateKeys

public void updateKeys(CloneableVariable oldKey,
                       CloneableVariable newKey)

Updates a key of the table for a specific entry.

getKeys

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

Returns all keys of the table.

makeUniqueKey

public void makeUniqueKey(int unique)
                   throws java.lang.CloneNotSupportedException,
                          StaticRegionException

Appends a postfix to each key in the table.

Parameters:

unique - A unique postfix.

Throws:

java.lang.CloneNotSupportedException

StaticRegionException

mergeExpressionTable

public void mergeExpressionTable(CloneableVarTable<T> t)

Merge the table with the entries of another table.