MapFromStringToInt (vaadin-all 7.7.46 API)

```
public interface MapFromStringToInt
```
A lightweight map from String to int.

See Also:

JsMapFromStringToInt

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`int`	`get(String key)`	Retrieves a value for the specified key.
`boolean`	`hasKey(String key)`	Indicates whether the map contains a value for the specified key.
`ArrayOfString`	`keys()`	The keys contained within this map.
`void`	`put(String key, int value)`	Associates a value to the specified key.
`void`	`remove(String key)`	Removes the value associated with the specified value, if one exists.
`ArrayOfInt`	`values()`	The values contained in this map.

- Method Detail
  - get
```
int get(String key)
```
    Retrieves a value for the specified key.
  - hasKey
```
boolean hasKey(String key)
```
    Indicates whether the map contains a value for the specified key.
  - keys
```
ArrayOfString keys()
```
    The keys contained within this map. This copies the keys into a new array.
  - put
```
void put(String key,
         int value)
```
    Associates a value to the specified key.
  - remove
```
void remove(String key)
```
    Removes the value associated with the specified value, if one exists.
  - values
```
ArrayOfInt values()
```
    The values contained in this map. This copies the values into a new array.