public class ShortIdDictionary
extends java.lang.Object
Constructor and Description |
---|
ShortIdDictionary(java.nio.file.Path file) |
ShortIdDictionary(java.util.Set<java.lang.String> ids) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getShortId(java.lang.String realId) |
void |
write(java.nio.file.Path file) |