clang-tools 22.0.0git
SyncAPI.cpp
Go to the documentation of this file.
1//===--- SyncAPI.cpp - Sync version of ClangdServer's API --------*- C++-*-===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8
9#include "SyncAPI.h"
10#include "Protocol.h"
11#include "index/Index.h"
12#include <optional>
13
14namespace clang {
15namespace clangd {
16
18 llvm::StringRef Contents, llvm::StringRef Version,
19 WantDiagnostics WantDiags, bool ForceRebuild) {
20 Server.addDocument(File, Contents, Version, WantDiags, ForceRebuild);
21 if (!Server.blockUntilIdleForTest())
22 llvm_unreachable("not idle after addDocument");
23}
24
25namespace {
26/// A helper that waits for async callbacks to fire and exposes their result in
27/// the output variable. Intended to be used in the following way:
28/// T Result;
29/// someAsyncFunc(Param1, Param2, /*Callback=*/capture(Result));
30template <typename T> struct CaptureProxy {
31 CaptureProxy(std::optional<T> &Target) : Target(&Target) { assert(!Target); }
32
33 CaptureProxy(const CaptureProxy &) = delete;
34 CaptureProxy &operator=(const CaptureProxy &) = delete;
35 // We need move ctor to return a value from the 'capture' helper.
36 CaptureProxy(CaptureProxy &&Other) : Target(Other.Target) {
37 Other.Target = nullptr;
38 }
39 CaptureProxy &operator=(CaptureProxy &&) = delete;
40
41 operator llvm::unique_function<void(T)>() && {
42 assert(!Future.valid() && "conversion to callback called multiple times");
43 Future = Promise.get_future();
44 return [Promise = std::move(Promise)](T Value) mutable {
45 Promise.set_value(std::make_shared<T>(std::move(Value)));
46 };
47 }
48
49 ~CaptureProxy() {
50 if (!Target)
51 return;
52 assert(Future.valid() && "conversion to callback was not called");
53 assert(!Target->has_value());
54 Target->emplace(std::move(*Future.get()));
55 }
56
57private:
58 std::optional<T> *Target;
59 // Using shared_ptr to workaround compilation errors with MSVC.
60 // MSVC only allows default-constructible and copyable objects as future<>
61 // arguments.
62 std::promise<std::shared_ptr<T>> Promise;
63 std::future<std::shared_ptr<T>> Future;
64};
65
66template <typename T> CaptureProxy<T> capture(std::optional<T> &Target) {
67 return CaptureProxy<T>(Target);
68}
69} // namespace
70
71llvm::Expected<CodeCompleteResult>
74 std::optional<llvm::Expected<CodeCompleteResult>> Result;
75 Server.codeComplete(File, Pos, Opts, capture(Result));
76 return std::move(*Result);
77}
78
79llvm::Expected<SignatureHelp> runSignatureHelp(ClangdServer &Server,
81 MarkupKind DocumentationFormat) {
82 std::optional<llvm::Expected<SignatureHelp>> Result;
83 Server.signatureHelp(File, Pos, DocumentationFormat, capture(Result));
84 return std::move(*Result);
85}
86
87llvm::Expected<std::vector<LocatedSymbol>>
89 std::optional<llvm::Expected<std::vector<LocatedSymbol>>> Result;
90 Server.locateSymbolAt(File, Pos, capture(Result));
91 return std::move(*Result);
92}
93
94llvm::Expected<std::vector<DocumentHighlight>>
96 std::optional<llvm::Expected<std::vector<DocumentHighlight>>> Result;
97 Server.findDocumentHighlights(File, Pos, capture(Result));
98 return std::move(*Result);
99}
100
101llvm::Expected<RenameResult> runRename(ClangdServer &Server, PathRef File,
102 Position Pos, llvm::StringRef NewName,
103 const RenameOptions &RenameOpts) {
104 std::optional<llvm::Expected<RenameResult>> Result;
105 Server.rename(File, Pos, NewName, RenameOpts, capture(Result));
106 return std::move(*Result);
107}
108
109llvm::Expected<RenameResult>
111 std::optional<std::string> NewName,
112 const RenameOptions &RenameOpts) {
113 std::optional<llvm::Expected<RenameResult>> Result;
114 Server.prepareRename(File, Pos, NewName, RenameOpts, capture(Result));
115 return std::move(*Result);
116}
117
118llvm::Expected<tooling::Replacements>
120 const std::vector<Range> &Rngs) {
121 std::optional<llvm::Expected<tooling::Replacements>> Result;
122 Server.formatFile(File, Rngs, capture(Result));
123 return std::move(*Result);
124}
125
126SymbolSlab runFuzzyFind(const SymbolIndex &Index, llvm::StringRef Query) {
128 Req.Query = std::string(Query);
129 Req.AnyScope = true;
130 return runFuzzyFind(Index, Req);
131}
132
134 SymbolSlab::Builder Builder;
135 Index.fuzzyFind(Req, [&](const Symbol &Sym) { Builder.insert(Sym); });
136 return std::move(Builder).build();
137}
138
140 RefsRequest Req;
141 Req.IDs = {ID};
142 RefSlab::Builder Slab;
143 Index.refs(Req, [&](const Ref &S) { Slab.insert(ID, S); });
144 return std::move(Slab).build();
145}
146
147llvm::Expected<std::vector<SelectionRange>>
149 const std::vector<Position> &Pos) {
150 std::optional<llvm::Expected<std::vector<SelectionRange>>> Result;
151 Server.semanticRanges(File, Pos, capture(Result));
152 return std::move(*Result);
153}
154
155llvm::Expected<std::optional<clangd::Path>>
157 std::optional<llvm::Expected<std::optional<clangd::Path>>> Result;
158 Server.switchSourceHeader(File, capture(Result));
159 return std::move(*Result);
160}
161
163 llvm::function_ref<void(InputsAndAST)> Action) {
164 llvm::Error Result = llvm::Error::success();
165 Notification Done;
166 Server.customAction(File, "Custom", [&](llvm::Expected<InputsAndAST> AST) {
167 if (!AST)
168 Result = AST.takeError();
169 else
170 Action(*AST);
171 Done.notify();
172 });
173 Done.wait();
174 return Result;
175}
176
177} // namespace clangd
178} // namespace clang
Manages a collection of source files and derived data (ASTs, indexes), and provides language-aware fe...
void prepareRename(PathRef File, Position Pos, std::optional< std::string > NewName, const RenameOptions &RenameOpts, Callback< RenameResult > CB)
Test the validity of a rename operation.
void addDocument(PathRef File, StringRef Contents, llvm::StringRef Version="null", WantDiagnostics WD=WantDiagnostics::Auto, bool ForceRebuild=false)
Add a File to the list of tracked C++ files or update the contents if File is already tracked.
void findDocumentHighlights(PathRef File, Position Pos, Callback< std::vector< DocumentHighlight > > CB)
Get document highlights for a given position.
void signatureHelp(PathRef File, Position Pos, MarkupKind DocumentationFormat, Callback< SignatureHelp > CB)
Provide signature help for File at Pos.
void switchSourceHeader(PathRef Path, Callback< std::optional< clangd::Path > > CB)
Switch to a corresponding source file when given a header file, and vice versa.
void semanticRanges(PathRef File, const std::vector< Position > &Pos, Callback< std::vector< SelectionRange > > CB)
Get semantic ranges around a specified position in a file.
void formatFile(PathRef File, const std::vector< Range > &Rngs, Callback< tooling::Replacements > CB)
Run formatting for the File with content Code.
void rename(PathRef File, Position Pos, llvm::StringRef NewName, const RenameOptions &Opts, Callback< RenameResult > CB)
Rename all occurrences of the symbol at the Pos in File to NewName.
void customAction(PathRef File, llvm::StringRef Name, Callback< InputsAndAST > Action)
Runs an arbitrary action that has access to the AST of the specified file.
void locateSymbolAt(PathRef File, Position Pos, Callback< std::vector< LocatedSymbol > > CB)
Find declaration/definition locations of symbol at a specified position.
bool blockUntilIdleForTest(std::optional< double > TimeoutSeconds=10)
void codeComplete(PathRef File, Position Pos, const clangd::CodeCompleteOptions &Opts, Callback< CodeCompleteResult > CB)
Run code completion for File at Pos.
A threadsafe flag that is initially clear.
Definition Threading.h:91
RefSlab::Builder is a mutable container that can 'freeze' to RefSlab.
Definition Ref.h:135
void insert(const SymbolID &ID, const Ref &S)
Adds a ref to the slab. Deep copy: Strings will be owned by the slab.
Definition Ref.cpp:36
An efficient structure of storing large set of symbol references in memory.
Definition Ref.h:111
Interface for symbol indexes that can be used for searching or matching symbols among a set of symbol...
Definition Index.h:134
virtual bool fuzzyFind(const FuzzyFindRequest &Req, llvm::function_ref< void(const Symbol &)> Callback) const =0
Matches symbols in the index fuzzily and applies Callback on each matched symbol before returning.
virtual bool refs(const RefsRequest &Req, llvm::function_ref< void(const Ref &)> Callback) const =0
Finds all occurrences (e.g.
SymbolSlab::Builder is a mutable container that can 'freeze' to SymbolSlab.
Definition Symbol.h:224
void insert(const Symbol &S)
Adds a symbol, overwriting any existing one with the same ID.
Definition Symbol.cpp:52
An immutable symbol container that stores a set of symbols.
Definition Symbol.h:201
FIXME: Skip testing on windows temporarily due to the different escaping code mode.
Definition AST.cpp:45
llvm::Expected< std::optional< clangd::Path > > runSwitchHeaderSource(ClangdServer &Server, PathRef File)
Definition SyncAPI.cpp:156
llvm::Expected< RenameResult > runRename(ClangdServer &Server, PathRef File, Position Pos, llvm::StringRef NewName, const RenameOptions &RenameOpts)
Definition SyncAPI.cpp:101
llvm::Expected< std::vector< SelectionRange > > runSemanticRanges(ClangdServer &Server, PathRef File, const std::vector< Position > &Pos)
Definition SyncAPI.cpp:148
llvm::Expected< CodeCompleteResult > runCodeComplete(ClangdServer &Server, PathRef File, Position Pos, clangd::CodeCompleteOptions Opts)
Definition SyncAPI.cpp:72
llvm::Expected< SignatureHelp > runSignatureHelp(ClangdServer &Server, PathRef File, Position Pos, MarkupKind DocumentationFormat)
Definition SyncAPI.cpp:79
RefSlab getRefs(const SymbolIndex &Index, SymbolID ID)
Definition SyncAPI.cpp:139
void runAddDocument(ClangdServer &Server, PathRef File, llvm::StringRef Contents, llvm::StringRef Version, WantDiagnostics WantDiags, bool ForceRebuild)
Definition SyncAPI.cpp:17
llvm::Expected< std::vector< LocatedSymbol > > runLocateSymbolAt(ClangdServer &Server, PathRef File, Position Pos)
Definition SyncAPI.cpp:88
llvm::StringRef PathRef
A typedef to represent a ref to file path.
Definition Path.h:29
WantDiagnostics
Determines whether diagnostics should be generated for a file snapshot.
Definition TUScheduler.h:53
llvm::Expected< tooling::Replacements > runFormatFile(ClangdServer &Server, PathRef File, const std::vector< Range > &Rngs)
Definition SyncAPI.cpp:119
llvm::Error runCustomAction(ClangdServer &Server, PathRef File, llvm::function_ref< void(InputsAndAST)> Action)
Definition SyncAPI.cpp:162
llvm::Expected< std::vector< DocumentHighlight > > runFindDocumentHighlights(ClangdServer &Server, PathRef File, Position Pos)
Definition SyncAPI.cpp:95
SymbolSlab runFuzzyFind(const SymbolIndex &Index, llvm::StringRef Query)
Definition SyncAPI.cpp:126
llvm::Expected< RenameResult > runPrepareRename(ClangdServer &Server, PathRef File, Position Pos, std::optional< std::string > NewName, const RenameOptions &RenameOpts)
Definition SyncAPI.cpp:110
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
std::string Query
A query string for the fuzzy find.
Definition Index.h:29
bool AnyScope
If set to true, allow symbols from any scope.
Definition Index.h:39
Represents a symbol occurrence in the source file.
Definition Ref.h:88
llvm::DenseSet< SymbolID > IDs
Definition Index.h:69
The class presents a C++ symbol, e.g.
Definition Symbol.h:39