document_highlight_async


Description:

public async DocumentHighlight[]? document_highlight_async (Uri uri, Position position) throws Error

The document highlight request is sent from the client to the server to resolve document highlights for a given text document position.

Parameters:

uri

the URI of the document to find highlights in

position

the position inside the document

Returns:

a list of document highlights, or null if there are none