Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 1 | // Copyright 2019 The Go Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
Alan Donovan | 6e052bb | 2023-11-29 09:27:28 -0500 | [diff] [blame] | 5 | package server |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 6 | |
Alan Donovan | 147b88d | 2023-11-29 10:03:49 -0500 | [diff] [blame] | 7 | // This file defines server methods related to initialization, |
| 8 | // options, shutdown, and exit. |
| 9 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 10 | import ( |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 11 | "context" |
| 12 | "encoding/json" |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 13 | "errors" |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 14 | "fmt" |
Rob Findley | 5ff5cbb | 2023-05-22 13:24:35 -0400 | [diff] [blame] | 15 | "go/build" |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 16 | "os" |
| 17 | "path" |
| 18 | "path/filepath" |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 19 | "sort" |
| 20 | "strings" |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 21 | "sync" |
| 22 | |
Alan Donovan | 283fce2 | 2024-02-27 12:32:21 -0500 | [diff] [blame] | 23 | "golang.org/x/telemetry/counter" |
Alan Donovan | f872b3d | 2024-01-23 15:32:26 -0500 | [diff] [blame] | 24 | "golang.org/x/tools/gopls/internal/cache" |
Alan Donovan | c21f267 | 2023-11-30 11:03:30 -0500 | [diff] [blame] | 25 | "golang.org/x/tools/gopls/internal/debug" |
Hana (Hyang-Ah) Kim | 9795fac | 2024-05-07 09:06:19 -0400 | [diff] [blame] | 26 | debuglog "golang.org/x/tools/gopls/internal/debug/log" |
Rob Findley | c823488 | 2023-11-17 16:14:35 -0500 | [diff] [blame] | 27 | "golang.org/x/tools/gopls/internal/file" |
Alan Donovan | 6d109d1 | 2024-01-23 15:35:40 -0500 | [diff] [blame] | 28 | "golang.org/x/tools/gopls/internal/protocol" |
Rob Findley | 42d9779 | 2023-11-17 17:45:31 -0500 | [diff] [blame] | 29 | "golang.org/x/tools/gopls/internal/settings" |
Alan Donovan | db5acf6 | 2023-11-29 10:17:12 -0500 | [diff] [blame] | 30 | "golang.org/x/tools/gopls/internal/util/bug" |
Alan Donovan | 5995d31 | 2023-11-30 10:58:27 -0500 | [diff] [blame] | 31 | "golang.org/x/tools/gopls/internal/util/goversion" |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 32 | "golang.org/x/tools/gopls/internal/util/maps" |
Peter Weinberger | 9250e22 | 2022-08-16 11:12:59 -0400 | [diff] [blame] | 33 | "golang.org/x/tools/internal/event" |
| 34 | "golang.org/x/tools/internal/jsonrpc2" |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 35 | ) |
| 36 | |
Alan Donovan | 2529481 | 2023-11-19 13:24:36 -0500 | [diff] [blame] | 37 | func (s *server) Initialize(ctx context.Context, params *protocol.ParamInitialize) (*protocol.InitializeResult, error) { |
Robert Findley | f796361 | 2023-03-28 21:34:10 -0400 | [diff] [blame] | 38 | ctx, done := event.Start(ctx, "lsp.Server.initialize") |
| 39 | defer done() |
| 40 | |
Alan Donovan | e211e0f | 2024-01-24 18:00:21 -0500 | [diff] [blame] | 41 | var clientName string |
| 42 | if params != nil && params.ClientInfo != nil { |
| 43 | clientName = params.ClientInfo.Name |
| 44 | } |
Alan Donovan | 283fce2 | 2024-02-27 12:32:21 -0500 | [diff] [blame] | 45 | recordClientInfo(clientName) |
Hana (Hyang-Ah) Kim | 4b271f9 | 2023-07-19 14:18:26 -0400 | [diff] [blame] | 46 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 47 | s.stateMu.Lock() |
| 48 | if s.state >= serverInitializing { |
| 49 | defer s.stateMu.Unlock() |
| 50 | return nil, fmt.Errorf("%w: initialize called while server in %v state", jsonrpc2.ErrInvalidRequest, s.state) |
| 51 | } |
| 52 | s.state = serverInitializing |
| 53 | s.stateMu.Unlock() |
| 54 | |
| 55 | // For uniqueness, use the gopls PID rather than params.ProcessID (the client |
| 56 | // pid). Some clients might start multiple gopls servers, though they |
| 57 | // probably shouldn't. |
| 58 | pid := os.Getpid() |
| 59 | s.tempDir = filepath.Join(os.TempDir(), fmt.Sprintf("gopls-%d.%s", pid, s.session.ID())) |
| 60 | err := os.Mkdir(s.tempDir, 0700) |
| 61 | if err != nil { |
| 62 | // MkdirTemp could fail due to permissions issues. This is a problem with |
| 63 | // the user's environment, but should not block gopls otherwise behaving. |
| 64 | // All usage of s.tempDir should be predicated on having a non-empty |
| 65 | // s.tempDir. |
| 66 | event.Error(ctx, "creating temp dir", err) |
| 67 | s.tempDir = "" |
| 68 | } |
| 69 | s.progress.SetSupportsWorkDoneProgress(params.Capabilities.Window.WorkDoneProgress) |
| 70 | |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 71 | options := s.Options().Clone() |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 72 | // TODO(rfindley): eliminate this defer. |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 73 | defer func() { s.SetOptions(options) }() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 74 | |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 75 | s.handleOptionErrors(ctx, options.Set(params.InitializationOptions)) |
Rob Findley | 3a5dbf3 | 2023-05-21 11:03:28 -0400 | [diff] [blame] | 76 | options.ForClientCapabilities(params.ClientInfo, params.Capabilities) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 77 | |
| 78 | if options.ShowBugReports { |
| 79 | // Report the next bug that occurs on the server. |
Alan Donovan | e2f3b25 | 2023-04-25 15:21:16 -0400 | [diff] [blame] | 80 | bug.Handle(func(b bug.Bug) { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 81 | msg := &protocol.ShowMessageParams{ |
| 82 | Type: protocol.Error, |
| 83 | Message: fmt.Sprintf("A bug occurred on the server: %s\nLocation:%s", b.Description, b.Key), |
| 84 | } |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 85 | go s.eventuallyShowMessage(context.Background(), msg) |
Alan Donovan | e2f3b25 | 2023-04-25 15:21:16 -0400 | [diff] [blame] | 86 | }) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 87 | } |
| 88 | |
| 89 | folders := params.WorkspaceFolders |
| 90 | if len(folders) == 0 { |
| 91 | if params.RootURI != "" { |
| 92 | folders = []protocol.WorkspaceFolder{{ |
| 93 | URI: string(params.RootURI), |
Alan Donovan | 1cab127 | 2023-11-17 16:16:59 -0500 | [diff] [blame] | 94 | Name: path.Base(params.RootURI.Path()), |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 95 | }} |
| 96 | } |
| 97 | } |
Hana (Hyang-Ah) Kim | 9795fac | 2024-05-07 09:06:19 -0400 | [diff] [blame] | 98 | s.pendingFolders = append(s.pendingFolders, folders...) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 99 | |
| 100 | var codeActionProvider interface{} = true |
| 101 | if ca := params.Capabilities.TextDocument.CodeAction; len(ca.CodeActionLiteralSupport.CodeActionKind.ValueSet) > 0 { |
| 102 | // If the client has specified CodeActionLiteralSupport, |
| 103 | // send the code actions we support. |
| 104 | // |
| 105 | // Using CodeActionOptions is only valid if codeActionLiteralSupport is set. |
| 106 | codeActionProvider = &protocol.CodeActionOptions{ |
| 107 | CodeActionKinds: s.getSupportedCodeActions(), |
Suzy Mueller | 592d9e1 | 2023-12-07 16:51:04 -0800 | [diff] [blame] | 108 | ResolveProvider: true, |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 109 | } |
| 110 | } |
| 111 | var renameOpts interface{} = true |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 112 | if r := params.Capabilities.TextDocument.Rename; r != nil && r.PrepareSupport { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 113 | renameOpts = protocol.RenameOptions{ |
| 114 | PrepareProvider: r.PrepareSupport, |
| 115 | } |
| 116 | } |
| 117 | |
| 118 | versionInfo := debug.VersionInfo() |
| 119 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 120 | goplsVersion, err := json.Marshal(versionInfo) |
| 121 | if err != nil { |
| 122 | return nil, err |
| 123 | } |
| 124 | |
| 125 | return &protocol.InitializeResult{ |
| 126 | Capabilities: protocol.ServerCapabilities{ |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 127 | CallHierarchyProvider: &protocol.Or_ServerCapabilities_callHierarchyProvider{Value: true}, |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 128 | CodeActionProvider: codeActionProvider, |
Suzy Mueller | 1578244 | 2022-09-19 14:13:01 -0400 | [diff] [blame] | 129 | CodeLensProvider: &protocol.CodeLensOptions{}, // must be non-nil to enable the code lens capability |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 130 | CompletionProvider: &protocol.CompletionOptions{ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 131 | TriggerCharacters: []string{"."}, |
| 132 | }, |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 133 | DefinitionProvider: &protocol.Or_ServerCapabilities_definitionProvider{Value: true}, |
| 134 | TypeDefinitionProvider: &protocol.Or_ServerCapabilities_typeDefinitionProvider{Value: true}, |
| 135 | ImplementationProvider: &protocol.Or_ServerCapabilities_implementationProvider{Value: true}, |
| 136 | DocumentFormattingProvider: &protocol.Or_ServerCapabilities_documentFormattingProvider{Value: true}, |
| 137 | DocumentSymbolProvider: &protocol.Or_ServerCapabilities_documentSymbolProvider{Value: true}, |
| 138 | WorkspaceSymbolProvider: &protocol.Or_ServerCapabilities_workspaceSymbolProvider{Value: true}, |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 139 | ExecuteCommandProvider: &protocol.ExecuteCommandOptions{ |
Alan Donovan | 147b88d | 2023-11-29 10:03:49 -0500 | [diff] [blame] | 140 | Commands: protocol.NonNilSlice(options.SupportedCommands), |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 141 | }, |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 142 | FoldingRangeProvider: &protocol.Or_ServerCapabilities_foldingRangeProvider{Value: true}, |
| 143 | HoverProvider: &protocol.Or_ServerCapabilities_hoverProvider{Value: true}, |
| 144 | DocumentHighlightProvider: &protocol.Or_ServerCapabilities_documentHighlightProvider{Value: true}, |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 145 | DocumentLinkProvider: &protocol.DocumentLinkOptions{}, |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 146 | InlayHintProvider: protocol.InlayHintOptions{}, |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 147 | ReferencesProvider: &protocol.Or_ServerCapabilities_referencesProvider{Value: true}, |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 148 | RenameProvider: renameOpts, |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 149 | SelectionRangeProvider: &protocol.Or_ServerCapabilities_selectionRangeProvider{Value: true}, |
Peter Weinberger | b5d65e0 | 2023-01-14 15:58:41 -0500 | [diff] [blame] | 150 | SemanticTokensProvider: protocol.SemanticTokensOptions{ |
Peter Weinberger | e85b533 | 2023-02-18 15:25:18 -0500 | [diff] [blame] | 151 | Range: &protocol.Or_SemanticTokensOptions_range{Value: true}, |
| 152 | Full: &protocol.Or_SemanticTokensOptions_full{Value: true}, |
Peter Weinberger | b5d65e0 | 2023-01-14 15:58:41 -0500 | [diff] [blame] | 153 | Legend: protocol.SemanticTokensLegend{ |
Alan Donovan | 147b88d | 2023-11-29 10:03:49 -0500 | [diff] [blame] | 154 | TokenTypes: protocol.NonNilSlice(options.SemanticTypes), |
| 155 | TokenModifiers: protocol.NonNilSlice(options.SemanticMods), |
Peter Weinberger | b5d65e0 | 2023-01-14 15:58:41 -0500 | [diff] [blame] | 156 | }, |
| 157 | }, |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 158 | SignatureHelpProvider: &protocol.SignatureHelpOptions{ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 159 | TriggerCharacters: []string{"(", ","}, |
| 160 | }, |
| 161 | TextDocumentSync: &protocol.TextDocumentSyncOptions{ |
| 162 | Change: protocol.Incremental, |
| 163 | OpenClose: true, |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 164 | Save: &protocol.SaveOptions{ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 165 | IncludeText: false, |
| 166 | }, |
| 167 | }, |
Peter Weinberger | f291bf8 | 2023-11-11 08:38:32 -0500 | [diff] [blame] | 168 | Workspace: &protocol.WorkspaceOptions{ |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 169 | WorkspaceFolders: &protocol.WorkspaceFolders5Gn{ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 170 | Supported: true, |
| 171 | ChangeNotifications: "workspace/didChangeWorkspaceFolders", |
| 172 | }, |
| 173 | }, |
| 174 | }, |
Peter Weinberger | f291bf8 | 2023-11-11 08:38:32 -0500 | [diff] [blame] | 175 | ServerInfo: &protocol.ServerInfo{ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 176 | Name: "gopls", |
| 177 | Version: string(goplsVersion), |
| 178 | }, |
| 179 | }, nil |
| 180 | } |
| 181 | |
Alan Donovan | 2529481 | 2023-11-19 13:24:36 -0500 | [diff] [blame] | 182 | func (s *server) Initialized(ctx context.Context, params *protocol.InitializedParams) error { |
Robert Findley | f796361 | 2023-03-28 21:34:10 -0400 | [diff] [blame] | 183 | ctx, done := event.Start(ctx, "lsp.Server.initialized") |
| 184 | defer done() |
| 185 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 186 | s.stateMu.Lock() |
| 187 | if s.state >= serverInitialized { |
| 188 | defer s.stateMu.Unlock() |
| 189 | return fmt.Errorf("%w: initialized called while server in %v state", jsonrpc2.ErrInvalidRequest, s.state) |
| 190 | } |
| 191 | s.state = serverInitialized |
| 192 | s.stateMu.Unlock() |
| 193 | |
| 194 | for _, not := range s.notifications { |
| 195 | s.client.ShowMessage(ctx, not) |
| 196 | } |
| 197 | s.notifications = nil |
| 198 | |
Alan Donovan | 73e70de | 2023-11-09 13:07:56 -0500 | [diff] [blame] | 199 | s.addFolders(ctx, s.pendingFolders) |
| 200 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 201 | s.pendingFolders = nil |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 202 | s.checkViewGoVersions() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 203 | |
| 204 | var registrations []protocol.Registration |
Rob Findley | fda3fe3 | 2023-10-09 09:33:23 -0400 | [diff] [blame] | 205 | options := s.Options() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 206 | if options.ConfigurationSupported && options.DynamicConfigurationSupported { |
| 207 | registrations = append(registrations, protocol.Registration{ |
| 208 | ID: "workspace/didChangeConfiguration", |
| 209 | Method: "workspace/didChangeConfiguration", |
| 210 | }) |
| 211 | } |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 212 | if len(registrations) > 0 { |
| 213 | if err := s.client.RegisterCapability(ctx, &protocol.RegistrationParams{ |
| 214 | Registrations: registrations, |
| 215 | }); err != nil { |
| 216 | return err |
| 217 | } |
| 218 | } |
Rob Findley | a3c6fd8 | 2023-09-12 13:08:54 -0400 | [diff] [blame] | 219 | |
| 220 | // Ask (maybe) about enabling telemetry. Do this asynchronously, as it's OK |
| 221 | // for users to ignore or dismiss the question. |
Hana (Hyang-Ah) Kim | 64beb95 | 2023-09-22 09:19:20 -0400 | [diff] [blame] | 222 | go s.maybePromptForTelemetry(ctx, options.TelemetryPrompt) |
Rob Findley | a3c6fd8 | 2023-09-12 13:08:54 -0400 | [diff] [blame] | 223 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 224 | return nil |
| 225 | } |
| 226 | |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 227 | // checkViewGoVersions checks whether any Go version used by a view is too old, |
| 228 | // raising a showMessage notification if so. |
| 229 | // |
| 230 | // It should be called after views change. |
Alan Donovan | 7954689 | 2023-11-13 16:59:44 -0500 | [diff] [blame] | 231 | func (s *server) checkViewGoVersions() { |
Rob Findley | 5ff5cbb | 2023-05-22 13:24:35 -0400 | [diff] [blame] | 232 | oldestVersion, fromBuild := go1Point(), true |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 233 | for _, view := range s.session.Views() { |
| 234 | viewVersion := view.GoVersion() |
| 235 | if oldestVersion == -1 || viewVersion < oldestVersion { |
Rob Findley | 5ff5cbb | 2023-05-22 13:24:35 -0400 | [diff] [blame] | 236 | oldestVersion, fromBuild = viewVersion, false |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 237 | } |
Alan Donovan | 283fce2 | 2024-02-27 12:32:21 -0500 | [diff] [blame] | 238 | if viewVersion >= 0 { |
| 239 | counter.Inc(fmt.Sprintf("gopls/goversion:1.%d", viewVersion)) |
| 240 | } |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 241 | } |
| 242 | |
Alan Donovan | cae49bd | 2023-11-13 18:08:16 -0500 | [diff] [blame] | 243 | if msg, isError := goversion.Message(oldestVersion, fromBuild); msg != "" { |
| 244 | mType := protocol.Warning |
| 245 | if isError { |
| 246 | mType = protocol.Error |
| 247 | } |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 248 | s.eventuallyShowMessage(context.Background(), &protocol.ShowMessageParams{ |
Robert Findley | 42cb7be | 2022-10-26 18:57:08 -0400 | [diff] [blame] | 249 | Type: mType, |
Robert Findley | 20c1ee7 | 2022-09-28 13:10:58 -0400 | [diff] [blame] | 250 | Message: msg, |
| 251 | }) |
| 252 | } |
| 253 | } |
| 254 | |
Rob Findley | 5ff5cbb | 2023-05-22 13:24:35 -0400 | [diff] [blame] | 255 | // go1Point returns the x in Go 1.x. If an error occurs extracting the go |
| 256 | // version, it returns -1. |
| 257 | // |
| 258 | // Copied from the testenv package. |
| 259 | func go1Point() int { |
| 260 | for i := len(build.Default.ReleaseTags) - 1; i >= 0; i-- { |
| 261 | var version int |
| 262 | if _, err := fmt.Sscanf(build.Default.ReleaseTags[i], "go1.%d", &version); err != nil { |
| 263 | continue |
| 264 | } |
| 265 | return version |
| 266 | } |
| 267 | return -1 |
| 268 | } |
| 269 | |
Alan Donovan | 73e70de | 2023-11-09 13:07:56 -0500 | [diff] [blame] | 270 | // addFolders adds the specified list of "folders" (that's Windows for |
| 271 | // directories) to the session. It does not return an error, though it |
| 272 | // may report an error to the client over LSP if one or more folders |
Hana (Hyang-Ah) Kim | 9795fac | 2024-05-07 09:06:19 -0400 | [diff] [blame] | 273 | // had problems, for example, folders with unsupported file system. |
Alan Donovan | 73e70de | 2023-11-09 13:07:56 -0500 | [diff] [blame] | 274 | func (s *server) addFolders(ctx context.Context, folders []protocol.WorkspaceFolder) { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 275 | originalViews := len(s.session.Views()) |
Alan Donovan | c04fbc0 | 2023-11-28 12:50:06 -0500 | [diff] [blame] | 276 | viewErrors := make(map[protocol.URI]error) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 277 | |
Hana (Hyang-Ah) Kim | 9795fac | 2024-05-07 09:06:19 -0400 | [diff] [blame] | 278 | // Skip non-'file' scheme, or invalid workspace folders, |
| 279 | // and log them form error reports. |
| 280 | // VS Code's file system API |
| 281 | // (https://code.visualstudio.com/api/references/vscode-api#FileSystem) |
| 282 | // allows extension to define their own schemes and register |
| 283 | // them with the workspace. We've seen gitlens://, decompileFs://, etc |
| 284 | // but the list can grow over time. |
| 285 | var filtered []protocol.WorkspaceFolder |
| 286 | for _, f := range folders { |
| 287 | if _, err := protocol.ParseDocumentURI(f.URI); err != nil { |
| 288 | debuglog.Warning.Logf(ctx, "skip adding virtual folder %q - invalid folder URI: %v", f.Name, err) |
| 289 | continue |
| 290 | } |
| 291 | filtered = append(filtered, f) |
| 292 | } |
| 293 | folders = filtered |
| 294 | |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 295 | var ndiagnose sync.WaitGroup // number of unfinished diagnose calls |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 296 | if s.Options().VerboseWorkDoneProgress { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 297 | work := s.progress.Start(ctx, DiagnosticWorkTitle(FromInitialWorkspaceLoad), "Calculating diagnostics for initial workspace load...", nil, nil) |
| 298 | defer func() { |
| 299 | go func() { |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 300 | ndiagnose.Wait() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 301 | work.End(ctx, "Done.") |
| 302 | }() |
| 303 | }() |
| 304 | } |
| 305 | // Only one view gets to have a workspace. |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 306 | var nsnapshots sync.WaitGroup // number of unfinished snapshot initializations |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 307 | for _, folder := range folders { |
Alan Donovan | eee280c | 2023-11-18 14:43:57 -0500 | [diff] [blame] | 308 | uri, err := protocol.ParseDocumentURI(folder.URI) |
| 309 | if err != nil { |
Alan Donovan | c04fbc0 | 2023-11-28 12:50:06 -0500 | [diff] [blame] | 310 | viewErrors[folder.URI] = fmt.Errorf("invalid folder URI: %v", err) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 311 | continue |
| 312 | } |
| 313 | work := s.progress.Start(ctx, "Setting up workspace", "Loading packages...", nil, nil) |
| 314 | snapshot, release, err := s.addView(ctx, folder.Name, uri) |
| 315 | if err != nil { |
Rob Findley | e7d61d9 | 2023-11-20 15:54:11 -0500 | [diff] [blame] | 316 | if err == cache.ErrViewExists { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 317 | continue |
| 318 | } |
Alan Donovan | c04fbc0 | 2023-11-28 12:50:06 -0500 | [diff] [blame] | 319 | viewErrors[folder.URI] = err |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 320 | work.End(ctx, fmt.Sprintf("Error loading packages: %s", err)) |
| 321 | continue |
| 322 | } |
| 323 | // Inv: release() must be called once. |
| 324 | |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 325 | // Initialize snapshot asynchronously. |
| 326 | initialized := make(chan struct{}) |
| 327 | nsnapshots.Add(1) |
| 328 | go func() { |
| 329 | snapshot.AwaitInitialized(ctx) |
| 330 | work.End(ctx, "Finished loading packages.") |
| 331 | nsnapshots.Done() |
| 332 | close(initialized) // signal |
| 333 | }() |
| 334 | |
| 335 | // Diagnose the newly created view asynchronously. |
| 336 | ndiagnose.Add(1) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 337 | go func() { |
Robert Findley | 79df971 | 2024-04-09 14:07:32 -0400 | [diff] [blame] | 338 | s.diagnoseSnapshot(snapshot.BackgroundContext(), snapshot, nil, 0) |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 339 | <-initialized |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 340 | release() |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 341 | ndiagnose.Done() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 342 | }() |
| 343 | } |
| 344 | |
Alan Donovan | 32e1cb7 | 2022-10-27 12:24:51 -0400 | [diff] [blame] | 345 | // Wait for snapshots to be initialized so that all files are known. |
| 346 | // (We don't need to wait for diagnosis to finish.) |
| 347 | nsnapshots.Wait() |
| 348 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 349 | // Register for file watching notifications, if they are supported. |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 350 | if err := s.updateWatchedDirectories(ctx); err != nil { |
| 351 | event.Error(ctx, "failed to register for file watching notifications", err) |
| 352 | } |
| 353 | |
Alan Donovan | 73e70de | 2023-11-09 13:07:56 -0500 | [diff] [blame] | 354 | // Report any errors using the protocol. |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 355 | if len(viewErrors) > 0 { |
| 356 | errMsg := fmt.Sprintf("Error loading workspace folders (expected %v, got %v)\n", len(folders), len(s.session.Views())-originalViews) |
| 357 | for uri, err := range viewErrors { |
| 358 | errMsg += fmt.Sprintf("failed to load view for %s: %v\n", uri, err) |
| 359 | } |
Alan Donovan | 73e70de | 2023-11-09 13:07:56 -0500 | [diff] [blame] | 360 | showMessage(ctx, s.client, protocol.Error, errMsg) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 361 | } |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 362 | } |
| 363 | |
| 364 | // updateWatchedDirectories compares the current set of directories to watch |
| 365 | // with the previously registered set of directories. If the set of directories |
| 366 | // has changed, we unregister and re-register for file watching notifications. |
| 367 | // updatedSnapshots is the set of snapshots that have been updated. |
Alan Donovan | 7954689 | 2023-11-13 16:59:44 -0500 | [diff] [blame] | 368 | func (s *server) updateWatchedDirectories(ctx context.Context) error { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 369 | patterns := s.session.FileWatchingGlobPatterns(ctx) |
| 370 | |
| 371 | s.watchedGlobPatternsMu.Lock() |
| 372 | defer s.watchedGlobPatternsMu.Unlock() |
| 373 | |
| 374 | // Nothing to do if the set of workspace directories is unchanged. |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 375 | if maps.SameKeys(s.watchedGlobPatterns, patterns) { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 376 | return nil |
| 377 | } |
| 378 | |
| 379 | // If the set of directories to watch has changed, register the updates and |
| 380 | // unregister the previously watched directories. This ordering avoids a |
| 381 | // period where no files are being watched. Still, if a user makes on-disk |
| 382 | // changes before these updates are complete, we may miss them for the new |
| 383 | // directories. |
| 384 | prevID := s.watchRegistrationCount - 1 |
| 385 | if err := s.registerWatchedDirectoriesLocked(ctx, patterns); err != nil { |
| 386 | return err |
| 387 | } |
| 388 | if prevID >= 0 { |
| 389 | return s.client.UnregisterCapability(ctx, &protocol.UnregistrationParams{ |
| 390 | Unregisterations: []protocol.Unregistration{{ |
| 391 | ID: watchedFilesCapabilityID(prevID), |
| 392 | Method: "workspace/didChangeWatchedFiles", |
| 393 | }}, |
| 394 | }) |
| 395 | } |
| 396 | return nil |
| 397 | } |
| 398 | |
| 399 | func watchedFilesCapabilityID(id int) string { |
| 400 | return fmt.Sprintf("workspace/didChangeWatchedFiles-%d", id) |
| 401 | } |
| 402 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 403 | // registerWatchedDirectoriesLocked sends the workspace/didChangeWatchedFiles |
| 404 | // registrations to the client and updates s.watchedDirectories. |
Alan Donovan | 2ec4299 | 2023-05-18 13:45:43 -0400 | [diff] [blame] | 405 | // The caller must not subsequently mutate patterns. |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 406 | func (s *server) registerWatchedDirectoriesLocked(ctx context.Context, patterns map[protocol.RelativePattern]unit) error { |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 407 | if !s.Options().DynamicWatchedFilesSupported { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 408 | return nil |
| 409 | } |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 410 | |
| 411 | supportsRelativePatterns := s.Options().RelativePatternsSupported |
| 412 | |
Alan Donovan | 2ec4299 | 2023-05-18 13:45:43 -0400 | [diff] [blame] | 413 | s.watchedGlobPatterns = patterns |
| 414 | watchers := make([]protocol.FileSystemWatcher, 0, len(patterns)) // must be a slice |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 415 | val := protocol.WatchChange | protocol.WatchDelete | protocol.WatchCreate |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 416 | for pattern := range patterns { |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 417 | var value any |
| 418 | if supportsRelativePatterns && pattern.BaseURI != "" { |
| 419 | value = pattern |
| 420 | } else { |
| 421 | p := pattern.Pattern |
| 422 | if pattern.BaseURI != "" { |
| 423 | p = path.Join(filepath.ToSlash(pattern.BaseURI.Path()), p) |
| 424 | } |
| 425 | value = p |
| 426 | } |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 427 | watchers = append(watchers, protocol.FileSystemWatcher{ |
Rob Findley | eed1997 | 2024-01-22 21:18:15 -0500 | [diff] [blame] | 428 | GlobPattern: protocol.GlobPattern{Value: value}, |
Peter Weinberger | 4942052 | 2023-03-01 14:46:20 -0500 | [diff] [blame] | 429 | Kind: &val, |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 430 | }) |
| 431 | } |
| 432 | |
| 433 | if err := s.client.RegisterCapability(ctx, &protocol.RegistrationParams{ |
| 434 | Registrations: []protocol.Registration{{ |
| 435 | ID: watchedFilesCapabilityID(s.watchRegistrationCount), |
| 436 | Method: "workspace/didChangeWatchedFiles", |
| 437 | RegisterOptions: protocol.DidChangeWatchedFilesRegistrationOptions{ |
| 438 | Watchers: watchers, |
| 439 | }, |
| 440 | }}, |
| 441 | }); err != nil { |
| 442 | return err |
| 443 | } |
| 444 | s.watchRegistrationCount++ |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 445 | return nil |
| 446 | } |
| 447 | |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 448 | // Options returns the current server options. |
| 449 | // |
| 450 | // The caller must not modify the result. |
Rob Findley | 42d9779 | 2023-11-17 17:45:31 -0500 | [diff] [blame] | 451 | func (s *server) Options() *settings.Options { |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 452 | s.optionsMu.Lock() |
| 453 | defer s.optionsMu.Unlock() |
| 454 | return s.options |
| 455 | } |
| 456 | |
| 457 | // SetOptions sets the current server options. |
| 458 | // |
| 459 | // The caller must not subsequently modify the options. |
Rob Findley | 42d9779 | 2023-11-17 17:45:31 -0500 | [diff] [blame] | 460 | func (s *server) SetOptions(opts *settings.Options) { |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 461 | s.optionsMu.Lock() |
| 462 | defer s.optionsMu.Unlock() |
| 463 | s.options = opts |
| 464 | } |
| 465 | |
Robert Findley | e388fff | 2024-04-11 13:39:34 -0400 | [diff] [blame] | 466 | func (s *server) newFolder(ctx context.Context, folder protocol.DocumentURI, name string, opts *settings.Options) (*cache.Folder, error) { |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 467 | env, err := cache.FetchGoEnv(ctx, folder, opts) |
| 468 | if err != nil { |
| 469 | return nil, err |
| 470 | } |
Rob Findley | fcf5463 | 2024-06-28 15:49:12 +0000 | [diff] [blame] | 471 | |
| 472 | // Increment folder counters. |
| 473 | switch { |
| 474 | case env.GOTOOLCHAIN == "auto" || strings.Contains(env.GOTOOLCHAIN, "+auto"): |
| 475 | counter.New("gopls/gotoolchain:auto").Inc() |
| 476 | case env.GOTOOLCHAIN == "path" || strings.Contains(env.GOTOOLCHAIN, "+path"): |
| 477 | counter.New("gopls/gotoolchain:path").Inc() |
| 478 | case env.GOTOOLCHAIN == "local": // local+auto and local+path handled above |
| 479 | counter.New("gopls/gotoolchain:local").Inc() |
| 480 | default: |
| 481 | counter.New("gopls/gotoolchain:other").Inc() |
| 482 | } |
| 483 | |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 484 | return &cache.Folder{ |
| 485 | Dir: folder, |
| 486 | Name: name, |
| 487 | Options: opts, |
Robert Findley | e388fff | 2024-04-11 13:39:34 -0400 | [diff] [blame] | 488 | Env: *env, |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 489 | }, nil |
| 490 | } |
| 491 | |
Robert Findley | c5643e9 | 2024-02-12 12:43:03 -0500 | [diff] [blame] | 492 | // fetchFolderOptions makes a workspace/configuration request for the given |
| 493 | // folder, and populates options with the result. |
| 494 | // |
| 495 | // If folder is "", fetchFolderOptions makes an unscoped request. |
Rob Findley | 42d9779 | 2023-11-17 17:45:31 -0500 | [diff] [blame] | 496 | func (s *server) fetchFolderOptions(ctx context.Context, folder protocol.DocumentURI) (*settings.Options, error) { |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 497 | opts := s.Options() |
| 498 | if !opts.ConfigurationSupported { |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 499 | return opts, nil |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 500 | } |
Robert Findley | c5643e9 | 2024-02-12 12:43:03 -0500 | [diff] [blame] | 501 | var scopeURI *string |
| 502 | if folder != "" { |
| 503 | scope := string(folder) |
| 504 | scopeURI = &scope |
| 505 | } |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 506 | configs, err := s.client.Configuration(ctx, &protocol.ParamConfiguration{ |
Peter Weinberger | 9250e22 | 2022-08-16 11:12:59 -0400 | [diff] [blame] | 507 | Items: []protocol.ConfigurationItem{{ |
Robert Findley | c5643e9 | 2024-02-12 12:43:03 -0500 | [diff] [blame] | 508 | ScopeURI: scopeURI, |
Peter Weinberger | 9250e22 | 2022-08-16 11:12:59 -0400 | [diff] [blame] | 509 | Section: "gopls", |
| 510 | }}, |
| 511 | }, |
| 512 | ) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 513 | if err != nil { |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 514 | return nil, fmt.Errorf("failed to get workspace configuration from client (%s): %v", folder, err) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 515 | } |
Rob Findley | fb4bd11 | 2023-09-06 15:44:41 -0400 | [diff] [blame] | 516 | |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 517 | opts = opts.Clone() |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 518 | for _, config := range configs { |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 519 | s.handleOptionErrors(ctx, opts.Set(config)) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 520 | } |
Rob Findley | 025ebe6 | 2023-12-21 17:26:48 -0500 | [diff] [blame] | 521 | return opts, nil |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 522 | } |
| 523 | |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 524 | func (s *server) eventuallyShowMessage(ctx context.Context, msg *protocol.ShowMessageParams) { |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 525 | s.stateMu.Lock() |
| 526 | defer s.stateMu.Unlock() |
| 527 | if s.state == serverInitialized { |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 528 | _ = s.client.ShowMessage(ctx, msg) // ignore error |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 529 | } |
| 530 | s.notifications = append(s.notifications, msg) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 531 | } |
| 532 | |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 533 | func (s *server) handleOptionErrors(ctx context.Context, optionErrors []error) { |
| 534 | var warnings, errs []string |
| 535 | for _, err := range optionErrors { |
| 536 | if err == nil { |
| 537 | panic("nil error passed to handleOptionErrors") |
| 538 | } |
| 539 | if errors.Is(err, new(settings.SoftError)) { |
| 540 | warnings = append(warnings, err.Error()) |
| 541 | } else { |
| 542 | errs = append(errs, err.Error()) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 543 | } |
| 544 | } |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 545 | |
| 546 | // Sort messages, but put errors first. |
| 547 | // |
| 548 | // Having stable content for the message allows clients to de-duplicate. This |
| 549 | // matters because we may send duplicate warnings for clients that support |
| 550 | // dynamic configuration: one for the initial settings, and then more for the |
Rob Findley | 42d9779 | 2023-11-17 17:45:31 -0500 | [diff] [blame] | 551 | // individual viewsettings. |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 552 | var msgs []string |
| 553 | msgType := protocol.Warning |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 554 | if len(errs) > 0 { |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 555 | msgType = protocol.Error |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 556 | sort.Strings(errs) |
| 557 | msgs = append(msgs, errs...) |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 558 | } |
| 559 | if len(warnings) > 0 { |
| 560 | sort.Strings(warnings) |
| 561 | msgs = append(msgs, warnings...) |
| 562 | } |
| 563 | |
| 564 | if len(msgs) > 0 { |
| 565 | // Settings |
| 566 | combined := "Invalid settings: " + strings.Join(msgs, "; ") |
| 567 | params := &protocol.ShowMessageParams{ |
| 568 | Type: msgType, |
| 569 | Message: combined, |
| 570 | } |
Alan Donovan | 693d7fe | 2024-06-16 16:21:21 -0400 | [diff] [blame] | 571 | s.eventuallyShowMessage(ctx, params) |
Robert Findley | 89b4335 | 2022-10-07 13:43:27 -0400 | [diff] [blame] | 572 | } |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 573 | } |
| 574 | |
Alan Donovan | baf6fd2 | 2023-12-21 12:54:46 -0500 | [diff] [blame] | 575 | // fileOf returns the file for a given URI and its snapshot. |
| 576 | // On success, the returned function must be called to release the snapshot. |
| 577 | func (s *server) fileOf(ctx context.Context, uri protocol.DocumentURI) (file.Handle, *cache.Snapshot, func(), error) { |
Rob Findley | 59384bc | 2023-12-18 16:29:41 -0500 | [diff] [blame] | 578 | snapshot, release, err := s.session.SnapshotOf(ctx, uri) |
Robert Findley | c4c6aa6 | 2023-01-19 20:24:55 -0500 | [diff] [blame] | 579 | if err != nil { |
Alan Donovan | baf6fd2 | 2023-12-21 12:54:46 -0500 | [diff] [blame] | 580 | return nil, nil, nil, err |
Robert Findley | c4c6aa6 | 2023-01-19 20:24:55 -0500 | [diff] [blame] | 581 | } |
Alan Donovan | 36ed0b1 | 2023-03-13 14:20:23 -0400 | [diff] [blame] | 582 | fh, err := snapshot.ReadFile(ctx, uri) |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 583 | if err != nil { |
| 584 | release() |
Alan Donovan | baf6fd2 | 2023-12-21 12:54:46 -0500 | [diff] [blame] | 585 | return nil, nil, nil, err |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 586 | } |
Alan Donovan | baf6fd2 | 2023-12-21 12:54:46 -0500 | [diff] [blame] | 587 | return fh, snapshot, release, nil |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 588 | } |
| 589 | |
| 590 | // shutdown implements the 'shutdown' LSP handler. It releases resources |
| 591 | // associated with the server and waits for all ongoing work to complete. |
Alan Donovan | 2529481 | 2023-11-19 13:24:36 -0500 | [diff] [blame] | 592 | func (s *server) Shutdown(ctx context.Context) error { |
Robert Findley | f796361 | 2023-03-28 21:34:10 -0400 | [diff] [blame] | 593 | ctx, done := event.Start(ctx, "lsp.Server.shutdown") |
| 594 | defer done() |
| 595 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 596 | s.stateMu.Lock() |
| 597 | defer s.stateMu.Unlock() |
| 598 | if s.state < serverInitialized { |
| 599 | event.Log(ctx, "server shutdown without initialization") |
| 600 | } |
| 601 | if s.state != serverShutDown { |
Alan Donovan | 8669bfc | 2024-03-11 15:07:06 -0400 | [diff] [blame] | 602 | // Wait for the webserver (if any) to finish. |
| 603 | if s.web != nil { |
| 604 | s.web.server.Shutdown(ctx) |
| 605 | } |
| 606 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 607 | // drop all the active views |
| 608 | s.session.Shutdown(ctx) |
| 609 | s.state = serverShutDown |
| 610 | if s.tempDir != "" { |
| 611 | if err := os.RemoveAll(s.tempDir); err != nil { |
| 612 | event.Error(ctx, "removing temp dir", err) |
| 613 | } |
| 614 | } |
| 615 | } |
| 616 | return nil |
| 617 | } |
| 618 | |
Alan Donovan | 2529481 | 2023-11-19 13:24:36 -0500 | [diff] [blame] | 619 | func (s *server) Exit(ctx context.Context) error { |
Robert Findley | f796361 | 2023-03-28 21:34:10 -0400 | [diff] [blame] | 620 | ctx, done := event.Start(ctx, "lsp.Server.exit") |
| 621 | defer done() |
| 622 | |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 623 | s.stateMu.Lock() |
| 624 | defer s.stateMu.Unlock() |
| 625 | |
| 626 | s.client.Close() |
| 627 | |
| 628 | if s.state != serverShutDown { |
| 629 | // TODO: We should be able to do better than this. |
| 630 | os.Exit(1) |
| 631 | } |
Rob Findley | e286d22 | 2023-04-20 17:21:15 -0400 | [diff] [blame] | 632 | // We don't terminate the process on a normal exit, we just allow it to |
Robert Findley | b15dac2 | 2022-08-30 14:40:12 -0400 | [diff] [blame] | 633 | // close naturally if needed after the connection is closed. |
| 634 | return nil |
| 635 | } |
Alan Donovan | 283fce2 | 2024-02-27 12:32:21 -0500 | [diff] [blame] | 636 | |
| 637 | // recordClientInfo records gopls client info. |
| 638 | func recordClientInfo(clientName string) { |
| 639 | key := "gopls/client:other" |
| 640 | switch clientName { |
| 641 | case "Visual Studio Code": |
| 642 | key = "gopls/client:vscode" |
| 643 | case "Visual Studio Code - Insiders": |
| 644 | key = "gopls/client:vscode-insiders" |
| 645 | case "VSCodium": |
| 646 | key = "gopls/client:vscodium" |
| 647 | case "code-server": |
| 648 | // https://github.com/coder/code-server/blob/3cb92edc76ecc2cfa5809205897d93d4379b16a6/ci/build/build-vscode.sh#L19 |
| 649 | key = "gopls/client:code-server" |
| 650 | case "Eglot": |
| 651 | // https://lists.gnu.org/archive/html/bug-gnu-emacs/2023-03/msg00954.html |
| 652 | key = "gopls/client:eglot" |
| 653 | case "govim": |
| 654 | // https://github.com/govim/govim/pull/1189 |
| 655 | key = "gopls/client:govim" |
| 656 | case "Neovim": |
| 657 | // https://github.com/neovim/neovim/blob/42333ea98dfcd2994ee128a3467dfe68205154cd/runtime/lua/vim/lsp.lua#L1361 |
| 658 | key = "gopls/client:neovim" |
| 659 | case "coc.nvim": |
| 660 | // https://github.com/neoclide/coc.nvim/blob/3dc6153a85ed0f185abec1deb972a66af3fbbfb4/src/language-client/client.ts#L994 |
| 661 | key = "gopls/client:coc.nvim" |
| 662 | case "Sublime Text LSP": |
| 663 | // https://github.com/sublimelsp/LSP/blob/e608f878e7e9dd34aabe4ff0462540fadcd88fcc/plugin/core/sessions.py#L493 |
| 664 | key = "gopls/client:sublimetext" |
| 665 | default: |
| 666 | // Accumulate at least a local counter for an unknown |
| 667 | // client name, but also fall through to count it as |
| 668 | // ":other" for collection. |
| 669 | if clientName != "" { |
| 670 | counter.New(fmt.Sprintf("gopls/client-other:%s", clientName)).Inc() |
| 671 | } |
| 672 | } |
| 673 | counter.Inc(key) |
| 674 | } |