IdInfoRegistry.IndexEncoder (MPS.Core (JetBrains MPS 2019.1.0))

All Known Implementing Classes:

IdEncoder

Enclosing class:

IdInfoRegistry
```
public static interface IdInfoRegistry.IndexEncoder
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  String index(int key)

- Method Detail
  - index
```
String index(int key)
```