blob: 08510f2e557f82c26cc62cc5fa0ab8d856493732 [file] [log] [blame]
Ted Kremenek0ec2cca2010-01-05 19:32:54 +00001//===- CIndexCodeCompletion.cpp - Code Completion API hooks ---------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Clang-C Source Indexing library hooks for
11// code completion.
12//
13//===----------------------------------------------------------------------===//
14
15#include "CIndexer.h"
Douglas Gregorba965fb2010-01-28 00:56:43 +000016#include "CIndexDiagnostic.h"
17#include "clang/Frontend/FrontendDiagnostic.h"
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000018#include "clang/Sema/CodeCompleteConsumer.h"
19#include "llvm/ADT/StringExtras.h"
20#include "llvm/Support/MemoryBuffer.h"
21#include "llvm/System/Program.h"
22
23using namespace clang;
Ted Kremenekf602f962010-02-17 01:42:24 +000024using namespace clang::cxstring;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000025
26extern "C" {
27
28enum CXCompletionChunkKind
29clang_getCompletionChunkKind(CXCompletionString completion_string,
30 unsigned chunk_number) {
31 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
32 if (!CCStr || chunk_number >= CCStr->size())
33 return CXCompletionChunk_Text;
34
35 switch ((*CCStr)[chunk_number].Kind) {
36 case CodeCompletionString::CK_TypedText:
37 return CXCompletionChunk_TypedText;
38 case CodeCompletionString::CK_Text:
39 return CXCompletionChunk_Text;
40 case CodeCompletionString::CK_Optional:
41 return CXCompletionChunk_Optional;
42 case CodeCompletionString::CK_Placeholder:
43 return CXCompletionChunk_Placeholder;
44 case CodeCompletionString::CK_Informative:
45 return CXCompletionChunk_Informative;
46 case CodeCompletionString::CK_ResultType:
47 return CXCompletionChunk_ResultType;
48 case CodeCompletionString::CK_CurrentParameter:
49 return CXCompletionChunk_CurrentParameter;
50 case CodeCompletionString::CK_LeftParen:
51 return CXCompletionChunk_LeftParen;
52 case CodeCompletionString::CK_RightParen:
53 return CXCompletionChunk_RightParen;
54 case CodeCompletionString::CK_LeftBracket:
55 return CXCompletionChunk_LeftBracket;
56 case CodeCompletionString::CK_RightBracket:
57 return CXCompletionChunk_RightBracket;
58 case CodeCompletionString::CK_LeftBrace:
59 return CXCompletionChunk_LeftBrace;
60 case CodeCompletionString::CK_RightBrace:
61 return CXCompletionChunk_RightBrace;
62 case CodeCompletionString::CK_LeftAngle:
63 return CXCompletionChunk_LeftAngle;
64 case CodeCompletionString::CK_RightAngle:
65 return CXCompletionChunk_RightAngle;
66 case CodeCompletionString::CK_Comma:
67 return CXCompletionChunk_Comma;
Douglas Gregor504a6ae2010-01-10 23:08:15 +000068 case CodeCompletionString::CK_Colon:
69 return CXCompletionChunk_Colon;
70 case CodeCompletionString::CK_SemiColon:
71 return CXCompletionChunk_SemiColon;
72 case CodeCompletionString::CK_Equal:
73 return CXCompletionChunk_Equal;
74 case CodeCompletionString::CK_HorizontalSpace:
75 return CXCompletionChunk_HorizontalSpace;
76 case CodeCompletionString::CK_VerticalSpace:
77 return CXCompletionChunk_VerticalSpace;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000078 }
79
80 // Should be unreachable, but let's be careful.
81 return CXCompletionChunk_Text;
82}
83
Ted Kremenekf602f962010-02-17 01:42:24 +000084CXString clang_getCompletionChunkText(CXCompletionString completion_string,
85 unsigned chunk_number) {
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000086 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
87 if (!CCStr || chunk_number >= CCStr->size())
Ted Kremenekf602f962010-02-17 01:42:24 +000088 return createCXString(0);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000089
90 switch ((*CCStr)[chunk_number].Kind) {
91 case CodeCompletionString::CK_TypedText:
92 case CodeCompletionString::CK_Text:
93 case CodeCompletionString::CK_Placeholder:
94 case CodeCompletionString::CK_CurrentParameter:
95 case CodeCompletionString::CK_Informative:
96 case CodeCompletionString::CK_LeftParen:
97 case CodeCompletionString::CK_RightParen:
98 case CodeCompletionString::CK_LeftBracket:
99 case CodeCompletionString::CK_RightBracket:
100 case CodeCompletionString::CK_LeftBrace:
101 case CodeCompletionString::CK_RightBrace:
102 case CodeCompletionString::CK_LeftAngle:
103 case CodeCompletionString::CK_RightAngle:
104 case CodeCompletionString::CK_Comma:
105 case CodeCompletionString::CK_ResultType:
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000106 case CodeCompletionString::CK_Colon:
107 case CodeCompletionString::CK_SemiColon:
108 case CodeCompletionString::CK_Equal:
109 case CodeCompletionString::CK_HorizontalSpace:
110 case CodeCompletionString::CK_VerticalSpace:
Ted Kremenekf602f962010-02-17 01:42:24 +0000111 return createCXString((*CCStr)[chunk_number].Text, false);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000112
113 case CodeCompletionString::CK_Optional:
114 // Note: treated as an empty text block.
Ted Kremenekf602f962010-02-17 01:42:24 +0000115 return createCXString("");
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000116 }
117
118 // Should be unreachable, but let's be careful.
Ted Kremenekf602f962010-02-17 01:42:24 +0000119 return createCXString(0);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000120}
121
Ted Kremenekf602f962010-02-17 01:42:24 +0000122
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000123CXCompletionString
124clang_getCompletionChunkCompletionString(CXCompletionString completion_string,
125 unsigned chunk_number) {
126 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
127 if (!CCStr || chunk_number >= CCStr->size())
128 return 0;
129
130 switch ((*CCStr)[chunk_number].Kind) {
131 case CodeCompletionString::CK_TypedText:
132 case CodeCompletionString::CK_Text:
133 case CodeCompletionString::CK_Placeholder:
134 case CodeCompletionString::CK_CurrentParameter:
135 case CodeCompletionString::CK_Informative:
136 case CodeCompletionString::CK_LeftParen:
137 case CodeCompletionString::CK_RightParen:
138 case CodeCompletionString::CK_LeftBracket:
139 case CodeCompletionString::CK_RightBracket:
140 case CodeCompletionString::CK_LeftBrace:
141 case CodeCompletionString::CK_RightBrace:
142 case CodeCompletionString::CK_LeftAngle:
143 case CodeCompletionString::CK_RightAngle:
144 case CodeCompletionString::CK_Comma:
145 case CodeCompletionString::CK_ResultType:
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000146 case CodeCompletionString::CK_Colon:
147 case CodeCompletionString::CK_SemiColon:
148 case CodeCompletionString::CK_Equal:
149 case CodeCompletionString::CK_HorizontalSpace:
150 case CodeCompletionString::CK_VerticalSpace:
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000151 return 0;
152
153 case CodeCompletionString::CK_Optional:
154 // Note: treated as an empty text block.
155 return (*CCStr)[chunk_number].Optional;
156 }
157
158 // Should be unreachable, but let's be careful.
159 return 0;
160}
161
162unsigned clang_getNumCompletionChunks(CXCompletionString completion_string) {
163 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
164 return CCStr? CCStr->size() : 0;
165}
166
167static bool ReadUnsigned(const char *&Memory, const char *MemoryEnd,
168 unsigned &Value) {
169 if (Memory + sizeof(unsigned) > MemoryEnd)
170 return true;
171
172 memmove(&Value, Memory, sizeof(unsigned));
173 Memory += sizeof(unsigned);
174 return false;
175}
176
177/// \brief The CXCodeCompleteResults structure we allocate internally;
178/// the client only sees the initial CXCodeCompleteResults structure.
179struct AllocatedCXCodeCompleteResults : public CXCodeCompleteResults {
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000180 AllocatedCXCodeCompleteResults();
181 ~AllocatedCXCodeCompleteResults();
182
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000183 /// \brief The memory buffer from which we parsed the results. We
184 /// retain this buffer because the completion strings point into it.
185 llvm::MemoryBuffer *Buffer;
Daniel Dunbar854d36b2010-01-30 23:31:40 +0000186
Douglas Gregor33cdd812010-02-18 18:08:43 +0000187 /// \brief Diagnostics produced while performing code completion.
188 llvm::SmallVector<StoredDiagnostic, 8> Diagnostics;
189
190 /// \brief Language options used to adjust source locations.
Daniel Dunbar854d36b2010-01-30 23:31:40 +0000191 LangOptions LangOpts;
Douglas Gregor33cdd812010-02-18 18:08:43 +0000192
193 /// \brief Source manager, used for diagnostics.
194 SourceManager SourceMgr;
195
196 /// \brief File manager, used for diagnostics.
197 FileManager FileMgr;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000198};
199
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000200AllocatedCXCodeCompleteResults::AllocatedCXCodeCompleteResults()
201 : CXCodeCompleteResults(), Buffer(0) { }
202
203AllocatedCXCodeCompleteResults::~AllocatedCXCodeCompleteResults() {
204 for (unsigned I = 0, N = NumResults; I != N; ++I)
205 delete (CodeCompletionString *)Results[I].CompletionString;
206 delete [] Results;
207 delete Buffer;
208}
209
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000210CXCodeCompleteResults *clang_codeComplete(CXIndex CIdx,
211 const char *source_filename,
212 int num_command_line_args,
213 const char **command_line_args,
214 unsigned num_unsaved_files,
215 struct CXUnsavedFile *unsaved_files,
216 const char *complete_filename,
217 unsigned complete_line,
Douglas Gregor33cdd812010-02-18 18:08:43 +0000218 unsigned complete_column) {
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000219 // The indexer, which is mainly used to determine where diagnostics go.
220 CIndexer *CXXIdx = static_cast<CIndexer *>(CIdx);
221
Douglas Gregorba965fb2010-01-28 00:56:43 +0000222 // Configure the diagnostics.
223 DiagnosticOptions DiagOpts;
224 llvm::OwningPtr<Diagnostic> Diags;
225 Diags.reset(CompilerInstance::createDiagnostics(DiagOpts, 0, 0));
Douglas Gregorba965fb2010-01-28 00:56:43 +0000226
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000227 // The set of temporary files that we've built.
228 std::vector<llvm::sys::Path> TemporaryFiles;
229
230 // Build up the arguments for invoking 'clang'.
231 std::vector<const char *> argv;
232
233 // First add the complete path to the 'clang' executable.
234 llvm::sys::Path ClangPath = CXXIdx->getClangPath();
235 argv.push_back(ClangPath.c_str());
236
237 // Add the '-fsyntax-only' argument so that we only perform a basic
238 // syntax check of the code.
239 argv.push_back("-fsyntax-only");
240
241 // Add the appropriate '-code-completion-at=file:line:column' argument
242 // to perform code completion, with an "-Xclang" preceding it.
243 std::string code_complete_at;
244 code_complete_at += complete_filename;
245 code_complete_at += ":";
246 code_complete_at += llvm::utostr(complete_line);
247 code_complete_at += ":";
248 code_complete_at += llvm::utostr(complete_column);
249 argv.push_back("-Xclang");
250 argv.push_back("-code-completion-at");
251 argv.push_back("-Xclang");
252 argv.push_back(code_complete_at.c_str());
253 argv.push_back("-Xclang");
254 argv.push_back("-no-code-completion-debug-printer");
255 argv.push_back("-Xclang");
256 argv.push_back("-code-completion-macros");
Douglas Gregorac0605e2010-01-28 06:00:51 +0000257 argv.push_back("-fdiagnostics-binary");
258
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000259 // Remap any unsaved files to temporary files.
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000260 std::vector<std::string> RemapArgs;
Douglas Gregoraa98ed92010-01-23 00:14:00 +0000261 if (RemapFiles(num_unsaved_files, unsaved_files, RemapArgs, TemporaryFiles))
262 return 0;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000263
264 // The pointers into the elements of RemapArgs are stable because we
265 // won't be adding anything to RemapArgs after this point.
266 for (unsigned i = 0, e = RemapArgs.size(); i != e; ++i)
267 argv.push_back(RemapArgs[i].c_str());
268
269 // Add the source file name (FIXME: later, we'll want to build temporary
270 // file from the buffer, or just feed the source text via standard input).
271 if (source_filename)
272 argv.push_back(source_filename);
273
274 // Process the compiler options, stripping off '-o', '-c', '-fsyntax-only'.
275 for (int i = 0; i < num_command_line_args; ++i)
276 if (const char *arg = command_line_args[i]) {
277 if (strcmp(arg, "-o") == 0) {
278 ++i; // Also skip the matching argument.
279 continue;
280 }
281 if (strcmp(arg, "-emit-ast") == 0 ||
282 strcmp(arg, "-c") == 0 ||
283 strcmp(arg, "-fsyntax-only") == 0) {
284 continue;
285 }
286
287 // Keep the argument.
288 argv.push_back(arg);
289 }
290
291 // Add the null terminator.
292 argv.push_back(NULL);
293
Douglas Gregorac0605e2010-01-28 06:00:51 +0000294 // Generate a temporary name for the code-completion results file.
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000295 char tmpFile[L_tmpnam];
296 char *tmpFileName = tmpnam(tmpFile);
297 llvm::sys::Path ResultsFile(tmpFileName);
298 TemporaryFiles.push_back(ResultsFile);
299
Douglas Gregorac0605e2010-01-28 06:00:51 +0000300 // Generate a temporary name for the diagnostics file.
301 char tmpFileResults[L_tmpnam];
302 char *tmpResultsFileName = tmpnam(tmpFileResults);
303 llvm::sys::Path DiagnosticsFile(tmpResultsFileName);
304 TemporaryFiles.push_back(DiagnosticsFile);
305
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000306 // Invoke 'clang'.
307 llvm::sys::Path DevNull; // leave empty, causes redirection to /dev/null
308 // on Unix or NUL (Windows).
309 std::string ErrMsg;
Douglas Gregorac0605e2010-01-28 06:00:51 +0000310 const llvm::sys::Path *Redirects[] = { &DevNull, &ResultsFile,
311 &DiagnosticsFile, 0 };
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000312 llvm::sys::Program::ExecuteAndWait(ClangPath, &argv[0], /* env */ NULL,
313 /* redirects */ &Redirects[0],
314 /* secondsToWait */ 0,
315 /* memoryLimits */ 0, &ErrMsg);
316
Douglas Gregorba965fb2010-01-28 00:56:43 +0000317 if (!ErrMsg.empty()) {
318 std::string AllArgs;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000319 for (std::vector<const char*>::iterator I = argv.begin(), E = argv.end();
Douglas Gregorba965fb2010-01-28 00:56:43 +0000320 I != E; ++I) {
321 AllArgs += ' ';
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000322 if (*I)
Douglas Gregorba965fb2010-01-28 00:56:43 +0000323 AllArgs += *I;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000324 }
Douglas Gregorba965fb2010-01-28 00:56:43 +0000325
326 Diags->Report(diag::err_fe_clang) << AllArgs << ErrMsg;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000327 }
328
329 // Parse the resulting source file to find code-completion results.
330 using llvm::MemoryBuffer;
331 using llvm::StringRef;
Douglas Gregor33cdd812010-02-18 18:08:43 +0000332 AllocatedCXCodeCompleteResults *Results = new AllocatedCXCodeCompleteResults;
333 Results->Results = 0;
334 Results->NumResults = 0;
335 Results->Buffer = 0;
336 // FIXME: Set Results->LangOpts!
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000337 if (MemoryBuffer *F = MemoryBuffer::getFile(ResultsFile.c_str())) {
338 llvm::SmallVector<CXCompletionResult, 4> CompletionResults;
339 StringRef Buffer = F->getBuffer();
340 for (const char *Str = Buffer.data(), *StrEnd = Str + Buffer.size();
341 Str < StrEnd;) {
342 unsigned KindValue;
343 if (ReadUnsigned(Str, StrEnd, KindValue))
344 break;
345
346 CodeCompletionString *CCStr
347 = CodeCompletionString::Deserialize(Str, StrEnd);
348 if (!CCStr)
349 continue;
350
351 if (!CCStr->empty()) {
352 // Vend the code-completion result to the caller.
353 CXCompletionResult Result;
354 Result.CursorKind = (CXCursorKind)KindValue;
355 Result.CompletionString = CCStr;
356 CompletionResults.push_back(Result);
357 }
358 };
359
360 // Allocate the results.
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000361 Results->Results = new CXCompletionResult [CompletionResults.size()];
362 Results->NumResults = CompletionResults.size();
363 memcpy(Results->Results, CompletionResults.data(),
364 CompletionResults.size() * sizeof(CXCompletionResult));
365 Results->Buffer = F;
366 }
367
Douglas Gregor33cdd812010-02-18 18:08:43 +0000368 LoadSerializedDiagnostics(DiagnosticsFile, num_unsaved_files, unsaved_files,
369 Results->FileMgr, Results->SourceMgr,
370 Results->Diagnostics);
371
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000372 for (unsigned i = 0, e = TemporaryFiles.size(); i != e; ++i)
373 TemporaryFiles[i].eraseFromDisk();
374
375 return Results;
376}
377
378void clang_disposeCodeCompleteResults(CXCodeCompleteResults *ResultsIn) {
379 if (!ResultsIn)
380 return;
381
382 AllocatedCXCodeCompleteResults *Results
383 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000384 delete Results;
385}
386
Douglas Gregor33cdd812010-02-18 18:08:43 +0000387unsigned
388clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *ResultsIn) {
389 AllocatedCXCodeCompleteResults *Results
390 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
391 if (!Results)
392 return 0;
393
394 return Results->Diagnostics.size();
395}
396
397CXDiagnostic
398clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *ResultsIn,
399 unsigned Index) {
400 AllocatedCXCodeCompleteResults *Results
401 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
402 if (!Results || Index >= Results->Diagnostics.size())
403 return 0;
404
405 return new CXStoredDiagnostic(Results->Diagnostics[Index], Results->LangOpts);
406}
407
408
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000409} // end extern "C"