public class AnnexHighlighterProxy extends AnnexProxy implements AnnexHighlighter
Constructor and Description |
---|
AnnexHighlighterProxy(org.eclipse.core.runtime.IConfigurationElement configElem) |
Modifier and Type | Method and Description |
---|---|
void |
highlightAnnexLibrary(AnnexLibrary library,
AnnexHighlighterPositionAcceptor acceptor) |
void |
highlightAnnexSubclause(AnnexSubclause subclause,
AnnexHighlighterPositionAcceptor acceptor) |
public AnnexHighlighterProxy(org.eclipse.core.runtime.IConfigurationElement configElem)
configElem
- public void highlightAnnexLibrary(AnnexLibrary library, AnnexHighlighterPositionAcceptor acceptor)
highlightAnnexLibrary
in interface AnnexHighlighter
public void highlightAnnexSubclause(AnnexSubclause subclause, AnnexHighlighterPositionAcceptor acceptor)
highlightAnnexSubclause
in interface AnnexHighlighter