public class AnnexHighlighterRegistry extends AnnexRegistry
ANNEX_HIGHLIGHTER_EXT_ID, ANNEX_INSTANTIATOR_EXT_ID, ANNEX_LINKINGSERVICE_EXT_ID, ANNEX_PARSER_EXT_ID, ANNEX_RESOLVER_EXT_ID, ANNEX_TEXTPOSITIONRESOLVER_EXT_ID, ANNEX_UNPARSER_EXT_ID
Modifier and Type | Method and Description |
---|---|
AnnexHighlighter |
getAnnexHighlighter(java.lang.String annexName) |
getRegistry
public AnnexHighlighter getAnnexHighlighter(java.lang.String annexName)