CounterMap (MPS.Core (JetBrains MPS 2019.1.0))

java.lang.Object
- jetbrains.mps.util.CounterMap<K>

```
public class CounterMap<K>
extends Object
```
This is data structure used to store mapping from keys to counters. When counter becomes zero or non-zero, callback is called.

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static interface CounterMap.CounterMapHandler<K>

Constructor Summary

Constructors
Constructor Description

CounterMap()

CounterMap(CounterMap.CounterMapHandler<K> handler)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`clear()`
`void`	`decrement(K key)`
`int`	`get(K key)`
`void`	`increment(K key)`
`boolean`	`isZero(K key)`
`void`	`removeKey(K key)`
`void`	`zeroizeKey(K key)`

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

Constructor Detail

CounterMap

public CounterMap(@NotNull
                  CounterMap.CounterMapHandler<K> handler)

CounterMap
```
public CounterMap()
```

Method Detail

increment
```
public void increment(K key)
```

decrement
```
public void decrement(K key)
```

get
```
public int get(K key)
```

zeroizeKey
```
public void zeroizeKey(K key)
```

removeKey
```
public void removeKey(K key)
```

isZero
```
public boolean isZero(K key)
```

clear
```
public void clear()
```