View source

typedef WorkspaceSymbolParams

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

The parameters of a WorkspaceSymbolRequest.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

query:String

A query string to filter symbols by. Clients may send an empty string here to request all symbols.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

An optional token that a server can use to report partial results (e.g. streaming) to the client.