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

Class DynamicOutputTable

java.lang.Object

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

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

public class DynamicOutputTable
extends Table<java.lang.Integer,CloneableVariable>

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
DynamicOutputTable(OutputTable staticTable, int uniqueNum)
DynamicOutputTable(java.lang.String tableName, java.lang.String label1, java.lang.String label2)

Method Summary

Modifier and Type	Method and Description
java.util.ArrayList<java.lang.Integer>	getKeys() Returns all keys of the table.
java.lang.Integer	reverseLookup(CloneableVariable 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

DynamicOutputTable

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

DynamicOutputTable

public DynamicOutputTable(OutputTable staticTable,
                          int uniqueNum)
                   throws StaticRegionException

Throws:

StaticRegionException

Method Detail

getKeys

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

Returns all keys of the table.

reverseLookup

public java.lang.Integer reverseLookup(CloneableVariable var)