Class RepositoryTypeDictionary

java.lang.Object

blue.repo.RepositoryTypeDictionary

All Implemented Interfaces:

blue.language.dictionary.TypeDictionary

public final class RepositoryTypeDictionary
extends Object
implements blue.language.dictionary.TypeDictionary

Constructor Summary

Constructors

Constructor	Description
RepositoryTypeDictionary(RepositoryManifest manifest, RepositoryNodeProvider nodeProvider)

Method Summary

Modifier and Type	Method	Description
Optional<String>	currentBlueId(String blueId)
Optional<blue.language.model.Node>	definition(String currentBlueId)
Set<String>	dictionaryBlueIds()
String	name()
Optional<String>	typeBlueIdFor(String currentBlueId, String dictionaryBlueId)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface blue.language.dictionary.TypeDictionary

supportsDictionaryBlueId

Constructor Details

RepositoryTypeDictionary

public RepositoryTypeDictionary(RepositoryManifest manifest,
 RepositoryNodeProvider nodeProvider)

Method Details

name

public String name()

Specified by:

name in interface blue.language.dictionary.TypeDictionary

dictionaryBlueIds

public Set<String> dictionaryBlueIds()

Specified by:

dictionaryBlueIds in interface blue.language.dictionary.TypeDictionary

currentBlueId

public Optional<String> currentBlueId(String blueId)

Specified by:

currentBlueId in interface blue.language.dictionary.TypeDictionary

typeBlueIdFor

public Optional<String> typeBlueIdFor(String currentBlueId,
 String dictionaryBlueId)

Specified by:

typeBlueIdFor in interface blue.language.dictionary.TypeDictionary

definition

public Optional<blue.language.model.Node> definition(String currentBlueId)

Specified by:

definition in interface blue.language.dictionary.TypeDictionary