public DocumentHighlightHandler(LanguageServerWorkspace workspace, DocumentSelector documentSelector)
{
_workspace = workspace;
_registrationOptions = new DocumentHighlightRegistrationOptions
{
DocumentSelector = documentSelector
};
}
public static IDisposable OnDocumentHighlight(
this ILanguageServerRegistry registry,
Func <DocumentHighlightParams, CancellationToken, Task <DocumentHighlightContainer> > handler,
DocumentHighlightRegistrationOptions registrationOptions = null,
Action <DocumentHighlightCapability> setCapability = null)
{
registrationOptions ??= new DocumentHighlightRegistrationOptions();
return(registry.AddHandlers(new DelegatingHandler(handler, registry.ProgressManager, setCapability, registrationOptions)));
}
public DelegatingHandler(
Func <DocumentHighlightParams, CancellationToken, Task <DocumentHighlightContainer> > handler,
ProgressManager progressManager,
Action <DocumentHighlightCapability> setCapability,
DocumentHighlightRegistrationOptions registrationOptions) : base(registrationOptions, progressManager)
{
_handler = handler;
_setCapability = setCapability;
}
public DocumentHighlightHandler(DocumentHighlightRegistrationOptions registrationOptions) => _options = registrationOptions;
public DocumentHighlightHandler(DocumentHighlightRegistrationOptions registrationOptions, ProgressManager progressManager)
{
_options = registrationOptions;
ProgressManager = progressManager;
}
