public interface FullMappings extends Mappings
Mappings.Builder<T extends Mappings>, Mappings.MappingsSupplier<T extends Mappings>
Modifier and Type | Method and Description |
---|---|
int |
id(java.lang.String identifier)
Returns the unmapped integer id for the given identifier, or -1 if not found.
|
java.lang.String |
identifier(int id)
Returns the unmapped string identifier for the given mapped id.
|
FullMappings |
inverse()
Mappings with keys and values swapped.
|
int |
mappedId(java.lang.String mappedIdentifier)
Returns the mapped integer id for the given mapped identifier, or -1 if not found.
|
java.lang.String |
mappedIdentifier(int mappedId)
Returns the mapped string identifier for the given mapped id.
|
@Nullable java.lang.String |
mappedIdentifier(java.lang.String identifier)
Returns the mapped string identifier for the given unmapped identifier.
|
default Mappings |
mappings()
Deprecated.
|
builder, contains, getNewId, getNewIdOrDefault, mappedSize, setNewId, size
@Deprecated default Mappings mappings()
int id(java.lang.String identifier)
identifier
- unmapped string identifierint mappedId(java.lang.String mappedIdentifier)
mappedIdentifier
- mapped string identifierjava.lang.String identifier(int id)
id
- unmapped idjava.lang.String mappedIdentifier(int mappedId)
mappedId
- mapped id@Nullable java.lang.String mappedIdentifier(java.lang.String identifier)
identifier
- unmapped identifierFullMappings inverse()
Mappings