hover_async


Description:

public async Hover? hover_async (Uri uri, Position position) throws Error

The hover request is sent from the client to the server to request hover information at a given text document position.

Parameters:

uri

the URI of the document to hover over

position

the position inside the document

Returns:

the hover information, or null if none