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

Class StaticTable<V>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table<java.lang.Integer,V>

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

Direct Known Subclasses:

InputTable, OutputTable, SlotParamTable, ValueSymbolTable, VarTypeTable

public class StaticTable<V>
extends Table<java.lang.Integer,V>

Base class for all environment tables.

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
StaticTable(java.lang.String region_input_table, java.lang.String var, java.lang.String s)

Method Summary

Modifier and Type	Method and Description
java.util.Set<java.lang.Integer>	getKeys()
void	mergeTable(StaticTable<V> t) Merge the table with the eateries of another table.
void	updateKey(java.lang.Integer oldKey, java.lang.Integer newKey) Updates a key of the table for a specific entry.

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

StaticTable

public StaticTable(java.lang.String region_input_table,
                   java.lang.String var,
                   java.lang.String s)

Method Detail

updateKey

public void updateKey(java.lang.Integer oldKey,
                      java.lang.Integer newKey)

Updates a key of the table for a specific entry.

mergeTable

public void mergeTable(StaticTable<V> t)

Merge the table with the eateries of another table.

getKeys

public java.util.Set<java.lang.Integer> getKeys()