langoustine.lsp.structures

Members list

Type members

Classlikes

case class AnnotatedTextEdit(annotationId: ChangeAnnotationIdentifier, range: Range, newText: String)

A special text edit with an additional change annotation.

A special text edit with an additional change annotation.

Value parameters

annotationId

The actual identifier of the change annotation

newText

The string to be inserted. For delete operations use an empty string.

range

The range of the text document to be manipulated. To insert text into a document create a range where start === end.

Attributes

Since

3.16.0.

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ApplyWorkspaceEditParams(label: Opt[String], edit: WorkspaceEdit)

The parameters passed via an apply workspace edit request.

The parameters passed via an apply workspace edit request.

Value parameters

edit

The edits to apply.

label

An optional label of the workspace edit. This label is presented in the user interface for example on an undo stack to undo the workspace edit.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ApplyWorkspaceEditResult(applied: Boolean, failureReason: Opt[String], failedChange: Opt[uinteger])

The result returned from the apply workspace edit request.

The result returned from the apply workspace edit request.

Value parameters

applied

Indicates whether the edit was applied or not.

failedChange

Depending on the client's failure handling strategy failedChange might contain the index of the change that failed. This property is only available if the client signals a failureHandlingStrategy in its client capabilities.

failureReason

An optional textual description for why the edit was not applied. This may be used by the server for diagnostic logging or to provide a suitable error for a request that triggered the edit.

Attributes

Since

3.17 renamed from ApplyWorkspaceEditResponse

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class BaseSymbolInformation(name: String, kind: SymbolKind, tags: Opt[Vector[SymbolTag]], containerName: Opt[String])

A base for all symbol information.

A base for all symbol information.

Value parameters

containerName

The name of the symbol containing this symbol. This information is for user interface purposes (e.g. to render a qualifier in the user interface if necessary). It can't be used to re-infer a hierarchy for the document symbols.

kind

The kind of this symbol.

name

The name of this symbol.

tags

Tags for this symbol. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyClientCapabilities(dynamicRegistration: Opt[Boolean])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyIncomingCall(from: CallHierarchyItem, fromRanges: Vector[Range])

Represents an incoming call, e.g. a caller of a method or constructor.

Represents an incoming call, e.g. a caller of a method or constructor.

Value parameters

from

The item that makes the call.

fromRanges

The ranges at which the calls appear. This is relative to the caller denoted by [[CallHierarchyIncomingCall.fromthis.from]].

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyIncomingCallsParams(item: CallHierarchyItem, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameter of a callHierarchy/incomingCalls request.

The parameter of a callHierarchy/incomingCalls request.

Value parameters

partialResultToken

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

workDoneToken

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

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyItem(name: String, kind: SymbolKind, tags: Opt[Vector[SymbolTag]], detail: Opt[String], uri: DocumentUri, range: Range, selectionRange: Range, data: Opt[Value])

Represents programming constructs like functions or constructors in the context of call hierarchy.

Represents programming constructs like functions or constructors in the context of call hierarchy.

Value parameters

data

A data entry field that is preserved between a call hierarchy prepare and incoming calls or outgoing calls requests.

detail

More detail for this item, e.g. the signature of a function.

kind

The kind of this item.

name

The name of this item.

range

The range enclosing this symbol not including leading/trailing whitespace but everything else, e.g. comments and code.

selectionRange

The range that should be selected and revealed when this symbol is being picked, e.g. the name of a function. Must be contained by the [[CallHierarchyItem.rangerange]].

tags

Tags for this item.

uri

The resource identifier of this item.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyOptions(workDoneProgress: Opt[Boolean])

Call hierarchy options used during static registration.

Call hierarchy options used during static registration.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyOutgoingCall(to: CallHierarchyItem, fromRanges: Vector[Range])

Represents an outgoing call, e.g. calling a getter from a method or a method from a constructor etc.

Represents an outgoing call, e.g. calling a getter from a method or a method from a constructor etc.

Value parameters

fromRanges

The range at which this item is called. This is the range relative to the caller, e.g the item passed to [[CallHierarchyItemProvider.provideCallHierarchyOutgoingCallsprovideCallHierarchyOutgoingCalls]] and not [[CallHierarchyOutgoingCall.tothis.to]].

to

The item that is called.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyOutgoingCallsParams(item: CallHierarchyItem, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameter of a callHierarchy/outgoingCalls request.

The parameter of a callHierarchy/outgoingCalls request.

Value parameters

partialResultToken

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

workDoneToken

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

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyPrepareParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

The parameter of a textDocument/prepareCallHierarchy request.

The parameter of a textDocument/prepareCallHierarchy request.

Value parameters

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CallHierarchyRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Call hierarchy options used during static or dynamic registration.

Call hierarchy options used during static or dynamic registration.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CancelParams(id: Int | String)

Value parameters

id

The request id to cancel.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object CancelParams

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ChangeAnnotation(label: String, needsConfirmation: Opt[Boolean], description: Opt[String])

Additional information that describes document changes.

Additional information that describes document changes.

Value parameters

description

A human-readable string which is rendered less prominent in the user interface.

label

A human-readable string describing the actual change. The string is rendered prominent in the user interface.

needsConfirmation

A flag which indicates that user confirmation is needed before applying the change.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Defines the capabilities provided by the client.

Defines the capabilities provided by the client.

Value parameters

experimental

Experimental client capabilities.

general

General client capabilities. since 3.16.0

notebookDocument

Capabilities specific to the notebook document support. since 3.17.0

textDocument

Text document specific client capabilities.

window

Window specific client capabilities.

workspace

Workspace specific client capabilities.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeAction(title: String, kind: Opt[CodeActionKind], diagnostics: Opt[Vector[Diagnostic]], isPreferred: Opt[Boolean], disabled: Opt[Disabled], edit: Opt[WorkspaceEdit], command: Opt[Command], data: Opt[Value])

A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code.

A code action represents a change that can be performed in code, e.g. to fix a problem or to refactor code.

A CodeAction must set either edit and/or a command. If both are supplied, the edit is applied first, then the command is executed.

Value parameters

command

A command this code action executes. If a code action provides an edit and a command, first the edit is executed and then the command.

data

A data entry field that is preserved on a code action between a textDocument/codeAction and a codeAction/resolve request. since 3.16.0

diagnostics

The diagnostics that this code action resolves.

disabled

Marks that the code action cannot currently be applied. Clients should follow the following guidelines regarding disabled code actions: - Disabled code actions are not shown in automatic lightbulbs code action menus. - Disabled actions are shown as faded out in the code action menu when the user requests a more specific type of code action, such as refactorings. - If the user has a keybinding that auto applies a code action and only disabled code actions are returned, the client should show the user an error message with reason in the editor. since 3.16.0

edit

The workspace edit this code action performs.

isPreferred

Marks this as a preferred action. Preferred actions are used by the auto fix command and can be targeted by keybindings. A quick fix should be marked preferred if it properly addresses the underlying error. A refactoring should be marked preferred if it is the most reasonable choice of actions to take. since 3.15.0

kind

The kind of the code action. Used to filter code actions.

title

A short, human-readable, title for this code action.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object CodeAction

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
CodeAction.type
case class CodeActionClientCapabilities(dynamicRegistration: Opt[Boolean], codeActionLiteralSupport: Opt[CodeActionLiteralSupport], isPreferredSupport: Opt[Boolean], disabledSupport: Opt[Boolean], dataSupport: Opt[Boolean], resolveSupport: Opt[ResolveSupport], honorsChangeAnnotations: Opt[Boolean])

The Client Capabilities of a [[CodeActionRequest]].

The Client Capabilities of a [[CodeActionRequest]].

Value parameters

codeActionLiteralSupport

The client support code action literals of type CodeAction as a valid response of the textDocument/codeAction request. If the property is not set the request can only return Command literals. since 3.8.0

dataSupport

Whether code action supports the data property which is preserved between a textDocument/codeAction and a codeAction/resolve request. since 3.16.0

disabledSupport

Whether code action supports the disabled property. since 3.16.0

dynamicRegistration

Whether code action supports dynamic registration.

honorsChangeAnnotations

Whether the client honors the change annotations in text edits and resource operations returned via the CodeAction#edit property by for example presenting the workspace edit in the user interface and asking for confirmation. since 3.16.0

isPreferredSupport

Whether code action supports the isPreferred property. since 3.15.0

resolveSupport

Whether the client supports resolving additional code action properties via a separate codeAction/resolve request. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeActionContext(diagnostics: Vector[Diagnostic], only: Opt[Vector[CodeActionKind]], triggerKind: Opt[CodeActionTriggerKind])

Contains additional diagnostic information about the context in which a [[CodeActionProvider.provideCodeActions code action]] is run.

Contains additional diagnostic information about the context in which a [[CodeActionProvider.provideCodeActions code action]] is run.

Value parameters

diagnostics

An array of diagnostics known on the client side overlapping the range provided to the textDocument/codeAction request. They are provided so that the server knows which errors are currently presented to the user for the given range. There is no guarantee that these accurately reflect the error state of the resource. The primary parameter to compute code actions is the provided range.

only

Requested kind of actions to return. Actions not of this kind are filtered out by the client before being shown. So servers can omit computing them.

triggerKind

The reason why code actions were requested. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeActionOptions(codeActionKinds: Opt[Vector[CodeActionKind]], resolveProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Provider options for a [[CodeActionRequest]].

Provider options for a [[CodeActionRequest]].

Value parameters

codeActionKinds

CodeActionKinds that this server may return. The list of kinds may be generic, such as CodeActionKind.Refactor, or the server may list out every specific kind they provide.

resolveProvider

The server provides support to resolve additional information for a code action. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeActionParams(textDocument: TextDocumentIdentifier, range: Range, context: CodeActionContext, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameters of a [[CodeActionRequest]].

The parameters of a [[CodeActionRequest]].

Value parameters

context

Context carrying additional information.

partialResultToken

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

range

The range for which the command was invoked.

textDocument

The document in which the command was invoked.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeActionRegistrationOptions(documentSelector: Opt[DocumentSelector], codeActionKinds: Opt[Vector[CodeActionKind]], resolveProvider: Opt[Boolean])

Registration options for a [[CodeActionRequest]].

Registration options for a [[CodeActionRequest]].

Value parameters

codeActionKinds

CodeActionKinds that this server may return. The list of kinds may be generic, such as CodeActionKind.Refactor, or the server may list out every specific kind they provide.

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

resolveProvider

The server provides support to resolve additional information for a code action. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeDescription(href: Uri)

Structure to capture a description for an error code.

Structure to capture a description for an error code.

Value parameters

href

An URI to open with more information about the diagnostic error.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeLens(range: Range, command: Opt[Command], data: Opt[Value])

A code lens represents a [[Command command]] that should be shown along with source text, like the number of references, a way to run tests, etc.

A code lens represents a [[Command command]] that should be shown along with source text, like the number of references, a way to run tests, etc.

A code lens is unresolved when no command is associated to it. For performance reasons the creation of a code lens and resolving should be done in two stages.

Value parameters

command

The command this code lens represents.

data

A data entry field that is preserved on a code lens item between a [[CodeLensRequest]] and a [[CodeLensResolveRequest]]

range

The range in which this code lens is valid. Should only span a single line.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object CodeLens

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
CodeLens.type
case class CodeLensClientCapabilities(dynamicRegistration: Opt[Boolean])

The client capabilities of a [[CodeLensRequest]].

The client capabilities of a [[CodeLensRequest]].

Value parameters

dynamicRegistration

Whether code lens supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeLensOptions(resolveProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Code Lens provider options of a [[CodeLensRequest]].

Code Lens provider options of a [[CodeLensRequest]].

Value parameters

resolveProvider

Code lens has a resolve provider as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeLensParams(textDocument: TextDocumentIdentifier, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameters of a [[CodeLensRequest]].

The parameters of a [[CodeLensRequest]].

Value parameters

partialResultToken

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

textDocument

The document to request code lens for.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeLensRegistrationOptions(documentSelector: Opt[DocumentSelector], resolveProvider: Opt[Boolean])

Registration options for a [[CodeLensRequest]].

Registration options for a [[CodeLensRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

resolveProvider

Code lens has a resolve provider as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CodeLensWorkspaceClientCapabilities(refreshSupport: Opt[Boolean])

Value parameters

refreshSupport

Whether the client implementation supports a refresh request sent from the server to the client. Note that this event is global and will force the client to refresh all code lenses currently shown. It should be used with absolute care and is useful for situation where a server for example detect a project wide change that requires such a calculation.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Color(red: Float, green: Float, blue: Float, alpha: Float)

Represents a color in RGBA space.

Represents a color in RGBA space.

Value parameters

alpha

The alpha component of this color in the range [0-1].

blue

The blue component of this color in the range [0-1].

green

The green component of this color in the range [0-1].

red

The red component of this color in the range [0-1].

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Color

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Color.type
case class ColorInformation(range: Range, color: Color)

Represents a color range from a document.

Represents a color range from a document.

Value parameters

color

The actual color value for this color range.

range

The range in the document where this color appears.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ColorPresentation(label: String, textEdit: Opt[TextEdit], additionalTextEdits: Opt[Vector[TextEdit]])

Value parameters

additionalTextEdits

An optional array of additional [[TextEdit text edits]] that are applied when selecting this color presentation. Edits must not overlap with the main [[ColorPresentation.textEdit edit]] nor with themselves.

label

The label of this color presentation. It will be shown on the color picker header. By default this is also the text that is inserted when selecting this color presentation.

textEdit

An [[TextEdit edit]] which is applied to a document when selecting this presentation for the color. When falsy the [[ColorPresentation.label label]] is used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ColorPresentationParams(textDocument: TextDocumentIdentifier, color: Color, range: Range, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[ColorPresentationRequest]].

Parameters for a [[ColorPresentationRequest]].

Value parameters

color

The color to request presentations for.

partialResultToken

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

range

The range where the color would be inserted. Serves as a context.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Command(title: String, command: String, arguments: Opt[Vector[Value]])

Represents a reference to a command. Provides a title which will be used to represent a command in the UI and, optionally, an array of arguments which will be passed to the command handler function when invoked.

Represents a reference to a command. Provides a title which will be used to represent a command in the UI and, optionally, an array of arguments which will be passed to the command handler function when invoked.

Value parameters

arguments

Arguments that the command handler should be invoked with.

command

The identifier of the actual command handler.

title

Title of the command, like save.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Command

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Command.type
case class CompletionClientCapabilities(dynamicRegistration: Opt[Boolean], completionItem: Opt[CompletionItem], completionItemKind: Opt[CompletionItemKind], insertTextMode: Opt[InsertTextMode], contextSupport: Opt[Boolean], completionList: Opt[CompletionList])

Completion client capabilities

Completion client capabilities

Value parameters

completionItem

The client supports the following CompletionItem specific capabilities.

completionList

The client supports the following CompletionList specific capabilities. since 3.17.0

contextSupport

The client supports to send additional context information for a textDocument/completion request.

dynamicRegistration

Whether completion supports dynamic registration.

insertTextMode

Defines how the client handles whitespace and indentation when accepting a completion item that uses multi line text in either insertText or textEdit. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionContext(triggerKind: CompletionTriggerKind, triggerCharacter: Opt[String])

Contains additional information about the context in which a completion request is triggered.

Contains additional information about the context in which a completion request is triggered.

Value parameters

triggerCharacter

The trigger character (a single character) that has trigger code complete. Is undefined if triggerKind !== CompletionTriggerKind.TriggerCharacter

triggerKind

How the completion was triggered.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionItem(label: String, labelDetails: Opt[CompletionItemLabelDetails], kind: Opt[CompletionItemKind], tags: Opt[Vector[CompletionItemTag]], detail: Opt[String], documentation: Opt[String | MarkupContent], deprecated: Opt[Boolean], preselect: Opt[Boolean], sortText: Opt[String], filterText: Opt[String], insertText: Opt[String], insertTextFormat: Opt[InsertTextFormat], insertTextMode: Opt[InsertTextMode], textEdit: Opt[TextEdit | InsertReplaceEdit], textEditText: Opt[String], additionalTextEdits: Opt[Vector[TextEdit]], commitCharacters: Opt[Vector[String]], command: Opt[Command], data: Opt[Value])

A completion item represents a text snippet that is proposed to complete text that is being typed.

A completion item represents a text snippet that is proposed to complete text that is being typed.

Value parameters

additionalTextEdits

An optional array of additional [[TextEdit text edits]] that are applied when selecting this completion. Edits must not overlap (including the same insert position) with the main [[CompletionItem.textEdit edit]] nor with themselves. Additional text edits should be used to change text unrelated to the current cursor position (for example adding an import statement at the top of the file if the completion item will insert an unqualified type).

command

An optional [[Command command]] that is executed after inserting this completion. Note that additional modifications to the current document should be described with the [[CompletionItem.additionalTextEdits additionalTextEdits]]-property.

commitCharacters

An optional set of characters that when pressed while this completion is active will accept it first and then type that character. Note that all commit characters should have length=1 and that superfluous characters will be ignored.

data

A data entry field that is preserved on a completion item between a [[CompletionRequest]] and a [[CompletionResolveRequest]].

deprecated

Indicates if this item is deprecated.

detail

A human-readable string with additional information about this item, like type or symbol information.

documentation

A human-readable string that represents a doc-comment.

filterText

A string that should be used when filtering a set of completion items. When falsy the [[CompletionItem.label label]] is used.

insertText

A string that should be inserted into a document when selecting this completion. When falsy the [[CompletionItem.label label]] is used. The insertText is subject to interpretation by the client side. Some tools might not take the string literally. For example VS Code when code complete is requested in this example con<cursor position> and a completion item with an insertText of console is provided it will only insert sole. Therefore it is recommended to use textEdit instead since it avoids additional client side interpretation.

insertTextFormat

The format of the insert text. The format applies to both the insertText property and the newText property of a provided textEdit. If omitted defaults to InsertTextFormat.PlainText. Please note that the insertTextFormat doesn't apply to additionalTextEdits.

insertTextMode

How whitespace and indentation is handled during completion item insertion. If not provided the clients default value depends on the textDocument.completion.insertTextMode client capability. since 3.16.0

kind

The kind of this completion item. Based of the kind an icon is chosen by the editor.

label

The label of this completion item. The label property is also by default the text that is inserted when selecting this completion. If label details are provided the label itself should be an unqualified name of the completion item.

labelDetails

Additional details for the label since 3.17.0

preselect

Select this item when showing. Note that only one completion item can be selected and that the tool / client decides which item that is. The rule is that the first item of those that match best is selected.

sortText

A string that should be used when comparing this item with other items. When falsy the [[CompletionItem.label label]] is used.

tags

Tags for this completion item. since 3.15.0

textEdit

An [[TextEdit edit]] which is applied to a document when selecting this completion. When an edit is provided the value of [[CompletionItem.insertText insertText]] is ignored. Most editors support two different operations when accepting a completion item. One is to insert a completion text and the other is to replace an existing text with a completion text. Since this can usually not be predetermined by a server it can report both ranges. Clients need to signal support for InsertReplaceEdits via the textDocument.completion.insertReplaceSupport client capability property. Note 1: The text edit's range as well as both ranges from an insert replace edit must be a [single line] and they must contain the position at which completion has been requested. Note 2: If an InsertReplaceEdit is returned the edit's insert range must be a prefix of the edit's replace range, that means it must be contained and starting at the same position. since 3.16.0 additional type InsertReplaceEdit

textEditText

The edit text used if the completion item is part of a CompletionList and CompletionList defines an item default for the text edit range. Clients will only honor this property if they opt into completion list item defaults using the capability completionList.itemDefaults. If not provided and a list's default range is provided the label property is used as a text. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionItemLabelDetails(detail: Opt[String], description: Opt[String])

Additional details for a completion item label.

Additional details for a completion item label.

Value parameters

description

An optional string which is rendered less prominently after [[CompletionItem.detail]]. Should be used for fully qualified names and file paths.

detail

An optional string which is rendered less prominently directly after [[CompletionItem.label label]], without any spacing. Should be used for function signatures and type annotations.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionList(isIncomplete: Boolean, itemDefaults: Opt[ItemDefaults], items: Vector[CompletionItem])

Represents a collection of [[CompletionItem completion items]] to be presented in the editor.

Represents a collection of [[CompletionItem completion items]] to be presented in the editor.

Value parameters

isIncomplete

This list it not complete. Further typing results in recomputing this list. Recomputed lists have all their items replaced (not appended) in the incomplete completion sessions.

itemDefaults

In many cases the items of an actual completion result share the same value for properties like commitCharacters or the range of a text edit. A completion list can therefore define item defaults which will be used if a completion item itself doesn't specify the value. If a completion list specifies a default value and a completion item also specifies a corresponding value the one from the item is used. Servers are only allowed to return default values if the client signals support for this via the completionList.itemDefaults capability. since 3.17.0

items

The completion items.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionOptions(triggerCharacters: Opt[Vector[String]], allCommitCharacters: Opt[Vector[String]], resolveProvider: Opt[Boolean], completionItem: Opt[CompletionItem], workDoneProgress: Opt[Boolean])

Completion options.

Completion options.

Value parameters

allCommitCharacters

The list of all possible characters that commit a completion. This field can be used if clients don't support individual commit characters per completion item. See ClientCapabilities.textDocument.completion.completionItem.commitCharactersSupport If a server provides both allCommitCharacters and commit characters on an individual completion item the ones on the completion item win. since 3.2.0

completionItem

The server supports the following CompletionItem specific capabilities. since 3.17.0

resolveProvider

The server provides support to resolve additional information for a completion item.

triggerCharacters

Most tools trigger completion request automatically without explicitly requesting it using a keyboard shortcut (e.g. Ctrl+Space). Typically they do so when the user starts to type an identifier. For example if the user types c in a JavaScript file code complete will automatically pop up present console besides others as a completion item. Characters that make up identifiers don't need to be listed here. If code complete should automatically be trigger on characters not being valid inside an identifier (for example . in JavaScript) list them in triggerCharacters.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionParams(context: Opt[CompletionContext], textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Completion parameters

Completion parameters

Value parameters

context

The completion context. This is only available it the client specifies to send this using the client capability textDocument.completion.contextSupport === true

partialResultToken

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

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CompletionRegistrationOptions(documentSelector: Opt[DocumentSelector], triggerCharacters: Opt[Vector[String]], allCommitCharacters: Opt[Vector[String]], resolveProvider: Opt[Boolean], completionItem: Opt[CompletionItem])

Registration options for a [[CompletionRequest]].

Registration options for a [[CompletionRequest]].

Value parameters

allCommitCharacters

The list of all possible characters that commit a completion. This field can be used if clients don't support individual commit characters per completion item. See ClientCapabilities.textDocument.completion.completionItem.commitCharactersSupport If a server provides both allCommitCharacters and commit characters on an individual completion item the ones on the completion item win. since 3.2.0

completionItem

The server supports the following CompletionItem specific capabilities. since 3.17.0

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

resolveProvider

The server provides support to resolve additional information for a completion item.

triggerCharacters

Most tools trigger completion request automatically without explicitly requesting it using a keyboard shortcut (e.g. Ctrl+Space). Typically they do so when the user starts to type an identifier. For example if the user types c in a JavaScript file code complete will automatically pop up present console besides others as a completion item. Characters that make up identifiers don't need to be listed here. If code complete should automatically be trigger on characters not being valid inside an identifier (for example . in JavaScript) list them in triggerCharacters.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ConfigurationItem(scopeUri: Opt[Uri], section: Opt[String])

Value parameters

scopeUri

The scope to get the configuration section for.

section

The configuration section asked for.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ConfigurationParams(items: Vector[ConfigurationItem])

The parameters of a configuration request.

The parameters of a configuration request.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CreateFile(kind: "create", uri: DocumentUri, options: Opt[CreateFileOptions], annotationId: Opt[ChangeAnnotationIdentifier])

Create file operation.

Create file operation.

Value parameters

annotationId

An optional annotation identifier describing the operation. since 3.16.0

kind

The resource operation kind.

options

Additional options

uri

The resource to create.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object CreateFile

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
CreateFile.type
case class CreateFileOptions(overwrite: Opt[Boolean], ignoreIfExists: Opt[Boolean])

Options to create a file.

Options to create a file.

Value parameters

ignoreIfExists

Ignore if exists.

overwrite

Overwrite existing file. Overwrite wins over ignoreIfExists

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CreateFilesParams(files: Vector[FileCreate])

The parameters sent in notifications/requests for user-initiated creation of files.

The parameters sent in notifications/requests for user-initiated creation of files.

Value parameters

files

An array of all files/folders created in this operation.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeclarationClientCapabilities(dynamicRegistration: Opt[Boolean], linkSupport: Opt[Boolean])

Value parameters

dynamicRegistration

Whether declaration supports dynamic registration. If this is set to true the client supports the new DeclarationRegistrationOptions return value for the corresponding server capability as well.

linkSupport

The client supports additional metadata in the form of declaration links.

Attributes

Since

3.14.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeclarationOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeclarationParams(textDocument: TextDocumentIdentifier, position: Position, 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.

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeclarationRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DefinitionClientCapabilities(dynamicRegistration: Opt[Boolean], linkSupport: Opt[Boolean])

Client Capabilities for a [[DefinitionRequest]].

Client Capabilities for a [[DefinitionRequest]].

Value parameters

dynamicRegistration

Whether definition supports dynamic registration.

linkSupport

The client supports additional metadata in the form of definition links. since 3.14.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DefinitionOptions(workDoneProgress: Opt[Boolean])

Server Capabilities for a [[DefinitionRequest]].

Server Capabilities for a [[DefinitionRequest]].

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DefinitionParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[DefinitionRequest]].

Parameters for a [[DefinitionRequest]].

Value parameters

partialResultToken

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

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DefinitionRegistrationOptions(documentSelector: Opt[DocumentSelector])

Registration options for a [[DefinitionRequest]].

Registration options for a [[DefinitionRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeleteFile(kind: "delete", uri: DocumentUri, options: Opt[DeleteFileOptions], annotationId: Opt[ChangeAnnotationIdentifier])

Delete file operation

Delete file operation

Value parameters

annotationId

An optional annotation identifier describing the operation. since 3.16.0

kind

The resource operation kind.

options

Delete options.

uri

The file to delete.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object DeleteFile

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
DeleteFile.type
case class DeleteFileOptions(recursive: Opt[Boolean], ignoreIfNotExists: Opt[Boolean])

Delete file options

Delete file options

Value parameters

ignoreIfNotExists

Ignore the operation if the file doesn't exist.

recursive

Delete the content recursively if a folder is denoted.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DeleteFilesParams(files: Vector[FileDelete])

The parameters sent in notifications/requests for user-initiated deletes of files.

The parameters sent in notifications/requests for user-initiated deletes of files.

Value parameters

files

An array of all files/folders deleted in this operation.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Diagnostic(range: Range, severity: Opt[DiagnosticSeverity], code: Opt[Int | String], codeDescription: Opt[CodeDescription], source: Opt[String], message: String, tags: Opt[Vector[DiagnosticTag]], relatedInformation: Opt[Vector[DiagnosticRelatedInformation]], data: Opt[Value])

Represents a diagnostic, such as a compiler error or warning. Diagnostic objects are only valid in the scope of a resource.

Represents a diagnostic, such as a compiler error or warning. Diagnostic objects are only valid in the scope of a resource.

Value parameters

code

The diagnostic's code, which usually appear in the user interface.

codeDescription

An optional property to describe the error code. Requires the code field (above) to be present/not null. since 3.16.0

data

A data entry field that is preserved between a textDocument/publishDiagnostics notification and textDocument/codeAction request. since 3.16.0

message

The diagnostic's message. It usually appears in the user interface

range

The range at which the message applies

relatedInformation

An array of related diagnostic information, e.g. when symbol-names within a scope collide all definitions can be marked via this property.

severity

The diagnostic's severity. Can be omitted. If omitted it is up to the client to interpret diagnostics as error, warning, info or hint.

source

A human-readable string describing the source of this diagnostic, e.g. 'typescript' or 'super lint'. It usually appears in the user interface.

tags

Additional metadata about the diagnostic. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Diagnostic

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Diagnostic.type
case class DiagnosticClientCapabilities(dynamicRegistration: Opt[Boolean], relatedDocumentSupport: Opt[Boolean])

Client capabilities specific to diagnostic pull requests.

Client capabilities specific to diagnostic pull requests.

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

relatedDocumentSupport

Whether the clients supports related documents for document diagnostic pulls.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DiagnosticOptions(identifier: Opt[String], interFileDependencies: Boolean, workspaceDiagnostics: Boolean, workDoneProgress: Opt[Boolean])

Diagnostic options.

Diagnostic options.

Value parameters

identifier

An optional identifier under which the diagnostics are managed by the client.

interFileDependencies

Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.

workspaceDiagnostics

The server provides support for workspace diagnostics as well.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DiagnosticRegistrationOptions(documentSelector: Opt[DocumentSelector], identifier: Opt[String], interFileDependencies: Boolean, workspaceDiagnostics: Boolean, id: Opt[String])

Diagnostic registration options.

Diagnostic registration options.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

identifier

An optional identifier under which the diagnostics are managed by the client.

interFileDependencies

Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.

workspaceDiagnostics

The server provides support for workspace diagnostics as well.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DiagnosticRelatedInformation(location: Location, message: String)

Represents a related message and source code location for a diagnostic. This should be used to point to code locations that cause or related to a diagnostics, e.g when duplicating a symbol in a scope.

Represents a related message and source code location for a diagnostic. This should be used to point to code locations that cause or related to a diagnostics, e.g when duplicating a symbol in a scope.

Value parameters

location

The location of this related diagnostic information.

message

The message of this related diagnostic information.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DiagnosticServerCancellationData(retriggerRequest: Boolean)

Cancellation data returned from a diagnostic request.

Cancellation data returned from a diagnostic request.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DiagnosticWorkspaceClientCapabilities(refreshSupport: Opt[Boolean])

Workspace client capabilities specific to diagnostic pull requests.

Workspace client capabilities specific to diagnostic pull requests.

Value parameters

refreshSupport

Whether the client implementation supports a refresh request sent from the server to the client. Note that this event is global and will force the client to refresh all pulled diagnostics currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidChangeConfigurationClientCapabilities(dynamicRegistration: Opt[Boolean])

Value parameters

dynamicRegistration

Did change configuration notification supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidChangeConfigurationParams(settings: Value)

The parameters of a change configuration notification.

The parameters of a change configuration notification.

Value parameters

settings

The actual changed settings

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidChangeConfigurationRegistrationOptions(section: Opt[String | Vector[String]])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The params sent in a change notebook document notification.

The params sent in a change notebook document notification.

Value parameters

change

The actual changes to the notebook document. The changes describe single state changes to the notebook document. So if there are two changes c1 (at array index 0) and c2 (at array index 1) for a notebook in state S then c1 moves the notebook from S to S' and c2 from S' to S''. So c1 is computed on the state S and c2 is computed on the state S'. To mirror the content of a notebook using change events use the following approach:

  • start with the same initial content
  • apply the 'notebookDocument/didChange' notifications in the order you receive them.
  • apply the NotebookChangeEvents in a single notification in the order you receive them.
notebookDocument

The notebook document that did change. The version number points to the version after all provided changes have been applied. If only the text document content of a cell changes the notebook version doesn't necessarily have to change.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The change text document notification's parameters.

The change text document notification's parameters.

Value parameters

contentChanges

The actual content changes. The content changes describe single state changes to the document. So if there are two content changes c1 (at array index 0) and c2 (at array index 1) for a document in state S then c1 moves the document from S to S' and c2 from S' to S''. So c1 is computed on the state S and c2 is computed on the state S'. To mirror the content of a document using change events use the following approach:

  • start with the same initial content
  • apply the 'textDocument/didChange' notifications in the order you receive them.
  • apply the TextDocumentContentChangeEvents in a single notification in the order you receive them.
textDocument

The document that did change. The version number points to the version after all provided content changes have been applied.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidChangeWatchedFilesClientCapabilities(dynamicRegistration: Opt[Boolean], relativePatternSupport: Opt[Boolean])

Value parameters

dynamicRegistration

Did change watched files notification supports dynamic registration. Please note that the current protocol doesn't support static configuration for file changes from the server side.

relativePatternSupport

Whether the client has support for [[RelativePattern relative pattern]] or not. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidChangeWatchedFilesParams(changes: Vector[FileEvent])

The watched files change notification's parameters.

The watched files change notification's parameters.

Value parameters

changes

The actual file events.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Describe options to be used when registered for text document change events.

Describe options to be used when registered for text document change events.

Value parameters

watchers

The watchers to register.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The parameters of a workspace/didChangeWorkspaceFolders notification.

The parameters of a workspace/didChangeWorkspaceFolders notification.

Value parameters

event

The actual workspace folder change event.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidCloseNotebookDocumentParams(notebookDocument: NotebookDocumentIdentifier, cellTextDocuments: Vector[TextDocumentIdentifier])

The params sent in a close notebook document notification.

The params sent in a close notebook document notification.

Value parameters

cellTextDocuments

The text documents that represent the content of a notebook cell that got closed.

notebookDocument

The notebook document that got closed.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The parameters sent in a close text document notification

The parameters sent in a close text document notification

Value parameters

textDocument

The document that was closed.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidOpenNotebookDocumentParams(notebookDocument: NotebookDocument, cellTextDocuments: Vector[TextDocumentItem])

The params sent in an open notebook document notification.

The params sent in an open notebook document notification.

Value parameters

cellTextDocuments

The text documents that represent the content of a notebook cell.

notebookDocument

The notebook document that got opened.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidOpenTextDocumentParams(textDocument: TextDocumentItem)

The parameters sent in an open text document notification

The parameters sent in an open text document notification

Value parameters

textDocument

The document that was opened.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The params sent in a save notebook document notification.

The params sent in a save notebook document notification.

Value parameters

notebookDocument

The notebook document that got saved.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DidSaveTextDocumentParams(textDocument: TextDocumentIdentifier, text: Opt[String])

The parameters sent in a save text document notification

The parameters sent in a save text document notification

Value parameters

text

Optional the content when saved. Depends on the includeText value when the save notification was requested.

textDocument

The document that was saved.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentColorClientCapabilities(dynamicRegistration: Opt[Boolean])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new DocumentColorRegistrationOptions return value for the corresponding server capability as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentColorOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentColorParams(textDocument: TextDocumentIdentifier, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[DocumentColorRequest]].

Parameters for a [[DocumentColorRequest]].

Value parameters

partialResultToken

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

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentColorRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentDiagnosticParams(textDocument: TextDocumentIdentifier, identifier: Opt[String], previousResultId: Opt[String], workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters of the document diagnostic request.

Parameters of the document diagnostic request.

Value parameters

identifier

The additional identifier provided during registration.

partialResultToken

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

previousResultId

The result id of a previous response if provided.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

A partial result for a document diagnostic report.

A partial result for a document diagnostic report.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentFormattingClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities of a [[DocumentFormattingRequest]].

Client capabilities of a [[DocumentFormattingRequest]].

Value parameters

dynamicRegistration

Whether formatting supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentFormattingOptions(workDoneProgress: Opt[Boolean])

Provider options for a [[DocumentFormattingRequest]].

Provider options for a [[DocumentFormattingRequest]].

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentFormattingParams(textDocument: TextDocumentIdentifier, options: FormattingOptions, workDoneToken: Opt[ProgressToken])

The parameters of a [[DocumentFormattingRequest]].

The parameters of a [[DocumentFormattingRequest]].

Value parameters

options

The format options.

textDocument

The document to format.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Registration options for a [[DocumentFormattingRequest]].

Registration options for a [[DocumentFormattingRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentHighlight(range: Range, kind: Opt[DocumentHighlightKind])

A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.

A document highlight is a range inside a text document which deserves special attention. Usually a document highlight is visualized by changing the background color of its range.

Value parameters

kind

The highlight kind, default is [[DocumentHighlightKind.Text text]].

range

The range this highlight applies to.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentHighlightClientCapabilities(dynamicRegistration: Opt[Boolean])

Client Capabilities for a [[DocumentHighlightRequest]].

Client Capabilities for a [[DocumentHighlightRequest]].

Value parameters

dynamicRegistration

Whether document highlight supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentHighlightOptions(workDoneProgress: Opt[Boolean])

Provider options for a [[DocumentHighlightRequest]].

Provider options for a [[DocumentHighlightRequest]].

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentHighlightParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[DocumentHighlightRequest]].

Parameters for a [[DocumentHighlightRequest]].

Value parameters

partialResultToken

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

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Registration options for a [[DocumentHighlightRequest]].

Registration options for a [[DocumentHighlightRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentLink(range: Range, target: Opt[Uri], tooltip: Opt[String], data: Opt[Value])

A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.

A document link is a range in a text document that links to an internal or external resource, like another text document or a web site.

Value parameters

data

A data entry field that is preserved on a document link between a DocumentLinkRequest and a DocumentLinkResolveRequest.

range

The range this link applies to.

target

The uri this link points to. If missing a resolve request is sent later.

tooltip

The tooltip text when you hover over this link. If a tooltip is provided, is will be displayed in a string that includes instructions on how to trigger the link, such as {0} (ctrl + click). The specific instructions vary depending on OS, user settings, and localization. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object DocumentLink

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentLinkClientCapabilities(dynamicRegistration: Opt[Boolean], tooltipSupport: Opt[Boolean])

The client capabilities of a [[DocumentLinkRequest]].

The client capabilities of a [[DocumentLinkRequest]].

Value parameters

dynamicRegistration

Whether document link supports dynamic registration.

tooltipSupport

Whether the client supports the tooltip property on DocumentLink. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentLinkOptions(resolveProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Provider options for a [[DocumentLinkRequest]].

Provider options for a [[DocumentLinkRequest]].

Value parameters

resolveProvider

Document links have a resolve provider as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentLinkParams(textDocument: TextDocumentIdentifier, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameters of a [[DocumentLinkRequest]].

The parameters of a [[DocumentLinkRequest]].

Value parameters

partialResultToken

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

textDocument

The document to provide document links for.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentLinkRegistrationOptions(documentSelector: Opt[DocumentSelector], resolveProvider: Opt[Boolean])

Registration options for a [[DocumentLinkRequest]].

Registration options for a [[DocumentLinkRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

resolveProvider

Document links have a resolve provider as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentOnTypeFormattingClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities of a [[DocumentOnTypeFormattingRequest]].

Client capabilities of a [[DocumentOnTypeFormattingRequest]].

Value parameters

dynamicRegistration

Whether on type formatting supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentOnTypeFormattingOptions(firstTriggerCharacter: String, moreTriggerCharacter: Opt[Vector[String]])

Provider options for a [[DocumentOnTypeFormattingRequest]].

Provider options for a [[DocumentOnTypeFormattingRequest]].

Value parameters

firstTriggerCharacter

A character on which formatting should be triggered, like {.

moreTriggerCharacter

More trigger characters.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentOnTypeFormattingParams(textDocument: TextDocumentIdentifier, position: Position, ch: String, options: FormattingOptions)

The parameters of a [[DocumentOnTypeFormattingRequest]].

The parameters of a [[DocumentOnTypeFormattingRequest]].

Value parameters

ch

The character that has been typed that triggered the formatting on type request. That is not necessarily the last character that got inserted into the document since the client could auto insert characters as well (e.g. like automatic brace completion).

options

The formatting options.

position

The position around which the on type formatting should happen. This is not necessarily the exact position where the character denoted by the property ch got typed.

textDocument

The document to format.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentOnTypeFormattingRegistrationOptions(documentSelector: Opt[DocumentSelector], firstTriggerCharacter: String, moreTriggerCharacter: Opt[Vector[String]])

Registration options for a [[DocumentOnTypeFormattingRequest]].

Registration options for a [[DocumentOnTypeFormattingRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

firstTriggerCharacter

A character on which formatting should be triggered, like {.

moreTriggerCharacter

More trigger characters.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentRangeFormattingClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities of a [[DocumentRangeFormattingRequest]].

Client capabilities of a [[DocumentRangeFormattingRequest]].

Value parameters

dynamicRegistration

Whether range formatting supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentRangeFormattingOptions(workDoneProgress: Opt[Boolean])

Provider options for a [[DocumentRangeFormattingRequest]].

Provider options for a [[DocumentRangeFormattingRequest]].

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentRangeFormattingParams(textDocument: TextDocumentIdentifier, range: Range, options: FormattingOptions, workDoneToken: Opt[ProgressToken])

The parameters of a [[DocumentRangeFormattingRequest]].

The parameters of a [[DocumentRangeFormattingRequest]].

Value parameters

options

The format options

range

The range to format

textDocument

The document to format.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Registration options for a [[DocumentRangeFormattingRequest]].

Registration options for a [[DocumentRangeFormattingRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentSymbol(name: String, detail: Opt[String], kind: SymbolKind, tags: Opt[Vector[SymbolTag]], deprecated: Opt[Boolean], range: Range, selectionRange: Range, children: Opt[Vector[DocumentSymbol]])

Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.

Represents programming constructs like variables, classes, interfaces etc. that appear in a document. Document symbols can be hierarchical and they have two ranges: one that encloses its definition and one that points to its most interesting range, e.g. the range of an identifier.

Value parameters

children

Children of this symbol, e.g. properties of a class.

deprecated

Indicates if this symbol is deprecated.

detail

More detail for this symbol, e.g the signature of a function.

kind

The kind of this symbol.

name

The name of this symbol. Will be displayed in the user interface and therefore must not be an empty string or a string only consisting of white spaces.

range

The range enclosing this symbol not including leading/trailing whitespace but everything else like comments. This information is typically used to determine if the clients cursor is inside the symbol to reveal in the symbol in the UI.

selectionRange

The range that should be selected and revealed when this symbol is being picked, e.g the name of a function. Must be contained by the range.

tags

Tags for this document symbol. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentSymbolClientCapabilities(dynamicRegistration: Opt[Boolean], symbolKind: Opt[SymbolKind], hierarchicalDocumentSymbolSupport: Opt[Boolean], tagSupport: Opt[TagSupport], labelSupport: Opt[Boolean])

Client Capabilities for a [[DocumentSymbolRequest]].

Client Capabilities for a [[DocumentSymbolRequest]].

Value parameters

dynamicRegistration

Whether document symbol supports dynamic registration.

hierarchicalDocumentSymbolSupport

The client supports hierarchical document symbols.

labelSupport

The client supports an additional label presented in the UI when registering a document symbol provider. since 3.16.0

symbolKind

Specific capabilities for the SymbolKind in the textDocument/documentSymbol request.

tagSupport

The client supports tags on SymbolInformation. Tags are supported on DocumentSymbol if hierarchicalDocumentSymbolSupport is set to true. Clients supporting tags have to handle unknown tags gracefully. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentSymbolOptions(label: Opt[String], workDoneProgress: Opt[Boolean])

Provider options for a [[DocumentSymbolRequest]].

Provider options for a [[DocumentSymbolRequest]].

Value parameters

label

A human-readable string that is shown when multiple outlines trees are shown for the same document. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentSymbolParams(textDocument: TextDocumentIdentifier, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[DocumentSymbolRequest]].

Parameters for a [[DocumentSymbolRequest]].

Value parameters

partialResultToken

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

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class DocumentSymbolRegistrationOptions(documentSelector: Opt[DocumentSelector], label: Opt[String])

Registration options for a [[DocumentSymbolRequest]].

Registration options for a [[DocumentSymbolRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

label

A human-readable string that is shown when multiple outlines trees are shown for the same document. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ExecuteCommandClientCapabilities(dynamicRegistration: Opt[Boolean])

The client capabilities of a [[ExecuteCommandRequest]].

The client capabilities of a [[ExecuteCommandRequest]].

Value parameters

dynamicRegistration

Execute command supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ExecuteCommandOptions(commands: Vector[String], workDoneProgress: Opt[Boolean])

The server capabilities of a [[ExecuteCommandRequest]].

The server capabilities of a [[ExecuteCommandRequest]].

Value parameters

commands

The commands to be executed on the server

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ExecuteCommandParams(command: String, arguments: Opt[Vector[Value]], workDoneToken: Opt[ProgressToken])

The parameters of a [[ExecuteCommandRequest]].

The parameters of a [[ExecuteCommandRequest]].

Value parameters

arguments

Arguments that the command should be invoked with.

command

The identifier of the actual command handler.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ExecuteCommandRegistrationOptions(commands: Vector[String])

Registration options for a [[ExecuteCommandRequest]].

Registration options for a [[ExecuteCommandRequest]].

Value parameters

commands

The commands to be executed on the server

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ExecutionSummary(executionOrder: uinteger, success: Opt[Boolean])

Value parameters

executionOrder

A strict monotonically increasing value indicating the execution order of a cell inside a notebook.

success

Whether the execution was successful or not if known by the client.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FileCreate(uri: String)

Represents information on a file/folder create.

Represents information on a file/folder create.

Value parameters

uri

A file:// URI for the location of the file/folder being created.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FileCreate

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
FileCreate.type
case class FileDelete(uri: String)

Represents information on a file/folder delete.

Represents information on a file/folder delete.

Value parameters

uri

A file:// URI for the location of the file/folder being deleted.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FileDelete

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
FileDelete.type
case class FileEvent(uri: DocumentUri, `type`: FileChangeType)

An event describing a file change.

An event describing a file change.

Value parameters

type

The change type.

uri

The file's uri.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FileEvent

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
FileEvent.type
case class FileOperationClientCapabilities(dynamicRegistration: Opt[Boolean], didCreate: Opt[Boolean], willCreate: Opt[Boolean], didRename: Opt[Boolean], willRename: Opt[Boolean], didDelete: Opt[Boolean], willDelete: Opt[Boolean])

Capabilities relating to events from file operations by the user in the client.

Capabilities relating to events from file operations by the user in the client.

These events do not come from the file system, they come from user operations like renaming a file in the UI.

Value parameters

didCreate

The client has support for sending didCreateFiles notifications.

didDelete

The client has support for sending didDeleteFiles notifications.

didRename

The client has support for sending didRenameFiles notifications.

dynamicRegistration

Whether the client supports dynamic registration for file requests/notifications.

willCreate

The client has support for sending willCreateFiles requests.

willDelete

The client has support for sending willDeleteFiles requests.

willRename

The client has support for sending willRenameFiles requests.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FileOperationFilter(scheme: Opt[String], pattern: FileOperationPattern)

A filter to describe in which file operation requests or notifications the server is interested in receiving.

A filter to describe in which file operation requests or notifications the server is interested in receiving.

Value parameters

pattern

The actual file operation pattern.

scheme

A Uri scheme like file or untitled.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Options for notifications/requests for user operations on files.

Options for notifications/requests for user operations on files.

Value parameters

didCreate

The server is interested in receiving didCreateFiles notifications.

didDelete

The server is interested in receiving didDeleteFiles file notifications.

didRename

The server is interested in receiving didRenameFiles notifications.

willCreate

The server is interested in receiving willCreateFiles requests.

willDelete

The server is interested in receiving willDeleteFiles file requests.

willRename

The server is interested in receiving willRenameFiles requests.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FileOperationPattern(glob: String, matches: Opt[FileOperationPatternKind], options: Opt[FileOperationPatternOptions])

A pattern to describe in which file operation requests or notifications the server is interested in receiving.

A pattern to describe in which file operation requests or notifications the server is interested in receiving.

Value parameters

glob

The glob pattern to match. Glob patterns can have the following syntax:

  • * to match one or more characters in a path segment
  • ? to match on one character in a path segment
  • ** to match any number of path segments, including none
  • {} to group sub patterns into an OR expression. (e.g. **​.{ts,js} matches all TypeScript and JavaScript files)
  • [] to declare a range of characters to match in a path segment (e.g., example.[0-9] to match on example.0, example.1, …)
  • [!...] to negate a range of characters to match in a path segment (e.g., example.[!0-9] to match on example.a, example.b, but not example.0)
matches

Whether to match files or folders with this pattern. Matches both if undefined.

options

Additional options used during matching.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FileOperationPatternOptions(ignoreCase: Opt[Boolean])

Matching options for the file operation pattern.

Matching options for the file operation pattern.

Value parameters

ignoreCase

The pattern should be matched ignoring casing.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The options to register for file operations.

The options to register for file operations.

Value parameters

filters

The actual filters.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FileRename(oldUri: String, newUri: String)

Represents information on a file/folder rename.

Represents information on a file/folder rename.

Value parameters

newUri

A file:// URI for the new location of the file/folder being renamed.

oldUri

A file:// URI for the original location of the file/folder being renamed.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FileRename

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
FileRename.type
case class FileSystemWatcher(globPattern: GlobPattern, kind: Opt[WatchKind])

Value parameters

globPattern

The glob pattern to watch. See [[GlobPattern glob pattern]] for more detail. since 3.17.0 support for relative patterns.

kind

The kind of events of interest. If omitted it defaults to WatchKind.Create | WatchKind.Change | WatchKind.Delete which is 7.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FoldingRange(startLine: uinteger, startCharacter: Opt[uinteger], endLine: uinteger, endCharacter: Opt[uinteger], kind: Opt[FoldingRangeKind], collapsedText: Opt[String])

Represents a folding range. To be valid, start and end line must be bigger than zero and smaller than the number of lines in the document. Clients are free to ignore invalid ranges.

Represents a folding range. To be valid, start and end line must be bigger than zero and smaller than the number of lines in the document. Clients are free to ignore invalid ranges.

Value parameters

collapsedText

The text that the client should show when the specified range is collapsed. If not defined or not supported by the client, a default will be chosen by the client. since 3.17.0

endCharacter

The zero-based character offset before the folded range ends. If not defined, defaults to the length of the end line.

endLine

The zero-based end line of the range to fold. The folded area ends with the line's last character. To be valid, the end must be zero or larger and smaller than the number of lines in the document.

kind

Describes the kind of the folding range such as comment' or 'region'. The kind is used to categorize folding ranges and used by commands like 'Fold all comments'. SeeFoldingRangeKind` for an enumeration of standardized kinds.

startCharacter

The zero-based character offset from where the folded range starts. If not defined, defaults to the length of the start line.

startLine

The zero-based start line of the range to fold. The folded area starts after the line's last character. To be valid, the end must be zero or larger and smaller than the number of lines in the document.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FoldingRange

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FoldingRangeClientCapabilities(dynamicRegistration: Opt[Boolean], rangeLimit: Opt[uinteger], lineFoldingOnly: Opt[Boolean], foldingRangeKind: Opt[FoldingRangeKind], foldingRange: Opt[FoldingRange])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration for folding range providers. If this is set to true the client supports the new FoldingRangeRegistrationOptions return value for the corresponding server capability as well.

foldingRange

Specific options for the folding range. since 3.17.0

foldingRangeKind

Specific options for the folding range kind. since 3.17.0

lineFoldingOnly

If set, the client signals that it only supports folding complete lines. If set, client will ignore specified startCharacter and endCharacter properties in a FoldingRange.

rangeLimit

The maximum number of folding ranges that the client prefers to receive per document. The value serves as a hint, servers are free to follow the limit.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FoldingRangeOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FoldingRangeParams(textDocument: TextDocumentIdentifier, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[FoldingRangeRequest]].

Parameters for a [[FoldingRangeRequest]].

Value parameters

partialResultToken

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

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FoldingRangeRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FormattingOptions(tabSize: uinteger, insertSpaces: Boolean, trimTrailingWhitespace: Opt[Boolean], insertFinalNewline: Opt[Boolean], trimFinalNewlines: Opt[Boolean])

Value-object describing what options formatting should use.

Value-object describing what options formatting should use.

Value parameters

insertFinalNewline

Insert a newline character at the end of the file if one does not exist. since 3.15.0

insertSpaces

Prefer spaces over tabs.

tabSize

Size of a tab in spaces.

trimFinalNewlines

Trim all newlines after the final newline at the end of the file. since 3.15.0

trimTrailingWhitespace

Trim trailing whitespace on a line. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FullDocumentDiagnosticReport(kind: "full", resultId: Opt[String], items: Vector[Diagnostic])

A diagnostic report with a full set of problems.

A diagnostic report with a full set of problems.

Value parameters

items

The actual items.

kind

A full document diagnostic report.

resultId

An optional result id. If provided it will be sent on the next diagnostic request for the same document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class GeneralClientCapabilities(staleRequestSupport: Opt[StaleRequestSupport], regularExpressions: Opt[RegularExpressionsClientCapabilities], markdown: Opt[MarkdownClientCapabilities], positionEncodings: Opt[Vector[PositionEncodingKind]])

General client capabilities.

General client capabilities.

Value parameters

markdown

Client capabilities specific to the client's markdown parser. since 3.16.0

positionEncodings

The position encodings supported by the client. Client and server have to agree on the same position encoding to ensure that offsets (e.g. character position in a line) are interpreted the same on both sides. To keep the protocol backwards compatible the following applies: if the value 'utf-16' is missing from the array of position encodings servers can assume that the client supports UTF-16. UTF-16 is therefore a mandatory encoding. If omitted it defaults to ['utf-16']. Implementation considerations: since the conversion from one encoding into another requires the content of the file / line the conversion is best done where the file is read which is usually on the server side. since 3.17.0

regularExpressions

Client capabilities specific to regular expressions. since 3.16.0

staleRequestSupport

Client capability that signals how the client handles stale requests (e.g. a request for which the client will not process the response anymore since the information is outdated). since 3.17.0

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Hover(contents: MarkupContent | MarkedString | Vector[MarkedString], range: Opt[Range])

The result of a hover request.

The result of a hover request.

Value parameters

contents

The hover's content

range

An optional range inside the text document that is used to visualize the hover, e.g. by changing the background color.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Hover

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Hover.type
case class HoverClientCapabilities(dynamicRegistration: Opt[Boolean], contentFormat: Opt[Vector[MarkupKind]])

Value parameters

contentFormat

Client supports the following content formats for the content property. The order describes the preferred format of the client.

dynamicRegistration

Whether hover supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class HoverOptions(workDoneProgress: Opt[Boolean])

Hover options.

Hover options.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object HoverOptions

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class HoverParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

Parameters for a [[HoverRequest]].

Parameters for a [[HoverRequest]].

Value parameters

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object HoverParams

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class HoverRegistrationOptions(documentSelector: Opt[DocumentSelector])

Registration options for a [[HoverRequest]].

Registration options for a [[HoverRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ImplementationClientCapabilities(dynamicRegistration: Opt[Boolean], linkSupport: Opt[Boolean])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new ImplementationRegistrationOptions return value for the corresponding server capability as well.

linkSupport

The client supports additional metadata in the form of definition links. since 3.14.0

Attributes

Since

3.6.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ImplementationOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ImplementationParams(textDocument: TextDocumentIdentifier, position: Position, 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.

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ImplementationRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InitializeError(retry: Boolean)

The data type of the ResponseError if the initialize request fails.

The data type of the ResponseError if the initialize request fails.

Value parameters

retry

Indicates whether the client execute the following retry logic: (1) show the message provided by the ResponseError to the user (2) user selects retry or cancel (3) if user selected retry the initialize method is sent again.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InitializeParams(processId: Opt[Int], clientInfo: Opt[ClientInfo], locale: Opt[String], rootPath: Opt[Opt[String]], rootUri: Opt[DocumentUri], capabilities: ClientCapabilities, initializationOptions: Opt[Value], trace: Opt[TraceValues], workspaceFolders: Opt[Opt[Vector[WorkspaceFolder]]])

Value parameters

capabilities

The capabilities provided by the client (editor or tool)

clientInfo

Information about the client since 3.15.0

initializationOptions

User provided initialization options.

locale

The locale the client is currently showing the user interface in. This must not necessarily be the locale of the operating system. Uses IETF language tags as the value's syntax (See https://en.wikipedia.org/wiki/IETF_language_tag) since 3.16.0

processId

The process Id of the parent process that started the server. Is null if the process has not been started by another process. If the parent process is not alive then the server should exit.

rootPath

The rootPath of the workspace. Is null if no folder is open.

rootUri

The rootUri of the workspace. Is null if no folder is open. If both rootPath and rootUri are set rootUri wins.

trace

The initial trace setting. If omitted trace is disabled ('off').

workspaceFolders

The workspace folders configured in the client when the server starts. This property is only available if the client supports workspace folders. It can be null if the client supports workspace folders but none are configured. since 3.6.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InitializeResult(capabilities: ServerCapabilities, serverInfo: Opt[ServerInfo])

The result returned from an initialize request.

The result returned from an initialize request.

Value parameters

capabilities

The capabilities the language server provides.

serverInfo

Information about the server. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InitializedParams()

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHint(position: Position, label: String | Vector[InlayHintLabelPart], kind: Opt[InlayHintKind], textEdits: Opt[Vector[TextEdit]], tooltip: Opt[String | MarkupContent], paddingLeft: Opt[Boolean], paddingRight: Opt[Boolean], data: Opt[Value])

Inlay hint information.

Inlay hint information.

Value parameters

data

A data entry field that is preserved on an inlay hint between a textDocument/inlayHint and a inlayHint/resolve request.

kind

The kind of this hint. Can be omitted in which case the client should fall back to a reasonable default.

label

The label of this hint. A human readable string or an array of InlayHintLabelPart label parts. Note that neither the string nor the label part can be empty.

paddingLeft

Render padding before the hint. Note: Padding should use the editor's background color, not the background color of the hint itself. That means padding can be used to visually align/separate an inlay hint.

paddingRight

Render padding after the hint. Note: Padding should use the editor's background color, not the background color of the hint itself. That means padding can be used to visually align/separate an inlay hint.

position

The position of this hint. If multiple hints have the same position, they will be shown in the order they appear in the response.

textEdits

Optional text edits that are performed when accepting this inlay hint. Note that edits are expected to change the document so that the inlay hint (or its nearest variant) is now part of the document and the inlay hint itself is now obsolete.

tooltip

The tooltip text when you hover over this item.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object InlayHint

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
InlayHint.type
case class InlayHintClientCapabilities(dynamicRegistration: Opt[Boolean], resolveSupport: Opt[ResolveSupport])

Inlay hint client capabilities.

Inlay hint client capabilities.

Value parameters

dynamicRegistration

Whether inlay hints support dynamic registration.

resolveSupport

Indicates which properties a client can resolve lazily on an inlay hint.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHintLabelPart(value: String, tooltip: Opt[String | MarkupContent], location: Opt[Location], command: Opt[Command])

An inlay hint label part allows for interactive and composite labels of inlay hints.

An inlay hint label part allows for interactive and composite labels of inlay hints.

Value parameters

command

An optional command for this label part. Depending on the client capability inlayHint.resolveSupport clients might resolve this property late using the resolve request.

location

An optional source code location that represents this label part. The editor will use this location for the hover and for code navigation features: This part will become a clickable link that resolves to the definition of the symbol at the given location (not necessarily the location itself), it shows the hover that shows at the given location, and it shows a context menu with further code navigation commands. Depending on the client capability inlayHint.resolveSupport clients might resolve this property late using the resolve request.

tooltip

The tooltip text when you hover over this label part. Depending on the client capability inlayHint.resolveSupport clients might resolve this property late using the resolve request.

value

The value of this label part.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHintOptions(resolveProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Inlay hint options used during static registration.

Inlay hint options used during static registration.

Value parameters

resolveProvider

The server provides support to resolve additional information for an inlay hint item.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHintParams(textDocument: TextDocumentIdentifier, range: Range, workDoneToken: Opt[ProgressToken])

A parameter literal used in inlay hint requests.

A parameter literal used in inlay hint requests.

Value parameters

range

The document range for which inlay hints should be computed.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHintRegistrationOptions(resolveProvider: Opt[Boolean], documentSelector: Opt[DocumentSelector], id: Opt[String])

Inlay hint options used during static or dynamic registration.

Inlay hint options used during static or dynamic registration.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

resolveProvider

The server provides support to resolve additional information for an inlay hint item.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlayHintWorkspaceClientCapabilities(refreshSupport: Opt[Boolean])

Client workspace capabilities specific to inlay hints.

Client workspace capabilities specific to inlay hints.

Value parameters

refreshSupport

Whether the client implementation supports a refresh request sent from the server to the client. Note that this event is global and will force the client to refresh all inlay hints currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities specific to inline values.

Client capabilities specific to inline values.

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration for inline value providers.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueContext(frameId: Int, stoppedLocation: Range)

Value parameters

frameId

The stack frame (as a DAP Id) where the execution has stopped.

stoppedLocation

The document range where execution has stopped. Typically the end position of the range denotes the line where the inline values are shown.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueEvaluatableExpression(range: Range, expression: Opt[String])

Provide an inline value through an expression evaluation. If only a range is specified, the expression will be extracted from the underlying document. An optional expression can be used to override the extracted expression.

Provide an inline value through an expression evaluation. If only a range is specified, the expression will be extracted from the underlying document. An optional expression can be used to override the extracted expression.

Value parameters

expression

If specified the expression overrides the extracted expression.

range

The document range for which the inline value applies. The range is used to extract the evaluatable expression from the underlying document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueOptions(workDoneProgress: Opt[Boolean])

Inline value options used during static registration.

Inline value options used during static registration.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueParams(textDocument: TextDocumentIdentifier, range: Range, context: InlineValueContext, workDoneToken: Opt[ProgressToken])

A parameter literal used in inline value requests.

A parameter literal used in inline value requests.

Value parameters

context

Additional information about the context in which inline values were requested.

range

The document range for which inline values should be computed.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Inline value options used during static or dynamic registration.

Inline value options used during static or dynamic registration.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueText(range: Range, text: String)

Provide inline value as text.

Provide inline value as text.

Value parameters

range

The document range for which the inline value applies.

text

The text of the inline value.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueVariableLookup(range: Range, variableName: Opt[String], caseSensitiveLookup: Boolean)

Provide inline value through a variable lookup. If only a range is specified, the variable name will be extracted from the underlying document. An optional variable name can be used to override the extracted name.

Provide inline value through a variable lookup. If only a range is specified, the variable name will be extracted from the underlying document. An optional variable name can be used to override the extracted name.

Value parameters

caseSensitiveLookup

How to perform the lookup.

range

The document range for which the inline value applies. The range is used to extract the variable name from the underlying document.

variableName

If specified the name of the variable to look up.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InlineValueWorkspaceClientCapabilities(refreshSupport: Opt[Boolean])

Client workspace capabilities specific to inline values.

Client workspace capabilities specific to inline values.

Value parameters

refreshSupport

Whether the client implementation supports a refresh request sent from the server to the client. Note that this event is global and will force the client to refresh all inline values currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class InsertReplaceEdit(newText: String, insert: Range, replace: Range)

A special text edit to provide an insert and a replace operation.

A special text edit to provide an insert and a replace operation.

Value parameters

insert

The range if the insert is requested

newText

The string to be inserted.

replace

The range if the replace is requested.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LinkedEditingRangeClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities for the linked editing range request.

Client capabilities for the linked editing range request.

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LinkedEditingRangeOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LinkedEditingRangeParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

Value parameters

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LinkedEditingRangeRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LinkedEditingRanges(ranges: Vector[Range], wordPattern: Opt[String])

The result of a linked editing range request.

The result of a linked editing range request.

Value parameters

ranges

A list of ranges that can be edited together. The ranges must have identical length and contain identical text content. The ranges cannot overlap.

wordPattern

An optional word pattern (regular expression) that describes valid contents for the given ranges. If no pattern is provided, the client configuration's word pattern will be used.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Location(uri: DocumentUri, range: Range)

Represents a location inside a resource, such as a line inside a text file.

Represents a location inside a resource, such as a line inside a text file.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Location

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Location.type
case class LocationLink(originSelectionRange: Opt[Range], targetUri: DocumentUri, targetRange: Range, targetSelectionRange: Range)

Represents the connection of two locations. Provides additional metadata over normal [[Location locations]], including an origin range.

Represents the connection of two locations. Provides additional metadata over normal [[Location locations]], including an origin range.

Value parameters

originSelectionRange

Span of the origin of this link. Used as the underlined span for mouse interaction. Defaults to the word range at the definition position.

targetRange

The full target range of this link. If the target for example is a symbol then target range is the range enclosing this symbol not including leading/trailing whitespace but everything else like comments. This information is typically used to highlight the range in the editor.

targetSelectionRange

The range that should be selected and revealed when this link is being followed, e.g the name of a function. Must be contained by the targetRange. See also DocumentSymbol#range

targetUri

The target resource identifier of this link.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object LocationLink

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LogMessageParams(`type`: MessageType, message: String)

The log message parameters.

The log message parameters.

Value parameters

message

The actual message.

type

The message type. See [[MessageType]]

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class LogTraceParams(message: String, verbose: Opt[String])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MarkdownClientCapabilities(parser: String, version: Opt[String], allowedTags: Opt[Vector[String]])

Client capabilities specific to the used markdown parser.

Client capabilities specific to the used markdown parser.

Value parameters

allowedTags

A list of HTML tags that the client allows / supports in Markdown. since 3.17.0

parser

The name of the parser.

version

The version of the parser.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MarkupContent(kind: MarkupKind, value: String)

A MarkupContent literal represents a string value which content is interpreted base on its kind flag. Currently the protocol supports plaintext and markdown as markup kinds.

A MarkupContent literal represents a string value which content is interpreted base on its kind flag. Currently the protocol supports plaintext and markdown as markup kinds.

If the kind is markdown then the value can contain fenced code blocks like in GitHub issues. See https://help.github.com/articles/creating-and-highlighting-code-blocks/#syntax-highlighting

Here is an example how such a string can be constructed using JavaScript / TypeScript:

let markdown: MarkdownContent = {
 kind: MarkupKind.Markdown,
 value: [
   '# Header',
   'Some text',
   '

typescript', 'someCode();', '

 ].join('\n')
};

Please Note that clients might sanitize the return markdown. A client could decide to remove HTML from the markdown to avoid script execution.

Value parameters

kind

The type of the Markup

value

The content itself

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MarkupContent

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MessageActionItem(title: String)

Value parameters

title

A short title like 'Retry', 'Open Log' etc.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Moniker(scheme: String, identifier: String, unique: UniquenessLevel, kind: Opt[MonikerKind])

Moniker definition to match LSIF 0.5 moniker definition.

Moniker definition to match LSIF 0.5 moniker definition.

Value parameters

identifier

The identifier of the moniker. The value is opaque in LSIF however schema owners are allowed to define the structure if they want.

kind

The moniker kind if known.

scheme

The scheme of the moniker. For example tsc or .Net

unique

The scope in which the moniker is unique

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Moniker

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Moniker.type
case class MonikerClientCapabilities(dynamicRegistration: Opt[Boolean])

Client capabilities specific to the moniker request.

Client capabilities specific to the moniker request.

Value parameters

dynamicRegistration

Whether moniker supports dynamic registration. If this is set to true the client supports the new MonikerRegistrationOptions return value for the corresponding server capability as well.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MonikerOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MonikerParams(textDocument: TextDocumentIdentifier, position: Position, 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.

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MonikerParams

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class MonikerRegistrationOptions(documentSelector: Opt[DocumentSelector])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookCell(kind: NotebookCellKind, document: DocumentUri, metadata: Opt[LSPObject], executionSummary: Opt[ExecutionSummary])

A notebook cell.

A notebook cell.

A cell's document URI must be unique across ALL notebook cells and can therefore be used to uniquely identify a notebook cell or the cell's text document.

Value parameters

document

The URI of the cell's text document content.

executionSummary

Additional execution summary information if supported by the client.

kind

The cell's kind

metadata

Additional metadata stored with the cell. Note: should always be an object literal (e.g. LSPObject)

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object NotebookCell

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookCellArrayChange(start: uinteger, deleteCount: uinteger, cells: Opt[Vector[NotebookCell]])

A change describing how to move a NotebookCell array from state S to S'.

A change describing how to move a NotebookCell array from state S to S'.

Value parameters

cells

The new cells, if any

deleteCount

The deleted cells

start

The start oftest of the cell that changed.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookCellTextDocumentFilter(notebook: String | NotebookDocumentFilter, language: Opt[String])

A notebook cell text document filter denotes a cell text document by different properties.

A notebook cell text document filter denotes a cell text document by different properties.

Value parameters

language

A language id like python. Will be matched against the language id of the notebook cell document. '*' matches every language.

notebook

A filter that matches against the notebook containing the notebook cell. If a string value is provided it matches against the notebook type. '*' matches every notebook.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocument(uri: Uri, notebookType: String, version: Int, metadata: Opt[LSPObject], cells: Vector[NotebookCell])

A notebook document.

A notebook document.

Value parameters

cells

The cells of a notebook.

metadata

Additional metadata stored with the notebook document. Note: should always be an object literal (e.g. LSPObject)

notebookType

The type of the notebook.

uri

The notebook document's uri.

version

The version number of this document (it will increase after each change, including undo/redo).

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocumentChangeEvent(metadata: Opt[LSPObject], cells: Opt[Cells])

A change event for a notebook document.

A change event for a notebook document.

Value parameters

cells

Changes to cells

metadata

The changed meta data if any. Note: should always be an object literal (e.g. LSPObject)

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Capabilities specific to the notebook document support.

Capabilities specific to the notebook document support.

Value parameters

synchronization

Capabilities specific to notebook document synchronization since 3.17.0

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocumentIdentifier(uri: Uri)

A literal to identify a notebook document in the client.

A literal to identify a notebook document in the client.

Value parameters

uri

The notebook document's uri.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocumentSyncClientCapabilities(dynamicRegistration: Opt[Boolean], executionSummarySupport: Opt[Boolean])

Notebook specific client capabilities.

Notebook specific client capabilities.

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

executionSummarySupport

The client supports sending execution summary data per cell.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocumentSyncOptions(notebookSelector: Vector[S0 | S1], save: Opt[Boolean])

Options specific to a notebook plus its cells to be synced to the server.

Options specific to a notebook plus its cells to be synced to the server.

If a selector provides a notebook document filter but no cell selector all cells of a matching notebook document will be synced.

If a selector provides no notebook document filter but only a cell selector all notebook document that contain at least one matching cell will be synced.

Value parameters

notebookSelector

The notebooks to be synced

save

Whether save notification should be forwarded to the server. Will only be honored if mode === notebook.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class NotebookDocumentSyncRegistrationOptions(notebookSelector: Vector[S0 | S1], save: Opt[Boolean], id: Opt[String])

Registration options specific to a notebook.

Registration options specific to a notebook.

Value parameters

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

notebookSelector

The notebooks to be synced

save

Whether save notification should be forwarded to the server. Will only be honored if mode === notebook.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class OptionalVersionedTextDocumentIdentifier(version: Opt[Int], uri: DocumentUri)

A text document identifier to optionally denote a specific version of a text document.

A text document identifier to optionally denote a specific version of a text document.

Value parameters

uri

The text document's uri.

version

The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send null to indicate that the version is unknown and the content on disk is the truth (as specified with document content ownership).

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ParameterInformation(label: String | (uinteger, uinteger), documentation: Opt[String | MarkupContent])

Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.

Represents a parameter of a callable-signature. A parameter can have a label and a doc-comment.

Value parameters

documentation

The human-readable doc-comment of this parameter. Will be shown in the UI but can be omitted.

label

The label of this parameter information. Either a string or an inclusive start and exclusive end offsets within its containing signature label. (see SignatureInformation.label). The offsets are based on a UTF-16 string representation as Position and Range does. Note: a label of type string should be a substring of its containing signature label. Its intended use case is to highlight the parameter label part in the SignatureInformation.label.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class PartialResultParams(partialResultToken: Opt[ProgressToken])

Value parameters

partialResultToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Position(line: uinteger, character: uinteger)

Position in a text document expressed as zero-based line and character offset. Prior to 3.17 the offsets were always based on a UTF-16 string representation. So a string of the form a𐐀b the character offset of the character a is 0, the character offset of 𐐀 is 1 and the character offset of b is 3 since 𐐀 is represented using two code units in UTF-16. Since 3.17 clients and servers can agree on a different string encoding representation (e.g. UTF-8). The client announces it's supported encoding via the client capability general.positionEncodings. The value is an array of position encodings the client supports, with decreasing preference (e.g. the encoding at index 0 is the most preferred one). To stay backwards compatible the only mandatory encoding is UTF-16 represented via the string utf-16. The server can pick one of the encodings offered by the client and signals that encoding back to the client via the initialize result's property capabilities.positionEncoding. If the string value utf-16 is missing from the client's capability general.positionEncodings servers can safely assume that the client supports UTF-16. If the server omits the position encoding in its initialize result the encoding defaults to the string value utf-16. Implementation considerations: since the conversion from one encoding into another requires the content of the file / line the conversion is best done where the file is read which is usually on the server side.

Position in a text document expressed as zero-based line and character offset. Prior to 3.17 the offsets were always based on a UTF-16 string representation. So a string of the form a𐐀b the character offset of the character a is 0, the character offset of 𐐀 is 1 and the character offset of b is 3 since 𐐀 is represented using two code units in UTF-16. Since 3.17 clients and servers can agree on a different string encoding representation (e.g. UTF-8). The client announces it's supported encoding via the client capability general.positionEncodings. The value is an array of position encodings the client supports, with decreasing preference (e.g. the encoding at index 0 is the most preferred one). To stay backwards compatible the only mandatory encoding is UTF-16 represented via the string utf-16. The server can pick one of the encodings offered by the client and signals that encoding back to the client via the initialize result's property capabilities.positionEncoding. If the string value utf-16 is missing from the client's capability general.positionEncodings servers can safely assume that the client supports UTF-16. If the server omits the position encoding in its initialize result the encoding defaults to the string value utf-16. Implementation considerations: since the conversion from one encoding into another requires the content of the file / line the conversion is best done where the file is read which is usually on the server side.

Positions are line end character agnostic. So you can not specify a position that denotes \r|\n or \n| where | represents the character offset.

Value parameters

character

Character offset on a line in a document (zero-based). The meaning of this offset is determined by the negotiated PositionEncodingKind. If the character value is greater than the line length it defaults back to the line length.

line

Line position in a document (zero-based). If a line number is greater than the number of lines in a document, it defaults back to the number of lines in the document. If a line number is negative, it defaults to 0.

Attributes

Since

3.17.0 - support for negotiated position encoding.

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Position

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Position.type
case class PrepareRenameParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

Value parameters

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class PreviousResultId(uri: DocumentUri, value: String)

A previous result id in a workspace pull request.

A previous result id in a workspace pull request.

Value parameters

uri

The URI for which the client knowns a result id.

value

The value of the previous result id.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ProgressParams(token: ProgressToken, value: Value)

Value parameters

token

The progress token provided by the client or server.

value

The progress data.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class PublishDiagnosticsClientCapabilities(relatedInformation: Opt[Boolean], tagSupport: Opt[TagSupport], versionSupport: Opt[Boolean], codeDescriptionSupport: Opt[Boolean], dataSupport: Opt[Boolean])

The publish diagnostic client capabilities.

The publish diagnostic client capabilities.

Value parameters

codeDescriptionSupport

Client supports a codeDescription property since 3.16.0

dataSupport

Whether code action supports the data property which is preserved between a textDocument/publishDiagnostics and textDocument/codeAction request. since 3.16.0

relatedInformation

Whether the clients accepts diagnostics with related information.

tagSupport

Client supports the tag property to provide meta data about a diagnostic. Clients supporting tags have to handle unknown tags gracefully. since 3.15.0

versionSupport

Whether the client interprets the version property of the textDocument/publishDiagnostics notification's parameter. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class PublishDiagnosticsParams(uri: DocumentUri, version: Opt[Int], diagnostics: Vector[Diagnostic])

The publish diagnostic notification's parameters.

The publish diagnostic notification's parameters.

Value parameters

diagnostics

An array of diagnostic information items.

uri

The URI for which diagnostic information is reported.

version

Optional the version number of the document the diagnostics are published for. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Range(start: Position, end: Position)

A range in a text document expressed as (zero-based) start and end positions.

A range in a text document expressed as (zero-based) start and end positions.

If you want to specify a range that contains a line including the line ending character(s) then use an end position denoting the start of the next line. For example:

{
    start: { line: 5, character: 23 }
    end : { line 6, character : 0 }
}

Value parameters

end

The range's end position.

start

The range's start position.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Range

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Range.type
case class ReferenceClientCapabilities(dynamicRegistration: Opt[Boolean])

Client Capabilities for a [[ReferencesRequest]].

Client Capabilities for a [[ReferencesRequest]].

Value parameters

dynamicRegistration

Whether references supports dynamic registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ReferenceContext(includeDeclaration: Boolean)

Value-object that contains additional information when requesting references.

Value-object that contains additional information when requesting references.

Value parameters

includeDeclaration

Include the declaration of the current symbol.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ReferenceOptions(workDoneProgress: Opt[Boolean])

Reference options.

Reference options.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ReferenceParams(context: ReferenceContext, textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters for a [[ReferencesRequest]].

Parameters for a [[ReferencesRequest]].

Value parameters

partialResultToken

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

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ReferenceRegistrationOptions(documentSelector: Opt[DocumentSelector])

Registration options for a [[ReferencesRequest]].

Registration options for a [[ReferencesRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Registration(id: String, method: String, registerOptions: Opt[Value])

General parameters to register for a notification or to register a provider.

General parameters to register for a notification or to register a provider.

Value parameters

id

The id used to register the request. The id can be used to deregister the request again.

method

The method / capability to register for.

registerOptions

Options necessary for the registration.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Registration

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RegistrationParams(registrations: Vector[Registration])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RegularExpressionsClientCapabilities(engine: String, version: Opt[String])

Client capabilities specific to regular expressions.

Client capabilities specific to regular expressions.

Value parameters

engine

The engine's name.

version

The engine's version.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RelatedFullDocumentDiagnosticReport(relatedDocuments: Opt[Map[DocumentUri, FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport]], kind: "full", resultId: Opt[String], items: Vector[Diagnostic])

A full diagnostic report with a set of related documents.

A full diagnostic report with a set of related documents.

Value parameters

items

The actual items.

kind

A full document diagnostic report.

relatedDocuments

Diagnostics of related documents. This information is useful in programming languages where code in a file A can generate diagnostics in a file B which A depends on. An example of such a language is C/C++ where marco definitions in a file a.cpp and result in errors in a header file b.hpp. since 3.17.0

resultId

An optional result id. If provided it will be sent on the next diagnostic request for the same document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RelatedUnchangedDocumentDiagnosticReport(relatedDocuments: Opt[Map[DocumentUri, FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport]], kind: "unchanged", resultId: String)

An unchanged diagnostic report with a set of related documents.

An unchanged diagnostic report with a set of related documents.

Value parameters

kind

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.

relatedDocuments

Diagnostics of related documents. This information is useful in programming languages where code in a file A can generate diagnostics in a file B which A depends on. An example of such a language is C/C++ where marco definitions in a file a.cpp and result in errors in a header file b.hpp. since 3.17.0

resultId

A result id which will be sent on the next diagnostic request for the same document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RelativePattern(baseUri: WorkspaceFolder | Uri, pattern: Pattern)

A relative pattern is a helper to construct glob patterns that are matched relatively to a base URI. The common value for a baseUri is a workspace folder root, but it can be another absolute URI as well.

A relative pattern is a helper to construct glob patterns that are matched relatively to a base URI. The common value for a baseUri is a workspace folder root, but it can be another absolute URI as well.

Value parameters

baseUri

A workspace folder or a base URI to which this pattern will be matched against relatively.

pattern

The actual glob pattern;

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameClientCapabilities(dynamicRegistration: Opt[Boolean], prepareSupport: Opt[Boolean], prepareSupportDefaultBehavior: Opt[PrepareSupportDefaultBehavior], honorsChangeAnnotations: Opt[Boolean])

Value parameters

dynamicRegistration

Whether rename supports dynamic registration.

honorsChangeAnnotations

Whether the client honors the change annotations in text edits and resource operations returned via the rename request's workspace edit by for example presenting the workspace edit in the user interface and asking for confirmation. since 3.16.0

prepareSupport

Client supports testing for validity of rename operations before execution. since 3.12.0

prepareSupportDefaultBehavior

Client supports the default behavior result. The value indicates the default behavior used by the client. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameFile(kind: "rename", oldUri: DocumentUri, newUri: DocumentUri, options: Opt[RenameFileOptions], annotationId: Opt[ChangeAnnotationIdentifier])

Rename file operation

Rename file operation

Value parameters

annotationId

An optional annotation identifier describing the operation. since 3.16.0

kind

The resource operation kind.

newUri

The new location.

oldUri

The old (existing) location.

options

Rename options.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object RenameFile

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
RenameFile.type
case class RenameFileOptions(overwrite: Opt[Boolean], ignoreIfExists: Opt[Boolean])

Rename file options

Rename file options

Value parameters

ignoreIfExists

Ignores if target exists.

overwrite

Overwrite target if existing. Overwrite wins over ignoreIfExists

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameFilesParams(files: Vector[FileRename])

The parameters sent in notifications/requests for user-initiated renames of files.

The parameters sent in notifications/requests for user-initiated renames of files.

Value parameters

files

An array of all files/folders renamed in this operation. When a folder is renamed, only the folder will be included, and not its children.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameOptions(prepareProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Provider options for a [[RenameRequest]].

Provider options for a [[RenameRequest]].

Value parameters

prepareProvider

Renames should be checked and tested before being executed. since version 3.12.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object RenameOptions

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameParams(textDocument: TextDocumentIdentifier, position: Position, newName: String, workDoneToken: Opt[ProgressToken])

The parameters of a [[RenameRequest]].

The parameters of a [[RenameRequest]].

Value parameters

newName

The new name of the symbol. If the given name is not valid the request must return a [[ResponseError]] with an appropriate message set.

position

The position at which this request was sent.

textDocument

The document to rename.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object RenameParams

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class RenameRegistrationOptions(documentSelector: Opt[DocumentSelector], prepareProvider: Opt[Boolean])

Registration options for a [[RenameRequest]].

Registration options for a [[RenameRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

prepareProvider

Renames should be checked and tested before being executed. since version 3.12.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ResourceOperation(kind: String, annotationId: Opt[ChangeAnnotationIdentifier])

A generic resource operation.

A generic resource operation.

Value parameters

annotationId

An optional annotation identifier describing the operation. since 3.16.0

kind

The resource operation kind.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SaveOptions(includeText: Opt[Boolean])

Save options.

Save options.

Value parameters

includeText

The client is supposed to include the content on save.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object SaveOptions

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SelectionRange(range: Range, parent: Opt[SelectionRange])

A selection range represents a part of a selection hierarchy. A selection range may have a parent selection range that contains it.

A selection range represents a part of a selection hierarchy. A selection range may have a parent selection range that contains it.

Value parameters

parent

The parent selection range containing this range. Therefore parent.range must contain this.range.

range

The [[Range range]] of this selection range.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SelectionRangeClientCapabilities(dynamicRegistration: Opt[Boolean])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration for selection range providers. If this is set to true the client supports the new SelectionRangeRegistrationOptions return value for the corresponding server capability as well.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SelectionRangeOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SelectionRangeParams(textDocument: TextDocumentIdentifier, positions: Vector[Position], workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

A parameter literal used in selection range requests.

A parameter literal used in selection range requests.

Value parameters

partialResultToken

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

positions

The positions inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SelectionRangeRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokens(resultId: Opt[String], data: Vector[uinteger])

Value parameters

data

The actual tokens.

resultId

An optional result id. If provided and clients support delta updating the client will include the result id in the next semantic token request. A server can then instead of computing all semantic tokens again simply send a delta.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensClientCapabilities(dynamicRegistration: Opt[Boolean], requests: Requests, tokenTypes: Vector[String], tokenModifiers: Vector[String], formats: Vector[TokenFormat], overlappingTokenSupport: Opt[Boolean], multilineTokenSupport: Opt[Boolean], serverCancelSupport: Opt[Boolean], augmentsSyntaxTokens: Opt[Boolean])

Value parameters

augmentsSyntaxTokens

Whether the client uses semantic tokens to augment existing syntax tokens. If set to true client side created syntax tokens and semantic tokens are both used for colorization. If set to false the client only uses the returned semantic tokens for colorization. If the value is undefined then the client behavior is not specified. since 3.17.0

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

formats

The token formats the clients supports.

multilineTokenSupport

Whether the client supports tokens that can span multiple lines.

overlappingTokenSupport

Whether the client supports tokens that can overlap each other.

requests

Which requests the client supports and might send to the server depending on the server's capability. Please note that clients might not show semantic tokens or degrade some of the user experience if a range or full request is advertised by the client but not provided by the server. If for example the client capability requests.full and request.range are both set to true but the server only provides a range provider the client might not render a minimap correctly or might even decide to not show any semantic tokens at all.

serverCancelSupport

Whether the client allows the server to actively cancel a semantic token request, e.g. supports returning LSPErrorCodes.ServerCancelled. If a server does the client needs to retrigger the request. since 3.17.0

tokenModifiers

The token modifiers that the client supports.

tokenTypes

The token types that the client supports.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensDelta(resultId: Opt[String], edits: Vector[SemanticTokensEdit])

Value parameters

edits

The semantic token edits to transform a previous result into a new result.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensDeltaParams(textDocument: TextDocumentIdentifier, previousResultId: String, 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.

previousResultId

The result id of a previous response. The result Id can either point to a full response or a delta response depending on what was received last.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensEdit(start: uinteger, deleteCount: uinteger, data: Opt[Vector[uinteger]])

Value parameters

data

The elements to insert.

deleteCount

The count of elements to remove.

start

The start offset of the edit.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensLegend(tokenTypes: Vector[String], tokenModifiers: Vector[String])

Value parameters

tokenModifiers

The token modifiers a server uses.

tokenTypes

The token types a server uses.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensOptions(legend: SemanticTokensLegend, range: Opt[Boolean | S0], full: Opt[Boolean | S1], workDoneProgress: Opt[Boolean])

Value parameters

full

Server supports providing semantic tokens for a full document.

legend

The legend used by the server

range

Server supports providing semantic tokens for a specific range of a document.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensParams(textDocument: TextDocumentIdentifier, 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.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensPartialResult(data: Vector[uinteger])

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
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.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensRegistrationOptions(documentSelector: Opt[DocumentSelector], legend: SemanticTokensLegend, range: Opt[Boolean | S0], full: Opt[Boolean | S1], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

full

Server supports providing semantic tokens for a full document.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

legend

The legend used by the server

range

Server supports providing semantic tokens for a specific range of a document.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SemanticTokensWorkspaceClientCapabilities(refreshSupport: Opt[Boolean])

Value parameters

refreshSupport

Whether the client implementation supports a refresh request sent from the server to the client. Note that this event is global and will force the client to refresh all semantic tokens currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ServerCapabilities(positionEncoding: Opt[PositionEncodingKind], textDocumentSync: Opt[TextDocumentSyncOptions | TextDocumentSyncKind], notebookDocumentSync: Opt[NotebookDocumentSyncOptions | NotebookDocumentSyncRegistrationOptions], completionProvider: Opt[CompletionOptions], hoverProvider: Opt[Boolean | HoverOptions], signatureHelpProvider: Opt[SignatureHelpOptions], declarationProvider: Opt[Boolean | DeclarationOptions | DeclarationRegistrationOptions], definitionProvider: Opt[Boolean | DefinitionOptions], typeDefinitionProvider: Opt[Boolean | TypeDefinitionOptions | TypeDefinitionRegistrationOptions], implementationProvider: Opt[Boolean | ImplementationOptions | ImplementationRegistrationOptions], referencesProvider: Opt[Boolean | ReferenceOptions], documentHighlightProvider: Opt[Boolean | DocumentHighlightOptions], documentSymbolProvider: Opt[Boolean | DocumentSymbolOptions], codeActionProvider: Opt[Boolean | CodeActionOptions], codeLensProvider: Opt[CodeLensOptions], documentLinkProvider: Opt[DocumentLinkOptions], colorProvider: Opt[Boolean | DocumentColorOptions | DocumentColorRegistrationOptions], workspaceSymbolProvider: Opt[Boolean | WorkspaceSymbolOptions], documentFormattingProvider: Opt[Boolean | DocumentFormattingOptions], documentRangeFormattingProvider: Opt[Boolean | DocumentRangeFormattingOptions], documentOnTypeFormattingProvider: Opt[DocumentOnTypeFormattingOptions], renameProvider: Opt[Boolean | RenameOptions], foldingRangeProvider: Opt[Boolean | FoldingRangeOptions | FoldingRangeRegistrationOptions], selectionRangeProvider: Opt[Boolean | SelectionRangeOptions | SelectionRangeRegistrationOptions], executeCommandProvider: Opt[ExecuteCommandOptions], callHierarchyProvider: Opt[Boolean | CallHierarchyOptions | CallHierarchyRegistrationOptions], linkedEditingRangeProvider: Opt[Boolean | LinkedEditingRangeOptions | LinkedEditingRangeRegistrationOptions], semanticTokensProvider: Opt[SemanticTokensOptions | SemanticTokensRegistrationOptions], monikerProvider: Opt[Boolean | MonikerOptions | MonikerRegistrationOptions], typeHierarchyProvider: Opt[Boolean | TypeHierarchyOptions | TypeHierarchyRegistrationOptions], inlineValueProvider: Opt[Boolean | InlineValueOptions | InlineValueRegistrationOptions], inlayHintProvider: Opt[Boolean | InlayHintOptions | InlayHintRegistrationOptions], diagnosticProvider: Opt[DiagnosticOptions | DiagnosticRegistrationOptions], workspace: Opt[Workspace], experimental: Opt[Value])

Defines the capabilities provided by a language server.

Defines the capabilities provided by a language server.

Value parameters

callHierarchyProvider

The server provides call hierarchy support. since 3.16.0

codeActionProvider

The server provides code actions. CodeActionOptions may only be specified if the client states that it supports codeActionLiteralSupport in its initial initialize request.

codeLensProvider

The server provides code lens.

colorProvider

The server provides color provider support.

completionProvider

The server provides completion support.

declarationProvider

The server provides Goto Declaration support.

definitionProvider

The server provides goto definition support.

diagnosticProvider

The server has support for pull model diagnostics. since 3.17.0

documentFormattingProvider

The server provides document formatting.

documentHighlightProvider

The server provides document highlight support.

documentLinkProvider

The server provides document link support.

documentOnTypeFormattingProvider

The server provides document formatting on typing.

documentRangeFormattingProvider

The server provides document range formatting.

documentSymbolProvider

The server provides document symbol support.

executeCommandProvider

The server provides execute command support.

experimental

Experimental server capabilities.

foldingRangeProvider

The server provides folding provider support.

hoverProvider

The server provides hover support.

implementationProvider

The server provides Goto Implementation support.

inlayHintProvider

The server provides inlay hints. since 3.17.0

inlineValueProvider

The server provides inline values. since 3.17.0

linkedEditingRangeProvider

The server provides linked editing range support. since 3.16.0

monikerProvider

The server provides moniker support. since 3.16.0

notebookDocumentSync

Defines how notebook documents are synced. since 3.17.0

positionEncoding

The position encoding the server picked from the encodings offered by the client via the client capability general.positionEncodings. If the client didn't provide any position encodings the only valid value that a server can return is 'utf-16'. If omitted it defaults to 'utf-16'. since 3.17.0

referencesProvider

The server provides find references support.

renameProvider

The server provides rename support. RenameOptions may only be specified if the client states that it supports prepareSupport in its initial initialize request.

selectionRangeProvider

The server provides selection range support.

semanticTokensProvider

The server provides semantic tokens support. since 3.16.0

signatureHelpProvider

The server provides signature help support.

textDocumentSync

Defines how text documents are synced. Is either a detailed structure defining each notification or for backwards compatibility the TextDocumentSyncKind number.

typeDefinitionProvider

The server provides Goto Type Definition support.

typeHierarchyProvider

The server provides type hierarchy support. since 3.17.0

workspace

Workspace specific server capabilities.

workspaceSymbolProvider

The server provides workspace symbol support.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SetTraceParams(value: TraceValues)

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShowDocumentClientCapabilities(support: Boolean)

Client capabilities for the showDocument request.

Client capabilities for the showDocument request.

Value parameters

support

The client has support for the showDocument request.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShowDocumentParams(uri: Uri, external: Opt[Boolean], takeFocus: Opt[Boolean], selection: Opt[Range])

Params to show a resource in the UI.

Params to show a resource in the UI.

Value parameters

external

Indicates to show the resource in an external program. To show, for example, https://code.visualstudio.com/ in the default WEB browser set external to true.

selection

An optional selection range if the document is a text document. Clients might ignore the property if an external program is started or the file is not a text file.

takeFocus

An optional property to indicate whether the editor showing the document should take focus or not. Clients might ignore this property if an external program is started.

uri

The uri to show.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShowDocumentResult(success: Boolean)

The result of a showDocument request.

The result of a showDocument request.

Value parameters

success

A boolean indicating if the show was successful.

Attributes

Since

3.16.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShowMessageParams(`type`: MessageType, message: String)

The parameters of a notification message.

The parameters of a notification message.

Value parameters

message

The actual message.

type

The message type. See [[MessageType]]

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Show message request client capabilities

Show message request client capabilities

Value parameters

messageActionItem

Capabilities specific to the MessageActionItem type.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShowMessageRequestParams(`type`: MessageType, message: String, actions: Opt[Vector[MessageActionItem]])

Value parameters

actions

The message action items to present.

message

The actual message.

type

The message type. See [[MessageType]]

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelp(signatures: Vector[SignatureInformation], activeSignature: Opt[uinteger], activeParameter: Opt[uinteger])

Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.

Signature help represents the signature of something callable. There can be multiple signature but only one active and only one active parameter.

Value parameters

activeParameter

The active parameter of the active signature. If omitted or the value lies outside the range of signatures[activeSignature].parameters defaults to 0 if the active signature has parameters. If the active signature has no parameters it is ignored. In future version of the protocol this property might become mandatory to better express the active parameter if the active signature does have any.

activeSignature

The active signature. If omitted or the value lies outside the range of signatures the value defaults to zero or is ignored if the SignatureHelp has no signatures. Whenever possible implementors should make an active decision about the active signature and shouldn't rely on a default value. In future version of the protocol this property might become mandatory to better express this.

signatures

One or more signatures.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object SignatureHelp

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelpClientCapabilities(dynamicRegistration: Opt[Boolean], signatureInformation: Opt[SignatureInformation], contextSupport: Opt[Boolean])

Client Capabilities for a [[SignatureHelpRequest]].

Client Capabilities for a [[SignatureHelpRequest]].

Value parameters

contextSupport

The client supports to send additional context information for a textDocument/signatureHelp request. A client that opts into contextSupport will also support the retriggerCharacters on SignatureHelpOptions. since 3.15.0

dynamicRegistration

Whether signature help supports dynamic registration.

signatureInformation

The client supports the following SignatureInformation specific properties.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelpContext(triggerKind: SignatureHelpTriggerKind, triggerCharacter: Opt[String], isRetrigger: Boolean, activeSignatureHelp: Opt[SignatureHelp])

Additional information about the context in which a signature help request was triggered.

Additional information about the context in which a signature help request was triggered.

Value parameters

activeSignatureHelp

The currently active SignatureHelp. The activeSignatureHelp has its SignatureHelp.activeSignature field updated based on the user navigating through available signatures.

isRetrigger

true if signature help was already showing when it was triggered. Retriggers occurs when the signature help is already active and can be caused by actions such as typing a trigger character, a cursor move, or document content changes.

triggerCharacter

Character that caused signature help to be triggered. This is undefined when triggerKind !== SignatureHelpTriggerKind.TriggerCharacter

triggerKind

Action that caused signature help to be triggered.

Attributes

Since

3.15.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelpOptions(triggerCharacters: Opt[Vector[String]], retriggerCharacters: Opt[Vector[String]], workDoneProgress: Opt[Boolean])

Server Capabilities for a [[SignatureHelpRequest]].

Server Capabilities for a [[SignatureHelpRequest]].

Value parameters

retriggerCharacters

List of characters that re-trigger signature help. These trigger characters are only active when signature help is already showing. All trigger characters are also counted as re-trigger characters. since 3.15.0

triggerCharacters

List of characters that trigger signature help automatically.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelpParams(context: Opt[SignatureHelpContext], textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

Parameters for a [[SignatureHelpRequest]].

Parameters for a [[SignatureHelpRequest]].

Value parameters

context

The signature help context. This is only available if the client specifies to send this using the client capability textDocument.signatureHelp.contextSupport === true since 3.15.0

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureHelpRegistrationOptions(documentSelector: Opt[DocumentSelector], triggerCharacters: Opt[Vector[String]], retriggerCharacters: Opt[Vector[String]])

Registration options for a [[SignatureHelpRequest]].

Registration options for a [[SignatureHelpRequest]].

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

retriggerCharacters

List of characters that re-trigger signature help. These trigger characters are only active when signature help is already showing. All trigger characters are also counted as re-trigger characters. since 3.15.0

triggerCharacters

List of characters that trigger signature help automatically.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SignatureInformation(label: String, documentation: Opt[String | MarkupContent], parameters: Opt[Vector[ParameterInformation]], activeParameter: Opt[uinteger])

Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.

Represents the signature of something callable. A signature can have a label, like a function-name, a doc-comment, and a set of parameters.

Value parameters

activeParameter

The index of the active parameter. If provided, this is used in place of SignatureHelp.activeParameter. since 3.16.0

documentation

The human-readable doc-comment of this signature. Will be shown in the UI but can be omitted.

label

The label of this signature. Will be shown in the UI.

parameters

The parameters of this signature.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class StaticRegistrationOptions(id: Opt[String])

Static registration options to be returned in the initialize request.

Static registration options to be returned in the initialize request.

Value parameters

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SymbolInformation(deprecated: Opt[Boolean], location: Location, name: String, kind: SymbolKind, tags: Opt[Vector[SymbolTag]], containerName: Opt[String])

Represents information about programming constructs like variables, classes, interfaces etc.

Represents information about programming constructs like variables, classes, interfaces etc.

Value parameters

containerName

The name of the symbol containing this symbol. This information is for user interface purposes (e.g. to render a qualifier in the user interface if necessary). It can't be used to re-infer a hierarchy for the document symbols.

deprecated

Indicates if this symbol is deprecated.

kind

The kind of this symbol.

location

The location of this symbol. The location's range is used by a tool to reveal the location in the editor. If the symbol is selected in the tool the range's start information is used to position the cursor. So the range usually spans more than the actual symbol's name and does normally include things like visibility modifiers. The range doesn't have to denote a node range in the sense of an abstract syntax tree. It can therefore not be used to re-construct a hierarchy of the symbols.

name

The name of this symbol.

tags

Tags for this symbol. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Describe options to be used when registered for text document change events.

Describe options to be used when registered for text document change events.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

syncKind

How documents are synced to the server.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentClientCapabilities(synchronization: Opt[TextDocumentSyncClientCapabilities], completion: Opt[CompletionClientCapabilities], hover: Opt[HoverClientCapabilities], signatureHelp: Opt[SignatureHelpClientCapabilities], declaration: Opt[DeclarationClientCapabilities], definition: Opt[DefinitionClientCapabilities], typeDefinition: Opt[TypeDefinitionClientCapabilities], implementation: Opt[ImplementationClientCapabilities], references: Opt[ReferenceClientCapabilities], documentHighlight: Opt[DocumentHighlightClientCapabilities], documentSymbol: Opt[DocumentSymbolClientCapabilities], codeAction: Opt[CodeActionClientCapabilities], codeLens: Opt[CodeLensClientCapabilities], documentLink: Opt[DocumentLinkClientCapabilities], colorProvider: Opt[DocumentColorClientCapabilities], formatting: Opt[DocumentFormattingClientCapabilities], rangeFormatting: Opt[DocumentRangeFormattingClientCapabilities], onTypeFormatting: Opt[DocumentOnTypeFormattingClientCapabilities], rename: Opt[RenameClientCapabilities], foldingRange: Opt[FoldingRangeClientCapabilities], selectionRange: Opt[SelectionRangeClientCapabilities], publishDiagnostics: Opt[PublishDiagnosticsClientCapabilities], callHierarchy: Opt[CallHierarchyClientCapabilities], semanticTokens: Opt[SemanticTokensClientCapabilities], linkedEditingRange: Opt[LinkedEditingRangeClientCapabilities], moniker: Opt[MonikerClientCapabilities], typeHierarchy: Opt[TypeHierarchyClientCapabilities], inlineValue: Opt[InlineValueClientCapabilities], inlayHint: Opt[InlayHintClientCapabilities], diagnostic: Opt[DiagnosticClientCapabilities])

Text document specific client capabilities.

Text document specific client capabilities.

Value parameters

callHierarchy

Capabilities specific to the various call hierarchy requests. since 3.16.0

codeAction

Capabilities specific to the textDocument/codeAction request.

codeLens

Capabilities specific to the textDocument/codeLens request.

colorProvider

Capabilities specific to the textDocument/documentColor and the textDocument/colorPresentation request. since 3.6.0

completion

Capabilities specific to the textDocument/completion request.

declaration

Capabilities specific to the textDocument/declaration request. since 3.14.0

definition

Capabilities specific to the textDocument/definition request.

diagnostic

Capabilities specific to the diagnostic pull model. since 3.17.0

documentHighlight

Capabilities specific to the textDocument/documentHighlight request.

documentLink

Capabilities specific to the textDocument/documentLink request.

documentSymbol

Capabilities specific to the textDocument/documentSymbol request.

foldingRange

Capabilities specific to the textDocument/foldingRange request. since 3.10.0

formatting

Capabilities specific to the textDocument/formatting request.

hover

Capabilities specific to the textDocument/hover request.

implementation

Capabilities specific to the textDocument/implementation request. since 3.6.0

inlayHint

Capabilities specific to the textDocument/inlayHint request. since 3.17.0

inlineValue

Capabilities specific to the textDocument/inlineValue request. since 3.17.0

linkedEditingRange

Capabilities specific to the textDocument/linkedEditingRange request. since 3.16.0

moniker

Client capabilities specific to the textDocument/moniker request. since 3.16.0

onTypeFormatting

Capabilities specific to the textDocument/onTypeFormatting request.

publishDiagnostics

Capabilities specific to the textDocument/publishDiagnostics notification.

rangeFormatting

Capabilities specific to the textDocument/rangeFormatting request.

references

Capabilities specific to the textDocument/references request.

rename

Capabilities specific to the textDocument/rename request.

selectionRange

Capabilities specific to the textDocument/selectionRange request. since 3.15.0

semanticTokens

Capabilities specific to the various semantic token request. since 3.16.0

signatureHelp

Capabilities specific to the textDocument/signatureHelp request.

synchronization

Defines which synchronization capabilities the client supports.

typeDefinition

Capabilities specific to the textDocument/typeDefinition request. since 3.6.0

typeHierarchy

Capabilities specific to the various type hierarchy requests. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Describes textual changes on a text document. A TextDocumentEdit describes all changes on a document version Si and after they are applied move the document to version Si+1. So the creator of a TextDocumentEdit doesn't need to sort the array of edits or do any kind of ordering. However the edits must be non overlapping.

Describes textual changes on a text document. A TextDocumentEdit describes all changes on a document version Si and after they are applied move the document to version Si+1. So the creator of a TextDocumentEdit doesn't need to sort the array of edits or do any kind of ordering. However the edits must be non overlapping.

Value parameters

edits

The edits to be applied. since 3.16.0 - support for AnnotatedTextEdit. This is guarded using a client capability.

textDocument

The text document to change.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

A literal to identify a text document in the client.

A literal to identify a text document in the client.

Value parameters

uri

The text document's uri.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentItem(uri: DocumentUri, languageId: String, version: Int, text: String)

An item to transfer a text document from the client to the server.

An item to transfer a text document from the client to the server.

Value parameters

languageId

The text document's language identifier.

text

The content of the opened text document.

uri

The text document's uri.

version

The version number of this document (it will increase after each change, including undo/redo).

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentPositionParams(textDocument: TextDocumentIdentifier, position: Position)

A parameter literal used in requests to pass a text document and a position inside that document.

A parameter literal used in requests to pass a text document and a position inside that document.

Value parameters

position

The position inside the text document.

textDocument

The text document.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentRegistrationOptions(documentSelector: Opt[DocumentSelector])

General text document registration options.

General text document registration options.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentSaveRegistrationOptions(documentSelector: Opt[DocumentSelector], includeText: Opt[Boolean])

Save registration options.

Save registration options.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

includeText

The client is supposed to include the content on save.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentSyncClientCapabilities(dynamicRegistration: Opt[Boolean], willSave: Opt[Boolean], willSaveWaitUntil: Opt[Boolean], didSave: Opt[Boolean])

Value parameters

didSave

The client supports did save notifications.

dynamicRegistration

Whether text document synchronization supports dynamic registration.

willSave

The client supports sending will save notifications.

willSaveWaitUntil

The client supports sending a will save request and waits for a response providing text edits which will be applied to the document before it is saved.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextDocumentSyncOptions(openClose: Opt[Boolean], change: Opt[TextDocumentSyncKind], willSave: Opt[Boolean], willSaveWaitUntil: Opt[Boolean], save: Opt[Boolean | SaveOptions])

Value parameters

change

Change notifications are sent to the server. See TextDocumentSyncKind.None, TextDocumentSyncKind.Full and TextDocumentSyncKind.Incremental. If omitted it defaults to TextDocumentSyncKind.None.

openClose

Open and close notifications are sent to the server. If omitted open close notification should not be sent.

save

If present save notifications are sent to the server. If omitted the notification should not be sent.

willSave

If present will save notifications are sent to the server. If omitted the notification should not be sent.

willSaveWaitUntil

If present will save wait until requests are sent to the server. If omitted the request should not be sent.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TextEdit(range: Range, newText: String)

A text edit applicable to a text document.

A text edit applicable to a text document.

Value parameters

newText

The string to be inserted. For delete operations use an empty string.

range

The range of the text document to be manipulated. To insert text into a document create a range where start === end.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TextEdit

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
TextEdit.type
case class TypeDefinitionClientCapabilities(dynamicRegistration: Opt[Boolean], linkSupport: Opt[Boolean])

Since 3.6.0

Since 3.6.0

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new TypeDefinitionRegistrationOptions return value for the corresponding server capability as well.

linkSupport

The client supports additional metadata in the form of definition links. Since 3.14.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeDefinitionOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeDefinitionParams(textDocument: TextDocumentIdentifier, position: Position, 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.

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeDefinitionRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchyClientCapabilities(dynamicRegistration: Opt[Boolean])

Value parameters

dynamicRegistration

Whether implementation supports dynamic registration. If this is set to true the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions) return value for the corresponding server capability as well.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchyItem(name: String, kind: SymbolKind, tags: Opt[Vector[SymbolTag]], detail: Opt[String], uri: DocumentUri, range: Range, selectionRange: Range, data: Opt[Value])

Value parameters

data

A data entry field that is preserved between a type hierarchy prepare and supertypes or subtypes requests. It could also be used to identify the type hierarchy in the server, helping improve the performance on resolving supertypes and subtypes.

detail

More detail for this item, e.g. the signature of a function.

kind

The kind of this item.

name

The name of this item.

range

The range enclosing this symbol not including leading/trailing whitespace but everything else, e.g. comments and code.

selectionRange

The range that should be selected and revealed when this symbol is being picked, e.g. the name of a function. Must be contained by the [[TypeHierarchyItem.rangerange]].

tags

Tags for this item.

uri

The resource identifier of this item.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchyOptions(workDoneProgress: Opt[Boolean])

Type hierarchy options used during static registration.

Type hierarchy options used during static registration.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchyPrepareParams(textDocument: TextDocumentIdentifier, position: Position, workDoneToken: Opt[ProgressToken])

The parameter of a textDocument/prepareTypeHierarchy request.

The parameter of a textDocument/prepareTypeHierarchy request.

Value parameters

position

The position inside the text document.

textDocument

The text document.

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchyRegistrationOptions(documentSelector: Opt[DocumentSelector], id: Opt[String])

Type hierarchy options used during static or dynamic registration.

Type hierarchy options used during static or dynamic registration.

Value parameters

documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

id

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchySubtypesParams(item: TypeHierarchyItem, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameter of a typeHierarchy/subtypes request.

The parameter of a typeHierarchy/subtypes request.

Value parameters

partialResultToken

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

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class TypeHierarchySupertypesParams(item: TypeHierarchyItem, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameter of a typeHierarchy/supertypes request.

The parameter of a typeHierarchy/supertypes request.

Value parameters

partialResultToken

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

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class UnchangedDocumentDiagnosticReport(kind: "unchanged", resultId: String)

A diagnostic report indicating that the last returned report is still accurate.

A diagnostic report indicating that the last returned report is still accurate.

Value parameters

kind

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.

resultId

A result id which will be sent on the next diagnostic request for the same document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Unregistration(id: String, method: String)

General parameters to unregister a request or notification.

General parameters to unregister a request or notification.

Value parameters

id

The id used to unregister the request or notification. Usually an id provided during the register request.

method

The method to unregister for.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class UnregistrationParams(unregisterations: Vector[Unregistration])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class VersionedNotebookDocumentIdentifier(version: Int, uri: Uri)

A versioned notebook document identifier.

A versioned notebook document identifier.

Value parameters

uri

The notebook document's uri.

version

The version number of this notebook document.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class VersionedTextDocumentIdentifier(version: Int, uri: DocumentUri)

A text document identifier to denote a specific version of a text document.

A text document identifier to denote a specific version of a text document.

Value parameters

uri

The text document's uri.

version

The version number of this document.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

The parameters sent in a will save text document notification.

The parameters sent in a will save text document notification.

Value parameters

reason

The 'TextDocumentSaveReason'.

textDocument

The document that will be saved.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WindowClientCapabilities(workDoneProgress: Opt[Boolean], showMessage: Opt[ShowMessageRequestClientCapabilities], showDocument: Opt[ShowDocumentClientCapabilities])

Value parameters

showDocument

Capabilities specific to the showDocument request. since 3.16.0

showMessage

Capabilities specific to the showMessage request. since 3.16.0

workDoneProgress

It indicates whether the client supports server initiated progress using the window/workDoneProgress/create request. The capability also controls Whether client supports handling of progress notifications. If set servers are allowed to report a workDoneProgress property in the request specific server capabilities. since 3.15.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkDoneProgressBegin(kind: "begin", title: String, cancellable: Opt[Boolean], message: Opt[String], percentage: Opt[uinteger])

Value parameters

cancellable

Controls if a cancel button should show to allow the user to cancel the long running operation. Clients that don't support cancellation are allowed to ignore the setting.

message

Optional, more detailed associated progress message. Contains complementary information to the title. Examples: "3/25 files", "project/src/module2", "node_modules/some_dep". If unset, the previous progress message (if any) is still valid.

percentage

Optional progress percentage to display (value 100 is considered 100%). If not provided infinite progress is assumed and clients are allowed to ignore the percentage value in subsequent in report notifications. The value should be steadily rising. Clients are free to ignore values that are not following this rule. The value range is [0, 100].

title

Mandatory title of the progress operation. Used to briefly inform about the kind of operation being performed. Examples: "Indexing" or "Linking dependencies".

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Value parameters

token

The token to be used to report progress.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Value parameters

token

The token to be used to report progress.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkDoneProgressEnd(kind: "end", message: Opt[String])

Value parameters

message

Optional, a final message indicating to for example indicate the outcome of the operation.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkDoneProgressOptions(workDoneProgress: Opt[Boolean])

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkDoneProgressParams(workDoneToken: Opt[ProgressToken])

Value parameters

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkDoneProgressReport(kind: "report", cancellable: Opt[Boolean], message: Opt[String], percentage: Opt[uinteger])

Value parameters

cancellable

Controls enablement state of a cancel button. Clients that don't support cancellation or don't support controlling the button's enablement state are allowed to ignore the property.

message

Optional, more detailed associated progress message. Contains complementary information to the title. Examples: "3/25 files", "project/src/module2", "node_modules/some_dep". If unset, the previous progress message (if any) is still valid.

percentage

Optional progress percentage to display (value 100 is considered 100%). If not provided infinite progress is assumed and clients are allowed to ignore the percentage value in subsequent in report notifications. The value should be steadily rising. Clients are free to ignore values that are not following this rule. The value range is [0, 100]

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Workspace specific client capabilities.

Workspace specific client capabilities.

Value parameters

applyEdit

The client supports applying batch edits to the workspace by supporting the request 'workspace/applyEdit'

codeLens

Capabilities specific to the code lens requests scoped to the workspace. since 3.16.0.

configuration

The client supports workspace/configuration requests. since 3.6.0

diagnostics

Capabilities specific to the diagnostic requests scoped to the workspace. since 3.17.0.

didChangeConfiguration

Capabilities specific to the workspace/didChangeConfiguration notification.

didChangeWatchedFiles

Capabilities specific to the workspace/didChangeWatchedFiles notification.

executeCommand

Capabilities specific to the workspace/executeCommand request.

fileOperations

The client has support for file notifications/requests for user operations on files. Since 3.16.0

inlayHint

Capabilities specific to the inlay hint requests scoped to the workspace. since 3.17.0.

inlineValue

Capabilities specific to the inline values requests scoped to the workspace. since 3.17.0.

semanticTokens

Capabilities specific to the semantic token requests scoped to the workspace. since 3.16.0.

symbol

Capabilities specific to the workspace/symbol request.

workspaceEdit

Capabilities specific to WorkspaceEdits.

workspaceFolders

The client has support for workspace folders. since 3.6.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceDiagnosticParams(identifier: Opt[String], previousResultIds: Vector[PreviousResultId], workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters of the workspace diagnostic request.

Parameters of the workspace diagnostic request.

Value parameters

identifier

The additional identifier provided during registration.

partialResultToken

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

previousResultIds

The currently known diagnostic reports with their previous result ids.

workDoneToken

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

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

A workspace diagnostic report.

A workspace diagnostic report.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

A partial result for a workspace diagnostic report.

A partial result for a workspace diagnostic report.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceEdit(changes: Opt[Map[DocumentUri, Vector[TextEdit]]], documentChanges: Opt[Vector[TextDocumentEdit | CreateFile | RenameFile | DeleteFile]], changeAnnotations: Opt[Map[ChangeAnnotationIdentifier, ChangeAnnotation]])

A workspace edit represents changes to many resources managed in the workspace. The edit should either provide changes or documentChanges. If documentChanges are present they are preferred over changes if the client can handle versioned document edits.

A workspace edit represents changes to many resources managed in the workspace. The edit should either provide changes or documentChanges. If documentChanges are present they are preferred over changes if the client can handle versioned document edits.

Since version 3.13.0 a workspace edit can contain resource operations as well. If resource operations are present clients need to execute the operations in the order in which they are provided. So a workspace edit for example can consist of the following two changes: (1) a create file a.txt and (2) a text document edit which insert text into file a.txt.

An invalid sequence (e.g. (1) delete file a.txt and (2) insert text into file a.txt) will cause failure of the operation. How the client recovers from the failure is described by the client capability: workspace.workspaceEdit.failureHandling

Value parameters

changeAnnotations

A map of change annotations that can be referenced in AnnotatedTextEdits or create, rename and delete file / folder operations. Whether clients honor this property depends on the client capability workspace.changeAnnotationSupport. since 3.16.0

changes

Holds changes to existing resources.

documentChanges

Depending on the client capability workspace.workspaceEdit.resourceOperations document changes are either an array of TextDocumentEdits to express changes to n different text documents where each text document edit addresses a specific version of a text document. Or it can contain above TextDocumentEdits mixed with create, rename and delete file / folder operations. Whether a client supports versioned document edits is expressed via workspace.workspaceEdit.documentChanges client capability. If a client neither supports documentChanges nor workspace.workspaceEdit.resourceOperations then only plain TextEdits using the changes property are supported.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object WorkspaceEdit

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceEditClientCapabilities(documentChanges: Opt[Boolean], resourceOperations: Opt[Vector[ResourceOperationKind]], failureHandling: Opt[FailureHandlingKind], normalizesLineEndings: Opt[Boolean], changeAnnotationSupport: Opt[ChangeAnnotationSupport])

Value parameters

changeAnnotationSupport

Whether the client in general supports change annotations on text edits, create file, rename file and delete file changes. since 3.16.0

documentChanges

The client supports versioned document changes in WorkspaceEdits

failureHandling

The failure handling strategy of a client if applying the workspace edit fails. since 3.13.0

normalizesLineEndings

Whether the client normalizes line endings to the client specific setting. If set to true the client will normalize line ending characters in a workspace edit to the client-specified new line character. since 3.16.0

resourceOperations

The resource operations the client supports. Clients should at least support 'create', 'rename' and 'delete' files and folders. since 3.13.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceFolder(uri: Uri, name: String)

A workspace folder inside a client.

A workspace folder inside a client.

Value parameters

name

The name of the workspace folder. Used to refer to this workspace folder in the user interface.

uri

The associated URI for this workspace folder.

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceFoldersChangeEvent(added: Vector[WorkspaceFolder], removed: Vector[WorkspaceFolder])

The workspace folder change event.

The workspace folder change event.

Value parameters

added

The array of added workspace folders

removed

The array of the removed workspace folders

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceFoldersInitializeParams(workspaceFolders: Opt[Opt[Vector[WorkspaceFolder]]])

Value parameters

workspaceFolders

The workspace folders configured in the client when the server starts. This property is only available if the client supports workspace folders. It can be null if the client supports workspace folders but none are configured. since 3.6.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceFoldersServerCapabilities(supported: Opt[Boolean], changeNotifications: Opt[String | Boolean])

Value parameters

changeNotifications

Whether the server wants to receive workspace folder change notifications. If a string is provided the string is treated as an ID under which the notification is registered on the client side. The ID can be used to unregister for these events using the client/unregisterCapability request.

supported

The server has support for workspace folders

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceFullDocumentDiagnosticReport(uri: DocumentUri, version: Opt[Int], kind: "full", resultId: Opt[String], items: Vector[Diagnostic])

A full document diagnostic report for a workspace diagnostic result.

A full document diagnostic report for a workspace diagnostic result.

Value parameters

items

The actual items.

kind

A full document diagnostic report.

resultId

An optional result id. If provided it will be sent on the next diagnostic request for the same document.

uri

The URI for which diagnostic information is reported.

version

The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceSymbol(location: Location | S0, data: Opt[Value], name: String, kind: SymbolKind, tags: Opt[Vector[SymbolTag]], containerName: Opt[String])

A special workspace symbol that supports locations without a range.

A special workspace symbol that supports locations without a range.

See also SymbolInformation.

Value parameters

containerName

The name of the symbol containing this symbol. This information is for user interface purposes (e.g. to render a qualifier in the user interface if necessary). It can't be used to re-infer a hierarchy for the document symbols.

data

A data entry field that is preserved on a workspace symbol between a workspace symbol request and a workspace symbol resolve request.

kind

The kind of this symbol.

location

The location of the symbol. Whether a server is allowed to return a location without a range depends on the client capability workspace.symbol.resolveSupport. See SymbolInformation#location for more details.

name

The name of this symbol.

tags

Tags for this symbol. since 3.16.0

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceSymbolClientCapabilities(dynamicRegistration: Opt[Boolean], symbolKind: Opt[SymbolKind], tagSupport: Opt[TagSupport], resolveSupport: Opt[ResolveSupport])

Client capabilities for a [[WorkspaceSymbolRequest]].

Client capabilities for a [[WorkspaceSymbolRequest]].

Value parameters

dynamicRegistration

Symbol request supports dynamic registration.

resolveSupport

The client support partial workspace symbols. The client will send the request workspaceSymbol/resolve to the server to resolve additional properties. since 3.17.0

symbolKind

Specific capabilities for the SymbolKind in the workspace/symbol request.

tagSupport

The client supports tags on SymbolInformation. Clients supporting tags have to handle unknown tags gracefully. since 3.16.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceSymbolOptions(resolveProvider: Opt[Boolean], workDoneProgress: Opt[Boolean])

Server capabilities for a [[WorkspaceSymbolRequest]].

Server capabilities for a [[WorkspaceSymbolRequest]].

Value parameters

resolveProvider

The server provides support to resolve additional information for a workspace symbol. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceSymbolParams(query: String, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

The parameters of a [[WorkspaceSymbolRequest]].

The parameters of a [[WorkspaceSymbolRequest]].

Value parameters

partialResultToken

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

query

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

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceSymbolRegistrationOptions(resolveProvider: Opt[Boolean])

Registration options for a [[WorkspaceSymbolRequest]].

Registration options for a [[WorkspaceSymbolRequest]].

Value parameters

resolveProvider

The server provides support to resolve additional information for a workspace symbol. since 3.17.0

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class WorkspaceUnchangedDocumentDiagnosticReport(uri: DocumentUri, version: Opt[Int], kind: "unchanged", resultId: String)

An unchanged document diagnostic report for a workspace diagnostic result.

An unchanged document diagnostic report for a workspace diagnostic result.

Value parameters

kind

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.

resultId

A result id which will be sent on the next diagnostic request for the same document.

uri

The URI for which diagnostic information is reported.

version

The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class _InitializeParams(processId: Opt[Int], clientInfo: Opt[ClientInfo], locale: Opt[String], rootPath: Opt[Opt[String]], rootUri: Opt[DocumentUri], capabilities: ClientCapabilities, initializationOptions: Opt[Value], trace: Opt[TraceValues], workDoneToken: Opt[ProgressToken])

The initialize parameters

The initialize parameters

Value parameters

capabilities

The capabilities provided by the client (editor or tool)

clientInfo

Information about the client since 3.15.0

initializationOptions

User provided initialization options.

locale

The locale the client is currently showing the user interface in. This must not necessarily be the locale of the operating system. Uses IETF language tags as the value's syntax (See https://en.wikipedia.org/wiki/IETF_language_tag) since 3.16.0

processId

The process Id of the parent process that started the server. Is null if the process has not been started by another process. If the parent process is not alive then the server should exit.

rootPath

The rootPath of the workspace. Is null if no folder is open.

rootUri

The rootUri of the workspace. Is null if no folder is open. If both rootPath and rootUri are set rootUri wins.

trace

The initial trace setting. If omitted trace is disabled ('off').

workDoneToken

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

Attributes

Companion
object
Source
structures.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
structures.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type