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

Class Table<K,V>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table<K,V>

Direct Known Subclasses:

DynamicOutputTable, DynamicTable, StaticTable

public class Table<K,V>
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.LinkedHashMap<K,V>	table
protected java.lang.String	tableName

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	add(K v1, V v2) Basic add row inside the table.
V	lookup(K v) Basic lookup inside the table.
void	mergeTable(Table t) Merging another table to current one.
void	print() Basic print of the table.
void	remove(K v1) Basic remove element/row inside the table.

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.LinkedHashMap<K,V> table

tableName

protected java.lang.String tableName

label1

protected java.lang.String label1

label2

protected java.lang.String label2

Constructor Detail

Table

protected Table()

Table

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

Method Detail

add

public void add(K v1,
                V v2)

Basic add row inside the table.

lookup

public V lookup(K v)

Basic lookup inside the table.

Parameters:

v -

remove

public void remove(K v1)

Basic remove element/row inside the table.

mergeTable

public void mergeTable(Table t)

Merging another table to current one.

Parameters:

t -

print

public void print()

Basic print of the table. inside the table.