1 //===--- ClangdServer.h - Main clangd server code ----------------*- C++-*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_CLANGDSERVER_H
10 #define LLVM_CLANG_TOOLS_EXTRA_CLANGD_CLANGDSERVER_H
12 #include "CodeComplete.h"
13 #include "ConfigProvider.h"
14 #include "Diagnostics.h"
15 #include "DraftStore.h"
16 #include "FeatureModule.h"
17 #include "GlobalCompilationDatabase.h"
19 #include "ModulesBuilder.h"
21 #include "SemanticHighlighting.h"
22 #include "TUScheduler.h"
24 #include "index/Background.h"
25 #include "index/FileIndex.h"
26 #include "index/Index.h"
27 #include "refactor/Rename.h"
28 #include "refactor/Tweak.h"
29 #include "support/Function.h"
30 #include "support/MemoryTree.h"
31 #include "support/Path.h"
32 #include "support/ThreadsafeFS.h"
33 #include "clang/Tooling/Core/Replacement.h"
34 #include "llvm/ADT/ArrayRef.h"
35 #include "llvm/ADT/FunctionExtras.h"
36 #include "llvm/ADT/StringRef.h"
46 /// Manages a collection of source files and derived data (ASTs, indexes),
47 /// and provides language-aware features such as code completion.
49 /// The primary client is ClangdLSPServer which exposes these features via
50 /// the Language Server protocol. ClangdServer may also be embedded directly,
51 /// though its API is not stable over time.
53 /// ClangdServer should be used from a single thread. Many potentially-slow
54 /// operations have asynchronous APIs and deliver their results on another
56 /// Such operations support cancellation: if the caller sets up a cancelable
57 /// context, many operations will notice cancellation and fail early.
58 /// (ClangdLSPServer uses this to implement $/cancelRequest).
61 /// Interface with hooks for users of ClangdServer to be notified of events.
64 virtual ~Callbacks() = default;
66 /// Called by ClangdServer when \p Diagnostics for \p File are ready.
67 /// These pushed diagnostics might correspond to an older version of the
68 /// file, they do not interfere with "pull-based" ClangdServer::diagnostics.
69 /// May be called concurrently for separate files, not for a single file.
70 virtual void onDiagnosticsReady(PathRef File
, llvm::StringRef Version
,
71 llvm::ArrayRef
<Diag
> Diagnostics
) {}
72 /// Called whenever the file status is updated.
73 /// May be called concurrently for separate files, not for a single file.
74 virtual void onFileUpdated(PathRef File
, const TUStatus
&Status
) {}
76 /// Called when background indexing tasks are enqueued/started/completed.
77 /// Not called concurrently.
79 onBackgroundIndexProgress(const BackgroundQueue::Stats
&Stats
) {}
81 /// Called when the meaning of a source code may have changed without an
82 /// edit. Usually clients assume that responses to requests are valid until
83 /// they next edit the file. If they're invalidated at other times, we
84 /// should tell the client. In particular, when an asynchronous preamble
85 /// build finishes, we can provide more accurate semantic tokens, so we
86 /// should tell the client to refresh.
87 virtual void onSemanticsMaybeChanged(PathRef File
) {}
89 /// Called by ClangdServer when some \p InactiveRegions for \p File are
91 virtual void onInactiveRegionsReady(PathRef File
,
92 std::vector
<Range
> InactiveRegions
) {}
94 /// Creates a context provider that loads and installs config.
95 /// Errors in loading config are reported as diagnostics via Callbacks.
96 /// (This is typically used as ClangdServer::Options::ContextProvider).
97 static std::function
<Context(PathRef
)>
98 createConfiguredContextProvider(const config::Provider
*Provider
,
99 ClangdServer::Callbacks
*);
102 /// To process requests asynchronously, ClangdServer spawns worker threads.
103 /// If this is zero, no threads are spawned. All work is done on the calling
104 /// thread, and callbacks are invoked before "async" functions return.
105 unsigned AsyncThreadsCount
= getDefaultAsyncThreadsCount();
107 /// AST caching policy. The default is to keep up to 3 ASTs in memory.
108 ASTRetentionPolicy RetentionPolicy
;
110 /// Cached preambles are potentially large. If false, store them on disk.
111 bool StorePreamblesInMemory
= true;
113 /// This throttler controls which preambles may be built at a given time.
114 clangd::PreambleThrottler
*PreambleThrottler
= nullptr;
116 /// Manages to build module files.
117 ModulesBuilder
*ModulesManager
= nullptr;
119 /// If true, ClangdServer builds a dynamic in-memory index for symbols in
120 /// opened files and uses the index to augment code completion results.
121 bool BuildDynamicSymbolIndex
= false;
122 /// If true, ClangdServer automatically indexes files in the current project
123 /// on background threads. The index is stored in the project root.
124 bool BackgroundIndex
= false;
125 llvm::ThreadPriority BackgroundIndexPriority
= llvm::ThreadPriority::Low
;
127 /// If set, use this index to augment code completion results.
128 SymbolIndex
*StaticIndex
= nullptr;
130 /// If set, queried to derive a processing context for some work.
131 /// Usually used to inject Config (see createConfiguredContextProvider).
133 /// When the provider is called, the active context will be that inherited
134 /// from the request (e.g. addDocument()), or from the ClangdServer
135 /// constructor if there is no such request (e.g. background indexing).
137 /// The path is an absolute path of the file being processed.
138 /// If there is no particular file (e.g. project loading) then it is empty.
139 std::function
<Context(PathRef
)> ContextProvider
;
141 /// The Options provider to use when running clang-tidy. If null, clang-tidy
142 /// checks will be disabled.
143 TidyProviderRef ClangTidyProvider
;
145 /// Clangd's workspace root. Relevant for "workspace" operations not bound
146 /// to a particular file.
147 /// FIXME: If not set, should use the current working directory.
148 std::optional
<std::string
> WorkspaceRoot
;
150 /// The resource directory is used to find internal headers, overriding
151 /// defaults and -resource-dir compiler flag).
152 /// If std::nullopt, ClangdServer calls
153 /// CompilerInvocation::GetResourcePath() to obtain the standard resource
155 std::optional
<std::string
> ResourceDir
;
157 /// Time to wait after a new file version before computing diagnostics.
158 DebouncePolicy UpdateDebounce
= DebouncePolicy
{
159 /*Min=*/std::chrono::milliseconds(50),
160 /*Max=*/std::chrono::milliseconds(500),
164 /// Cancel certain requests if the file changes before they begin running.
165 /// This is useful for "transient" actions like enumerateTweaks that were
166 /// likely implicitly generated, and avoids redundant work if clients forget
167 /// to cancel. Clients that always cancel stale requests should clear this.
168 bool ImplicitCancellation
= true;
170 /// Clangd will execute compiler drivers matching one of these globs to
171 /// fetch system include path.
172 std::vector
<std::string
> QueryDriverGlobs
;
174 // Whether the client supports folding only complete lines.
175 bool LineFoldingOnly
= false;
177 FeatureModuleSet
*FeatureModules
= nullptr;
178 /// If true, use the dirty buffer contents when building Preambles.
179 bool UseDirtyHeaders
= false;
181 // If true, parse emplace-like functions in the preamble.
182 bool PreambleParseForwardingFunctions
= false;
184 /// Whether include fixer insertions for Objective-C code should use #import
185 /// instead of #include.
186 bool ImportInsertions
= false;
188 /// Whether to collect and publish information about inactive preprocessor
189 /// regions in the document.
190 bool PublishInactiveRegions
= false;
192 explicit operator TUScheduler::Options() const;
194 // Sensible default options for use in tests.
195 // Features like indexing must be enabled if desired.
196 static Options
optsForTest();
198 /// Creates a new ClangdServer instance.
200 /// ClangdServer uses \p CDB to obtain compilation arguments for parsing. Note
201 /// that ClangdServer only obtains compilation arguments once for each newly
202 /// added file (i.e., when processing a first call to addDocument) and reuses
203 /// those arguments for subsequent reparses. However, ClangdServer will check
204 /// if compilation arguments changed on calls to forceReparse().
205 ClangdServer(const GlobalCompilationDatabase
&CDB
, const ThreadsafeFS
&TFS
,
206 const Options
&Opts
, Callbacks
*Callbacks
= nullptr);
209 /// Gets the installed feature module of a given type, if any.
210 /// This exposes access the public interface of feature modules that have one.
211 template <typename Mod
> Mod
*featureModule() {
212 return FeatureModules
? FeatureModules
->get
<Mod
>() : nullptr;
214 template <typename Mod
> const Mod
*featureModule() const {
215 return FeatureModules
? FeatureModules
->get
<Mod
>() : nullptr;
218 /// Add a \p File to the list of tracked C++ files or update the contents if
219 /// \p File is already tracked. Also schedules parsing of the AST for it on a
220 /// separate thread. When the parsing is complete, DiagConsumer passed in
221 /// constructor will receive onDiagnosticsReady callback.
222 /// Version identifies this snapshot and is propagated to ASTs, preambles,
223 /// diagnostics etc built from it. If empty, a version number is generated.
224 void addDocument(PathRef File
, StringRef Contents
,
225 llvm::StringRef Version
= "null",
226 WantDiagnostics WD
= WantDiagnostics::Auto
,
227 bool ForceRebuild
= false);
229 /// Remove \p File from list of tracked files, schedule a request to free
230 /// resources associated with it. Pending diagnostics for closed files may not
231 /// be delivered, even if requested with WantDiags::Auto or WantDiags::Yes.
232 /// An empty set of diagnostics will be delivered, with Version = "".
233 void removeDocument(PathRef File
);
235 /// Requests a reparse of currently opened files using their latest source.
236 /// This will typically only rebuild if something other than the source has
237 /// changed (e.g. the CDB yields different flags, or files included in the
238 /// preamble have been modified).
239 void reparseOpenFilesIfNeeded(
240 llvm::function_ref
<bool(llvm::StringRef File
)> Filter
);
242 /// Run code completion for \p File at \p Pos.
244 /// This method should only be called for currently tracked files.
245 void codeComplete(PathRef File
, Position Pos
,
246 const clangd::CodeCompleteOptions
&Opts
,
247 Callback
<CodeCompleteResult
> CB
);
249 /// Provide signature help for \p File at \p Pos. This method should only be
250 /// called for tracked files.
251 void signatureHelp(PathRef File
, Position Pos
, MarkupKind DocumentationFormat
,
252 Callback
<SignatureHelp
> CB
);
254 /// Find declaration/definition locations of symbol at a specified position.
255 void locateSymbolAt(PathRef File
, Position Pos
,
256 Callback
<std::vector
<LocatedSymbol
>> CB
);
258 /// Switch to a corresponding source file when given a header file, and vice
260 void switchSourceHeader(PathRef Path
,
261 Callback
<std::optional
<clangd::Path
>> CB
);
263 /// Get document highlights for a given position.
264 void findDocumentHighlights(PathRef File
, Position Pos
,
265 Callback
<std::vector
<DocumentHighlight
>> CB
);
267 /// Get code hover for a given position.
268 void findHover(PathRef File
, Position Pos
,
269 Callback
<std::optional
<HoverInfo
>> CB
);
271 /// Get information about type hierarchy for a given position.
272 void typeHierarchy(PathRef File
, Position Pos
, int Resolve
,
273 TypeHierarchyDirection Direction
,
274 Callback
<std::vector
<TypeHierarchyItem
>> CB
);
275 /// Get direct parents of a type hierarchy item.
276 void superTypes(const TypeHierarchyItem
&Item
,
277 Callback
<std::optional
<std::vector
<TypeHierarchyItem
>>> CB
);
278 /// Get direct children of a type hierarchy item.
279 void subTypes(const TypeHierarchyItem
&Item
,
280 Callback
<std::vector
<TypeHierarchyItem
>> CB
);
282 /// Resolve type hierarchy item in the given direction.
283 void resolveTypeHierarchy(TypeHierarchyItem Item
, int Resolve
,
284 TypeHierarchyDirection Direction
,
285 Callback
<std::optional
<TypeHierarchyItem
>> CB
);
287 /// Get information about call hierarchy for a given position.
288 void prepareCallHierarchy(PathRef File
, Position Pos
,
289 Callback
<std::vector
<CallHierarchyItem
>> CB
);
291 /// Resolve incoming calls for a given call hierarchy item.
292 void incomingCalls(const CallHierarchyItem
&Item
,
293 Callback
<std::vector
<CallHierarchyIncomingCall
>>);
295 /// Resolve inlay hints for a given document.
296 void inlayHints(PathRef File
, std::optional
<Range
> RestrictRange
,
297 Callback
<std::vector
<InlayHint
>>);
299 /// Retrieve the top symbols from the workspace matching a query.
300 void workspaceSymbols(StringRef Query
, int Limit
,
301 Callback
<std::vector
<SymbolInformation
>> CB
);
303 /// Retrieve the symbols within the specified file.
304 void documentSymbols(StringRef File
,
305 Callback
<std::vector
<DocumentSymbol
>> CB
);
307 /// Retrieve ranges that can be used to fold code within the specified file.
308 void foldingRanges(StringRef File
, Callback
<std::vector
<FoldingRange
>> CB
);
310 /// Retrieve implementations for virtual method.
311 void findImplementations(PathRef File
, Position Pos
,
312 Callback
<std::vector
<LocatedSymbol
>> CB
);
314 /// Retrieve symbols for types referenced at \p Pos.
315 void findType(PathRef File
, Position Pos
,
316 Callback
<std::vector
<LocatedSymbol
>> CB
);
318 /// Retrieve locations for symbol references.
319 void findReferences(PathRef File
, Position Pos
, uint32_t Limit
,
320 bool AddContainer
, Callback
<ReferencesResult
> CB
);
322 /// Run formatting for the \p File with content \p Code.
323 /// If \p Rng is non-null, formats only that region.
324 void formatFile(PathRef File
, std::optional
<Range
> Rng
,
325 Callback
<tooling::Replacements
> CB
);
327 /// Run formatting after \p TriggerText was typed at \p Pos in \p File with
329 void formatOnType(PathRef File
, Position Pos
, StringRef TriggerText
,
330 Callback
<std::vector
<TextEdit
>> CB
);
332 /// Test the validity of a rename operation.
334 /// If NewName is provided, it performs a name validation.
335 void prepareRename(PathRef File
, Position Pos
,
336 std::optional
<std::string
> NewName
,
337 const RenameOptions
&RenameOpts
,
338 Callback
<RenameResult
> CB
);
340 /// Rename all occurrences of the symbol at the \p Pos in \p File to
342 /// If WantFormat is false, the final TextEdit will be not formatted,
343 /// embedders could use this method to get all occurrences of the symbol (e.g.
344 /// highlighting them in prepare stage).
345 void rename(PathRef File
, Position Pos
, llvm::StringRef NewName
,
346 const RenameOptions
&Opts
, Callback
<RenameResult
> CB
);
349 std::string ID
; /// ID to pass for applyTweak.
350 std::string Title
; /// A single-line message to show in the UI.
351 llvm::StringLiteral Kind
;
354 // Ref to the clangd::Diag.
358 bool operator==(const DiagRef
&Other
) const {
359 return std::tie(Range
, Message
) == std::tie(Other
.Range
, Other
.Message
);
361 bool operator<(const DiagRef
&Other
) const {
362 return std::tie(Range
, Message
) < std::tie(Other
.Range
, Other
.Message
);
366 struct CodeActionInputs
{
370 /// Requested kind of actions to return.
371 std::vector
<std::string
> RequestedActionKinds
;
373 /// Diagnostics attached to the code action request.
374 std::vector
<DiagRef
> Diagnostics
;
376 /// Tweaks where Filter returns false will not be checked or included.
377 std::function
<bool(const Tweak
&)> TweakFilter
;
379 struct CodeActionResult
{
385 std::vector
<QuickFix
> QuickFixes
;
386 std::vector
<TweakRef
> TweakRefs
;
389 std::string FixMessage
;
392 std::vector
<Rename
> Renames
;
394 /// Surface code actions (quick-fixes for diagnostics, or available code
395 /// tweaks) for a given range in a file.
396 void codeAction(const CodeActionInputs
&Inputs
,
397 Callback
<CodeActionResult
> CB
);
399 /// Apply the code tweak with a specified \p ID.
400 void applyTweak(PathRef File
, Range Sel
, StringRef ID
,
401 Callback
<Tweak::Effect
> CB
);
403 /// Called when an event occurs for a watched file in the workspace.
404 void onFileEvent(const DidChangeWatchedFilesParams
&Params
);
406 /// Get symbol info for given position.
407 /// Clangd extension - not part of official LSP.
408 void symbolInfo(PathRef File
, Position Pos
,
409 Callback
<std::vector
<SymbolDetails
>> CB
);
411 /// Get semantic ranges around a specified position in a file.
412 void semanticRanges(PathRef File
, const std::vector
<Position
> &Pos
,
413 Callback
<std::vector
<SelectionRange
>> CB
);
415 /// Get all document links in a file.
416 void documentLinks(PathRef File
, Callback
<std::vector
<DocumentLink
>> CB
);
418 void semanticHighlights(PathRef File
,
419 Callback
<std::vector
<HighlightingToken
>>);
421 /// Describe the AST subtree for a piece of code.
422 void getAST(PathRef File
, std::optional
<Range
> R
,
423 Callback
<std::optional
<ASTNode
>> CB
);
425 /// Runs an arbitrary action that has access to the AST of the specified file.
426 /// The action will execute on one of ClangdServer's internal threads.
427 /// The AST is only valid for the duration of the callback.
428 /// As with other actions, the file must have been opened.
429 void customAction(PathRef File
, llvm::StringRef Name
,
430 Callback
<InputsAndAST
> Action
);
432 /// Fetches diagnostics for current version of the \p File. This might fail if
433 /// server is busy (building a preamble) and would require a long time to
434 /// prepare diagnostics. If it fails, clients should wait for
435 /// onSemanticsMaybeChanged and then retry.
436 /// These 'pulled' diagnostics do not interfere with the diagnostics 'pushed'
437 /// to Callbacks::onDiagnosticsReady, and clients may use either or both.
438 void diagnostics(PathRef File
, Callback
<std::vector
<Diag
>> CB
);
440 /// Returns estimated memory usage and other statistics for each of the
441 /// currently open files.
442 /// Overall memory usage of clangd may be significantly more than reported
443 /// here, as this metric does not account (at least) for:
444 /// - memory occupied by static and dynamic index,
445 /// - memory required for in-flight requests,
446 /// FIXME: those metrics might be useful too, we should add them.
447 llvm::StringMap
<TUScheduler::FileStats
> fileStats() const;
449 /// Gets the contents of a currently tracked file. Returns nullptr if the file
450 /// isn't being tracked.
451 std::shared_ptr
<const std::string
> getDraft(PathRef File
) const;
453 // Blocks the main thread until the server is idle. Only for use in tests.
454 // Returns false if the timeout expires.
455 // FIXME: various subcomponents each get the full timeout, so it's more of
456 // an order of magnitude than a hard deadline.
458 blockUntilIdleForTest(std::optional
<double> TimeoutSeconds
= 10);
460 /// Builds a nested representation of memory used by components.
461 void profile(MemoryTree
&MT
) const;
464 FeatureModuleSet
*FeatureModules
;
465 const GlobalCompilationDatabase
&CDB
;
466 const ThreadsafeFS
&getHeaderFS() const {
467 return UseDirtyHeaders
? *DirtyFS
: TFS
;
469 const ThreadsafeFS
&TFS
;
472 // The index used to look up symbols. This could be:
473 // - null (all index functionality is optional)
474 // - the dynamic index owned by ClangdServer (DynamicIdx)
475 // - the static index passed to the constructor
476 // - a merged view of a static and dynamic index (MergedIndex)
477 const SymbolIndex
*Index
= nullptr;
478 // If present, an index of symbols in open files. Read via *Index.
479 std::unique_ptr
<FileIndex
> DynamicIdx
;
480 // If present, the new "auto-index" maintained in background threads.
481 std::unique_ptr
<BackgroundIndex
> BackgroundIdx
;
482 // Storage for merged views of the various indexes.
483 std::vector
<std::unique_ptr
<SymbolIndex
>> MergedIdx
;
484 // Manage module files.
485 ModulesBuilder
*ModulesManager
= nullptr;
487 // When set, provides clang-tidy options for a specific file.
488 TidyProviderRef ClangTidyProvider
;
490 bool UseDirtyHeaders
= false;
492 // Whether the client supports folding only complete lines.
493 bool LineFoldingOnly
= false;
495 bool PreambleParseForwardingFunctions
= false;
497 bool ImportInsertions
= false;
499 bool PublishInactiveRegions
= false;
501 // GUARDED_BY(CachedCompletionFuzzyFindRequestMutex)
502 llvm::StringMap
<std::optional
<FuzzyFindRequest
>>
503 CachedCompletionFuzzyFindRequestByFile
;
504 mutable std::mutex CachedCompletionFuzzyFindRequestMutex
;
506 std::optional
<std::string
> WorkspaceRoot
;
507 std::optional
<AsyncTaskRunner
> IndexTasks
; // for stdlib indexing.
508 std::optional
<TUScheduler
> WorkScheduler
;
509 // Invalidation policy used for actions that we assume are "transient".
510 TUScheduler::ASTActionInvalidation Transient
;
512 // Store of the current versions of the open documents.
513 // Only written from the main thread (despite being threadsafe).
516 std::unique_ptr
<ThreadsafeFS
> DirtyFS
;
519 } // namespace clangd