GlobalArraySubscriptMap

java.lang.Object
- gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap

public class GlobalArraySubscriptMap
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`protected java.lang.String`	`label1`
`protected java.lang.String`	`label2`
`java.util.HashMap<java.lang.Integer,java.lang.Integer>`	`table`
`protected java.lang.String`	`tableName`

Constructors
Constructor and Description
`GlobalArraySubscriptMap()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(java.lang.Integer v1, java.lang.Integer v2)`
`protected GlobalArraySubscriptMap`	`clone()`
`java.lang.Integer`	`createSubscript(java.lang.Integer ref)`
`java.util.Set<java.lang.Integer>`	`getKeys()`
`int`	`lookup(java.lang.Integer key)`
`void`	`print()`
`void`	`remove(java.lang.Integer key)`
`void`	`updateValue(java.lang.Integer ref, java.lang.Integer p)`

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

protected final java.lang.String tableName

protected final java.lang.String label1

protected final java.lang.String label2

Constructor Detail
- GlobalArraySubscriptMap
```
public GlobalArraySubscriptMap()
```

public int lookup(java.lang.Integer key)

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

public void remove(java.lang.Integer key)

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

protected GlobalArraySubscriptMap clone()

public void updateValue(java.lang.Integer ref,
                        java.lang.Integer p)

public java.lang.Integer createSubscript(java.lang.Integer ref)

Class GlobalArraySubscriptMap