Crate bsp_types

Source

Structs§

BuildTarget
Build target contains metadata about an artifact (for example library, test, or binary artifact)
BuildTargetCapabilities
BuildTarget Capabilities
BuildTargetCleanCache
The clean cache request is sent from the client to the server to reset any state associated with a given build target. The state can live either in the build tool or in the file system.
BuildTargetCleanCacheResult
BuildTargetCompile
The run request is sent from the client to the server to run a build target. The server communicates during the initialize handshake whether this method is supported or not.
BuildTargetCompileResult
Note that an empty run request is valid. Run will be executed in the target as specified in the build tool.
BuildTargetDependencyModules
The build target dependency modules request is sent from the client to the server to query for the libraries of build target dependencies that are external to the workspace including meta information about library and their sources. It’s an extended version of buildTarget/sources.
BuildTargetDependencyModulesResult
BuildTargetDependencySources
The build target dependency sources request is sent from the client to the server to query for the sources of build target dependencies that are external to the workspace. The dependency sources response must not include source files that belong to a build target within the workspace, see buildTarget/sources. The server communicates during the initialize handshake whether this method is supported or not. This method can for example be used by a language server on textDocument/definition to “Go to definition” from project sources to dependency sources.
BuildTargetDependencySourcesResult
BuildTargetDidChange
The build target changed notification is sent from the server to the client to signal a change in a build target. The server communicates during the initialize handshake whether this method is supported or not.
BuildTargetEvent
BuildTargetIdentifier
BuildTargetInverseSourcesResult
BuildTargetResources
The build target resources request is sent from the client to the server to query for the list of resources of a given list of build targets.
BuildTargetResourcesResult
BuildTargetRun
The run request is sent from the client to the server to run a build target. The server communicates during the initialize handshake whether this method is supported or not.
BuildTargetRunResult
Note that an empty run request is valid. Run will be executed in the target as specified in the build tool.
BuildTargetSources
The build target sources request is sent from the client to the server to query for the list of text documents and directories that are belong to a build target. The sources response must not include sources that are external to the workspace.
BuildTargetSourcesResult
BuildTargetTest
The test build target request is sent from the client to the server to test the given list of build targets. The server communicates during the initialize handshake whether this method is supported or not.
BuildTargetTestResult
Note that an empty run request is valid. Run will be executed in the target as specified in the build tool.
ClientCapabilities
CompileProvider
DebugProvider
DebugSessionStart
The debug request is sent from the client to the server to debug build target(s). The server launches a Microsoft DAP server and returns a connection URI for the client to interact with.
DebugSessionStartResult
DependencyModule
DependencyModulesItem
DependencySourcesItem
InitializeBuild
Like the language server protocol, the initialize request is sent as the first request from the client to the server. If the server receives a request or notification before the initialize request it should act as follows:
InitializeBuildResult
Initialize Build response result
LogMessage
The log message notification is sent from the server to the client to ask the client to log a particular message.
PublishDiagnostics
Resources
RunProvider
ServerCapabilities
Server Capabilities
ShowMessage
The show message notification is sent from a server to a client to ask the client to display a particular message in the user interface.
Sources
SourcesCollection
TaskFinish
TaskId
The Task Id allows clients to uniquely identify a BSP task and establish a client-parent relationship with another task id.
TaskProgress
After a taskStart and before taskFinish for a taskId, the server may send any number of progress notifications.
TaskStart
TestProvider
TextDocumentInverseSources
The inverse sources request is sent from the client to the server to query for the list of build targets containing a text document. The server communicates during the initialize handshake whether this method is supported or not. This request can be viewed as the inverse of buildTarget/sources, except it only works for text documents and not directories.
Url
A parsed URL record.
WorkspaceBuildTargetsResult
The workspace build targets request is sent from the client to the server to ask for the list of all available build targets in the workspace.

Enums§

BuildTargetEventKind
BuildTargetTag
Free-form string tags to categorize or label this build target. For example, can be used by the client to:
MessageType
SourceKind
TaskDataKind
TaskStatus

Traits§

BuildServer

Type Aliases§

Language
preserved for later