LabelDictionary (Crawljax core 5.2.2 API)

java.lang.Object
- com.crawljax.stateabstractions.dom.RTED.LabelDictionary

```
public class LabelDictionary
extends Object
```
This provides a way of using small int values to represent String labels, as opposed to storing the labels directly.

Author:

Denilson Barbosa, Nikolaus Augsten from approxlib, available at http://www.inf.unibz.it/~augsten/src/

Field Summary

Fields
Modifier and Type	Field	Description
`private int`	`count`
`private Map<Integer,String>`	`IntStr`
`static int`	`KEY_DUMMY_LABEL`
`private boolean`	`newLabelsAllowed`
`private Map<String,Integer>`	`StrInt`

Constructor Summary

Constructors
Constructor Description

LabelDictionary()
Creates a new blank dictionary.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`isNewLabelsAllowed()`
`String`	`read(int labelID)`	Returns the label with a given ID in the dictionary.
`void`	`setNewLabelsAllowed(boolean newLabelsAllowed)`
`int`	`store(String label)`	Adds a new label to the dictionary if it has not been added yet.

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

- Field Detail
  - KEY_DUMMY_LABEL
```
public static final int KEY_DUMMY_LABEL
```
    See Also:
    
    Constant Field Values
  - count
```
private int count
```
  - StrInt
```
private final Map<String,Integer> StrInt
```
  - IntStr
```
private final Map<Integer,String> IntStr
```
  - newLabelsAllowed
```
private boolean newLabelsAllowed
```
- Constructor Detail
  - LabelDictionary
```
public LabelDictionary()
```
    Creates a new blank dictionary.
- Method Detail
  - store
```
public int store(String label)
```
    Adds a new label to the dictionary if it has not been added yet. Returns the ID of the new label in the dictionary.
    
    Parameters:
    
    label - add this label to the dictionary if it does not exist yet
    
    Returns:
    
    ID of label in the dictionary
  - read
```
public String read(int labelID)
```
    Returns the label with a given ID in the dictionary.
    
    Parameters:
    
    labelID -
    
    Returns:
    
    the label with the specified labelID, or null if this dictionary contains no label for labelID
  - isNewLabelsAllowed
```
public boolean isNewLabelsAllowed()
```
    Returns:
    
    true iff new labels can be stored into this label dictionary
  - setNewLabelsAllowed
```
public void setNewLabelsAllowed(boolean newLabelsAllowed)
```
    Parameters:
    
    newLabelsAllowed - the newLabelsAllowed to set