public DelegatingHandler(
Func <HoverParams, CancellationToken, Task <Hover> > handler,
Action <HoverCapability> setCapability,
HoverRegistrationOptions registrationOptions) : base(registrationOptions)
{
_handler = handler;
_setCapability = setCapability;
}
public HoverHandler(LanguageServerWorkspace workspace, DocumentSelector documentSelector)
{
_workspace = workspace;
_registrationOptions = new HoverRegistrationOptions
{
DocumentSelector = documentSelector
};
}
HoverRegistrationOptions IRegistration <HoverRegistrationOptions> .GetRegistrationOptions()
{
var result = new HoverRegistrationOptions
{
DocumentSelector = _documentSelector
};
return(result);
}
public HoverRegistrationOptions GetRegistrationOptions()
{
var options = new HoverRegistrationOptions();
options.DocumentSelector = _documentSelector;
options.WorkDoneProgress = false;
return(options);
}
public static IDisposable OnHover(
this ILanguageServerRegistry registry,
Func <HoverParams, CancellationToken, Task <Hover> > handler,
HoverRegistrationOptions registrationOptions = null,
Action <HoverCapability> setCapability = null)
{
registrationOptions ??= new HoverRegistrationOptions();
return(registry.AddHandlers(new DelegatingHandler(handler, setCapability, registrationOptions)));
}
public HoverHandler(HoverRegistrationOptions registrationOptions) => _options = registrationOptions;
