/** * Capabilities specific to the `textDocument/documentHighlight` */ @Pure public DocumentHighlightCapabilities getDocumentHighlight() { return this.documentHighlight; }
/** * Capabilities specific to the `textDocument/documentHighlight` */ public void setDocumentHighlight(final DocumentHighlightCapabilities documentHighlight) { this.documentHighlight = documentHighlight; }