public final class RepositoryTypeDictionary
extends java.lang.Object
implements blue.language.dictionary.TypeDictionary
| Constructor and Description |
|---|
RepositoryTypeDictionary(RepositoryManifest manifest,
RepositoryNodeProvider nodeProvider) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Optional<java.lang.String> |
currentBlueId(java.lang.String blueId) |
java.util.Optional<blue.language.model.Node> |
definition(java.lang.String currentBlueId) |
java.util.Set<java.lang.String> |
dictionaryBlueIds() |
java.lang.String |
name() |
java.util.Optional<java.lang.String> |
typeBlueIdFor(java.lang.String currentBlueId,
java.lang.String dictionaryBlueId) |
public RepositoryTypeDictionary(RepositoryManifest manifest, RepositoryNodeProvider nodeProvider)
public java.lang.String name()
name in interface blue.language.dictionary.TypeDictionarypublic java.util.Set<java.lang.String> dictionaryBlueIds()
dictionaryBlueIds in interface blue.language.dictionary.TypeDictionarypublic java.util.Optional<java.lang.String> currentBlueId(java.lang.String blueId)
currentBlueId in interface blue.language.dictionary.TypeDictionarypublic java.util.Optional<java.lang.String> typeBlueIdFor(java.lang.String currentBlueId,
java.lang.String dictionaryBlueId)
typeBlueIdFor in interface blue.language.dictionary.TypeDictionarypublic java.util.Optional<blue.language.model.Node> definition(java.lang.String currentBlueId)
definition in interface blue.language.dictionary.TypeDictionary