MapFromIntToString (vaadin-all 7.7.46 API)

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

See Also:

JsMapFromIntToString

Method Summary

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

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