SemanticTokensRangeParams

case class SemanticTokensRangeParams(textDocument: TextDocumentIdentifier, range: Range, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])
Value parameters:
partialResultToken

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

range

The range the semantic tokens are requested for.

textDocument

The text document.

workDoneToken

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

Since:

3.16.0

Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product