WorkDoneProgressParams
Extended by
Section titled “Extended by”_InitializeParamsCompletionParamsHoverParamsSignatureHelpParamsDefinitionParamsReferenceParamsDocumentHighlightParamsDocumentSymbolParamsCodeActionParamsWorkspaceSymbolParamsCodeLensParamsDocumentLinkParamsDocumentFormattingParamsDocumentRangeFormattingParamsDocumentRangesFormattingParamsRenameParamsPrepareRenameParamsExecuteCommandParamsImplementationParamsTypeDefinitionParamsDocumentColorParamsColorPresentationParamsFoldingRangeParamsDeclarationParamsSelectionRangeParamsCallHierarchyIncomingCallsParamsCallHierarchyOutgoingCallsParamsCallHierarchyPrepareParamsSemanticTokensParamsSemanticTokensDeltaParamsSemanticTokensRangeParamsLinkedEditingRangeParamsMonikerParams
Properties
Section titled “Properties”workDoneToken?
Section titled “workDoneToken?”
optionalworkDoneToken?:ProgressToken
An optional token that a server can use to report work done progress.