mirror of
https://github.com/microsoft/language-server-protocol.git
synced 2025-12-23 08:48:16 +00:00
1ec56d2198
* typo * Move trace value to the base protocol --------- Co-authored-by: Dirk Bäumer <dirkb@microsoft.com>
71 lines
No EOL
1.9 KiB
YAML
71 lines
No EOL
1.9 KiB
YAML
- title: Table of Contents
|
|
reveal: baseProtocol
|
|
children:
|
|
- title: Base Protocol
|
|
anchor: baseProtocol
|
|
children:
|
|
- title: Header Part
|
|
anchor: headerPart
|
|
- title: Content Part
|
|
anchor: contentPart
|
|
- title: Capabilities
|
|
anchor: capabilities
|
|
- title: Message Ordering
|
|
anchor: messageOrdering
|
|
- title: Message Documentation
|
|
anchor: messageDocumentation
|
|
- title: JSON Structures
|
|
anchor: basicJsonStructures
|
|
children:
|
|
- title: Base Types
|
|
anchor: baseTypes
|
|
- title: URI
|
|
anchor: uri
|
|
- title: Regular Expression
|
|
anchor: regExp
|
|
- title: Enumerations
|
|
anchor: enumerations
|
|
- title: Abstract Message
|
|
anchor: abstractMessage
|
|
- title: Request Message
|
|
anchor: requestMessage
|
|
- title: Response Message
|
|
anchor: responseMessage
|
|
- title: Notification Message
|
|
anchor: notificationMessage
|
|
- title: Cancellation Support
|
|
anchor: cancelRequest
|
|
- title: Progress Support
|
|
anchor: progress
|
|
- title: Trace Value
|
|
anchor: traceValue
|
|
- title: Lifecycle Messages
|
|
anchor: lifecycle
|
|
children:
|
|
- title: Initialize
|
|
anchor: initialize
|
|
- title: Initialized
|
|
anchor: initialized
|
|
- title: Register Capability
|
|
anchor: client_registerCapability
|
|
- title: Unregister Capability
|
|
anchor: client_unregisterCapability
|
|
- title: Set Trace
|
|
anchor: setTrace
|
|
- title: Log Trace
|
|
anchor: logTrace
|
|
- title: Shutdown
|
|
anchor: shutdown
|
|
- title: Exit
|
|
anchor: exit
|
|
- title: Window Features
|
|
anchor: windowFeatures
|
|
children:
|
|
- title: Show Message Notification
|
|
anchor: window_showMessage
|
|
- title: Show Message Request
|
|
anchor: window_showMessageRequest
|
|
- title: Log Message
|
|
anchor: window_logMessage
|
|
- title: Sent Telemetry
|
|
anchor: telemetry_event |