public class ShortIdDictionary extends Object
Constructor and Description |
---|
ShortIdDictionary(Path file) |
ShortIdDictionary(Set<String> ids) |
public ShortIdDictionary(Path file) throws IOException
IOException
public void write(Path file) throws IOException
IOException
Copyright © 2020. All rights reserved.