public class StringToIntMapper<S extends java.lang.Enum<S> & IntCounter>
extends java.lang.Object
Constructor and Description |
---|
StringToIntMapper(java.lang.Class<S> clazz) |
Modifier and Type | Method and Description |
---|---|
void |
dump(java.nio.file.Path file) |
void |
dump(java.io.Writer writer) |
java.lang.String |
getId(S subset,
int num) |
int |
getInt(S subset,
java.lang.String id) |
boolean |
isMapped(S subset,
java.lang.String id) |
boolean |
isModified() |
void |
load(java.io.BufferedReader reader) |
void |
load(java.nio.file.Path file) |
int |
newInt(S subset,
java.lang.String id) |
void |
reset(S subset) |
public StringToIntMapper(java.lang.Class<S> clazz)
public int newInt(S subset, java.lang.String id)
public int getInt(S subset, java.lang.String id)
public java.lang.String getId(S subset, int num)
public boolean isMapped(S subset, java.lang.String id)
public boolean isModified()
public void dump(java.io.Writer writer) throws java.io.IOException
java.io.IOException
public void dump(java.nio.file.Path file) throws java.io.IOException
java.io.IOException
public void load(java.io.BufferedReader reader) throws java.io.IOException
java.io.IOException
public void load(java.nio.file.Path file) throws java.io.IOException
java.io.IOException
public void reset(S subset)