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

Class DynamicTable<V>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table<za.ac.sun.cs.green.expr.Variable,V>

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.DynamicTable<V>

public class DynamicTable<V>
extends Table<za.ac.sun.cs.green.expr.Variable,V>

Field Summary

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table

label1, label2, table, tableName

Constructor Summary

Constructors

Constructor and Description
DynamicTable(StaticTable staticTable, int uniqueNum)
DynamicTable(java.lang.String tableName, java.lang.String label1, java.lang.String label2)
DynamicTable(java.lang.String tableName, java.lang.String label1, java.lang.String label2, java.util.ArrayList<za.ac.sun.cs.green.expr.Variable> keys, java.util.ArrayList<V> values)

Method Summary

Modifier and Type	Method and Description
void	addAll(DynamicTable<V> constantsTable)
java.util.ArrayList<za.ac.sun.cs.green.expr.Variable>	getKeys() Returns all keys of the table.
V	lookupByName(java.lang.String name)
void	makeClonableVarUniqueKey(int unique) Appends a postfix to each key in the table.
za.ac.sun.cs.green.expr.Variable	reverseLookup(int[] var)

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table

add, lookup, mergeTable, print, remove

Methods inherited from class java.lang.Object

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

Constructor Detail

DynamicTable

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

DynamicTable

public DynamicTable(java.lang.String tableName,
                    java.lang.String label1,
                    java.lang.String label2,
                    java.util.ArrayList<za.ac.sun.cs.green.expr.Variable> keys,
                    java.util.ArrayList<V> values)

DynamicTable

public DynamicTable(StaticTable staticTable,
                    int uniqueNum)
             throws java.lang.CloneNotSupportedException,
                    StaticRegionException

Throws:

java.lang.CloneNotSupportedException

StaticRegionException

Method Detail

getKeys

public java.util.ArrayList<za.ac.sun.cs.green.expr.Variable> getKeys()

Returns all keys of the table.

makeClonableVarUniqueKey

public void makeClonableVarUniqueKey(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

reverseLookup

public za.ac.sun.cs.green.expr.Variable reverseLookup(int[] var)

addAll

public void addAll(DynamicTable<V> constantsTable)

lookupByName

public V lookupByName(java.lang.String name)