/**
 * Compute the document highlights. Executed in a read request.
 * @since 2.20
 */
protected List<? extends DocumentHighlight> documentHighlight(DocumentHighlightParams params,
		CancelIndicator cancelIndicator) {
	URI uri = getURI(params);
	IDocumentHighlightService service = getService(uri, IDocumentHighlightService.class);
	if (service == null) {
		return Collections.emptyList();
	}
	return workspaceManager.doRead(uri,
			(doc, resource) -> service.getDocumentHighlights(doc, resource, params, cancelIndicator));
}
 

@Override
public CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams params) {
	return computeDOMAsync(params.getTextDocument(), (cancelChecker, xmlDocument) -> {
		return getXMLLanguageService().findDocumentHighlights(xmlDocument, params.getPosition(), cancelChecker);
	});
}
 

@Override
public CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams position) {
	LOGGER.info("documentHighlight: {}", position.getTextDocument());
	return CompletableFuture.completedFuture(Collections.emptyList());
}
 

@Override
public CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams position) {
	logInfo(">> document/documentHighlight");
	DocumentHighlightHandler handler = new DocumentHighlightHandler();
	return computeAsync((monitor) -> handler.documentHighlight(position, monitor));
}
 

/**
 * This feature is not implemented at this time.
 */
@Override
public CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams params)
{
    return CompletableFuture.completedFuture(Collections.emptyList());
}
 

@Override
public CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams params) {
	return requestManager.runRead((cancelIndicator) -> documentHighlight(params, cancelIndicator));
}
 

@Override
public List<? extends DocumentHighlight> getDocumentHighlights(Document document, XtextResource resource, DocumentHighlightParams params, CancelIndicator cancelIndicator) {
	int offset = document.getOffSet(params.getPosition());
	return getDocumentHighlights(resource, offset);
}
 

/**
 * @since 2.21
 */
List<? extends DocumentHighlight> getDocumentHighlights(Document document, XtextResource resource, DocumentHighlightParams params, CancelIndicator cancelIndicator);
 

/**
 * The document highlight request is sent from the client to the server to
 * to resolve a document highlights for a given text document position.
 * 
 * Registration Options: TextDocumentRegistrationOptions
 */
@JsonRequest
default CompletableFuture<List<? extends DocumentHighlight>> documentHighlight(DocumentHighlightParams params) {
	throw new UnsupportedOperationException();
}