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

Class GlobalSubscriptMap

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap

public class GlobalSubscriptMap
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.HashMap<FieldRef,java.lang.Integer>	table
protected java.lang.String	tableName

Constructor Summary

Constructors

Constructor and Description
GlobalSubscriptMap()

Method Summary

Modifier and Type	Method and Description
void	add(FieldRef v1, java.lang.Integer v2)
protected GlobalSubscriptMap	clone()
java.lang.Integer	createSubscript(FieldRef fieldRef)
java.util.Set<FieldRef>	getKeys()
int	lookup(FieldRef key)
void	print()
void	remove(FieldRef key)
void	updateValue(FieldRef fieldRef, java.lang.Integer p)

Methods inherited from class java.lang.Object

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

Field Detail

table

public final java.util.HashMap<FieldRef,java.lang.Integer> table

tableName

protected final java.lang.String tableName

See Also:

Constant Field Values

label1

protected final java.lang.String label1

See Also:

Constant Field Values

label2

protected final java.lang.String label2

See Also:

Constant Field Values

Constructor Detail

GlobalSubscriptMap

public GlobalSubscriptMap()

Method Detail

lookup

public int lookup(FieldRef key)

add

public void add(FieldRef v1,
                java.lang.Integer v2)

remove

public void remove(FieldRef key)

print

public void print()

getKeys

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

clone

protected GlobalSubscriptMap clone()

Overrides:

clone in class java.lang.Object

updateValue

public void updateValue(FieldRef fieldRef,
                        java.lang.Integer p)

createSubscript

public java.lang.Integer createSubscript(FieldRef fieldRef)