public static void CancelRequest(this ILanguageServer mediator, CancelParams @params) { mediator.SendNotification(GeneralNames.CancelRequest, @params); }
public Task <Unit> Handle(CancelParams notification, CancellationToken token) { _requestRouter.CancelRequest(notification.Id); return(Unit.Task); }
public Task Handle(CancelParams notification) { _requestRouter.CancelRequest(notification.Id); return(Task.CompletedTask); }
public static void CancelRequest(this IResponseRouter mediator, CancelParams @params) { mediator.SendNotification(GeneralNames.CancelRequest, @params); }
public abstract RpcResult CancelRequest(CancelParams args);
public static void CancelRequest(this ILanguageServer mediator, CancelParams @params) { mediator.SendNotification <CancelParams>("$/cancelRequest", @params); }