blob: 8695cb44b3fde2abf9beefd4265a98e948d72eaf [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"
Ted Kremenek7df92ae2010-11-17 23:24:11 +000016#include "CXTranslationUnit.h"
Ted Kremenek4b4f3692010-11-16 01:56:27 +000017#include "CXString.h"
Douglas Gregor63745d52011-07-21 01:05:26 +000018#include "CXCursor.h"
Douglas Gregorba965fb2010-01-28 00:56:43 +000019#include "CIndexDiagnostic.h"
Douglas Gregor63745d52011-07-21 01:05:26 +000020#include "clang/AST/Type.h"
21#include "clang/AST/Decl.h"
22#include "clang/AST/DeclObjC.h"
Benjamin Kramer064414532010-04-12 19:45:50 +000023#include "clang/Basic/SourceManager.h"
24#include "clang/Basic/FileManager.h"
Douglas Gregor8e984da2010-08-04 16:47:14 +000025#include "clang/Frontend/ASTUnit.h"
Benjamin Kramer064414532010-04-12 19:45:50 +000026#include "clang/Frontend/CompilerInstance.h"
Douglas Gregorba965fb2010-01-28 00:56:43 +000027#include "clang/Frontend/FrontendDiagnostic.h"
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000028#include "clang/Sema/CodeCompleteConsumer.h"
Douglas Gregor028d3e42010-08-09 20:45:32 +000029#include "llvm/ADT/SmallString.h"
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000030#include "llvm/ADT/StringExtras.h"
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +000031#include "llvm/Support/Atomic.h"
Daniel Dunbar77af1c52010-08-19 23:44:10 +000032#include "llvm/Support/CrashRecoveryContext.h"
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000033#include "llvm/Support/MemoryBuffer.h"
Douglas Gregor028d3e42010-08-09 20:45:32 +000034#include "llvm/Support/Timer.h"
35#include "llvm/Support/raw_ostream.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000036#include "llvm/Support/Program.h"
Douglas Gregord6009ff2010-07-26 16:29:14 +000037#include <cstdlib>
38#include <cstdio>
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000039
Douglas Gregor028d3e42010-08-09 20:45:32 +000040
Ted Kremenek9e0cf092010-04-15 01:02:28 +000041#ifdef UDP_CODE_COMPLETION_LOGGER
42#include "clang/Basic/Version.h"
Ted Kremenek9e0cf092010-04-15 01:02:28 +000043#include <arpa/inet.h>
44#include <sys/socket.h>
45#include <sys/types.h>
46#include <unistd.h>
47#endif
48
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000049using namespace clang;
Ted Kremenekf602f962010-02-17 01:42:24 +000050using namespace clang::cxstring;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000051
52extern "C" {
53
54enum CXCompletionChunkKind
55clang_getCompletionChunkKind(CXCompletionString completion_string,
56 unsigned chunk_number) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +000057 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +000058 if (!CCStr || chunk_number >= CCStr->size())
59 return CXCompletionChunk_Text;
60
61 switch ((*CCStr)[chunk_number].Kind) {
62 case CodeCompletionString::CK_TypedText:
63 return CXCompletionChunk_TypedText;
64 case CodeCompletionString::CK_Text:
65 return CXCompletionChunk_Text;
66 case CodeCompletionString::CK_Optional:
67 return CXCompletionChunk_Optional;
68 case CodeCompletionString::CK_Placeholder:
69 return CXCompletionChunk_Placeholder;
70 case CodeCompletionString::CK_Informative:
71 return CXCompletionChunk_Informative;
72 case CodeCompletionString::CK_ResultType:
73 return CXCompletionChunk_ResultType;
74 case CodeCompletionString::CK_CurrentParameter:
75 return CXCompletionChunk_CurrentParameter;
76 case CodeCompletionString::CK_LeftParen:
77 return CXCompletionChunk_LeftParen;
78 case CodeCompletionString::CK_RightParen:
79 return CXCompletionChunk_RightParen;
80 case CodeCompletionString::CK_LeftBracket:
81 return CXCompletionChunk_LeftBracket;
82 case CodeCompletionString::CK_RightBracket:
83 return CXCompletionChunk_RightBracket;
84 case CodeCompletionString::CK_LeftBrace:
85 return CXCompletionChunk_LeftBrace;
86 case CodeCompletionString::CK_RightBrace:
87 return CXCompletionChunk_RightBrace;
88 case CodeCompletionString::CK_LeftAngle:
89 return CXCompletionChunk_LeftAngle;
90 case CodeCompletionString::CK_RightAngle:
91 return CXCompletionChunk_RightAngle;
92 case CodeCompletionString::CK_Comma:
93 return CXCompletionChunk_Comma;
Douglas Gregor504a6ae2010-01-10 23:08:15 +000094 case CodeCompletionString::CK_Colon:
95 return CXCompletionChunk_Colon;
96 case CodeCompletionString::CK_SemiColon:
97 return CXCompletionChunk_SemiColon;
98 case CodeCompletionString::CK_Equal:
99 return CXCompletionChunk_Equal;
100 case CodeCompletionString::CK_HorizontalSpace:
101 return CXCompletionChunk_HorizontalSpace;
102 case CodeCompletionString::CK_VerticalSpace:
103 return CXCompletionChunk_VerticalSpace;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000104 }
105
106 // Should be unreachable, but let's be careful.
107 return CXCompletionChunk_Text;
108}
109
Ted Kremenekf602f962010-02-17 01:42:24 +0000110CXString clang_getCompletionChunkText(CXCompletionString completion_string,
111 unsigned chunk_number) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000112 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000113 if (!CCStr || chunk_number >= CCStr->size())
Ted Kremenek91554282010-11-16 08:15:36 +0000114 return createCXString((const char*)0);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000115
116 switch ((*CCStr)[chunk_number].Kind) {
117 case CodeCompletionString::CK_TypedText:
118 case CodeCompletionString::CK_Text:
119 case CodeCompletionString::CK_Placeholder:
120 case CodeCompletionString::CK_CurrentParameter:
121 case CodeCompletionString::CK_Informative:
122 case CodeCompletionString::CK_LeftParen:
123 case CodeCompletionString::CK_RightParen:
124 case CodeCompletionString::CK_LeftBracket:
125 case CodeCompletionString::CK_RightBracket:
126 case CodeCompletionString::CK_LeftBrace:
127 case CodeCompletionString::CK_RightBrace:
128 case CodeCompletionString::CK_LeftAngle:
129 case CodeCompletionString::CK_RightAngle:
130 case CodeCompletionString::CK_Comma:
131 case CodeCompletionString::CK_ResultType:
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000132 case CodeCompletionString::CK_Colon:
133 case CodeCompletionString::CK_SemiColon:
134 case CodeCompletionString::CK_Equal:
135 case CodeCompletionString::CK_HorizontalSpace:
Douglas Gregor09737ee2010-05-25 06:14:46 +0000136 case CodeCompletionString::CK_VerticalSpace:
Douglas Gregor8ed5b772010-10-08 20:39:29 +0000137 return createCXString((*CCStr)[chunk_number].Text, false);
Douglas Gregor09737ee2010-05-25 06:14:46 +0000138
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000139 case CodeCompletionString::CK_Optional:
140 // Note: treated as an empty text block.
Ted Kremenekf602f962010-02-17 01:42:24 +0000141 return createCXString("");
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000142 }
143
144 // Should be unreachable, but let's be careful.
Ted Kremenek91554282010-11-16 08:15:36 +0000145 return createCXString((const char*)0);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000146}
147
Ted Kremenekf602f962010-02-17 01:42:24 +0000148
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000149CXCompletionString
150clang_getCompletionChunkCompletionString(CXCompletionString completion_string,
151 unsigned chunk_number) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000152 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000153 if (!CCStr || chunk_number >= CCStr->size())
154 return 0;
155
156 switch ((*CCStr)[chunk_number].Kind) {
157 case CodeCompletionString::CK_TypedText:
158 case CodeCompletionString::CK_Text:
159 case CodeCompletionString::CK_Placeholder:
160 case CodeCompletionString::CK_CurrentParameter:
161 case CodeCompletionString::CK_Informative:
162 case CodeCompletionString::CK_LeftParen:
163 case CodeCompletionString::CK_RightParen:
164 case CodeCompletionString::CK_LeftBracket:
165 case CodeCompletionString::CK_RightBracket:
166 case CodeCompletionString::CK_LeftBrace:
167 case CodeCompletionString::CK_RightBrace:
168 case CodeCompletionString::CK_LeftAngle:
169 case CodeCompletionString::CK_RightAngle:
170 case CodeCompletionString::CK_Comma:
171 case CodeCompletionString::CK_ResultType:
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000172 case CodeCompletionString::CK_Colon:
173 case CodeCompletionString::CK_SemiColon:
174 case CodeCompletionString::CK_Equal:
175 case CodeCompletionString::CK_HorizontalSpace:
176 case CodeCompletionString::CK_VerticalSpace:
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000177 return 0;
178
179 case CodeCompletionString::CK_Optional:
180 // Note: treated as an empty text block.
181 return (*CCStr)[chunk_number].Optional;
182 }
183
184 // Should be unreachable, but let's be careful.
185 return 0;
186}
187
188unsigned clang_getNumCompletionChunks(CXCompletionString completion_string) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000189 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000190 return CCStr? CCStr->size() : 0;
191}
192
Douglas Gregora2db7932010-05-26 22:00:08 +0000193unsigned clang_getCompletionPriority(CXCompletionString completion_string) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000194 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
Bill Wendling47bb3e22010-05-27 18:35:05 +0000195 return CCStr? CCStr->getPriority() : unsigned(CCP_Unlikely);
Douglas Gregora2db7932010-05-26 22:00:08 +0000196}
197
Douglas Gregorf757a122010-08-23 23:00:57 +0000198enum CXAvailabilityKind
199clang_getCompletionAvailability(CXCompletionString completion_string) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000200 CodeCompletionString *CCStr = (CodeCompletionString *)completion_string;
201 return CCStr? static_cast<CXAvailabilityKind>(CCStr->getAvailability())
202 : CXAvailability_Available;
Douglas Gregorf757a122010-08-23 23:00:57 +0000203}
204
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000205/// \brief The CXCodeCompleteResults structure we allocate internally;
206/// the client only sees the initial CXCodeCompleteResults structure.
207struct AllocatedCXCodeCompleteResults : public CXCodeCompleteResults {
Anders Carlssonc30dcec2011-03-18 18:22:40 +0000208 AllocatedCXCodeCompleteResults(const FileSystemOptions& FileSystemOpts);
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000209 ~AllocatedCXCodeCompleteResults();
210
Douglas Gregor33cdd812010-02-18 18:08:43 +0000211 /// \brief Diagnostics produced while performing code completion.
212 llvm::SmallVector<StoredDiagnostic, 8> Diagnostics;
213
Douglas Gregore0fbb832010-03-16 00:06:06 +0000214 /// \brief Diag object
Douglas Gregor8e984da2010-08-04 16:47:14 +0000215 llvm::IntrusiveRefCntPtr<Diagnostic> Diag;
Douglas Gregore0fbb832010-03-16 00:06:06 +0000216
Douglas Gregor33cdd812010-02-18 18:08:43 +0000217 /// \brief Language options used to adjust source locations.
Daniel Dunbar854d36b2010-01-30 23:31:40 +0000218 LangOptions LangOpts;
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +0000219
220 FileSystemOptions FileSystemOpts;
221
Chris Lattner5159f612010-11-23 08:35:12 +0000222 /// \brief File manager, used for diagnostics.
Ted Kremenek5e14d392011-03-21 18:40:17 +0000223 llvm::IntrusiveRefCntPtr<FileManager> FileMgr;
Chris Lattner5159f612010-11-23 08:35:12 +0000224
Argyrios Kyrtzidis71731d62010-11-03 22:45:23 +0000225 /// \brief Source manager, used for diagnostics.
Ted Kremenek5e14d392011-03-21 18:40:17 +0000226 llvm::IntrusiveRefCntPtr<SourceManager> SourceMgr;
Douglas Gregor6cb5ba42010-02-18 23:35:40 +0000227
228 /// \brief Temporary files that should be removed once we have finished
229 /// with the code-completion results.
230 std::vector<llvm::sys::Path> TemporaryFiles;
Douglas Gregord8a5dba2010-08-04 17:07:00 +0000231
Chris Lattner3f5a9ef2010-11-23 07:51:02 +0000232 /// \brief Temporary buffers that will be deleted once we have finished with
233 /// the code-completion results.
Douglas Gregord8a5dba2010-08-04 17:07:00 +0000234 llvm::SmallVector<const llvm::MemoryBuffer *, 1> TemporaryBuffers;
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000235
Douglas Gregor162b7122011-02-16 19:08:06 +0000236 /// \brief Allocator used to store globally cached code-completion results.
237 llvm::IntrusiveRefCntPtr<clang::GlobalCodeCompletionAllocator>
238 CachedCompletionAllocator;
239
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000240 /// \brief Allocator used to store code completion results.
Douglas Gregor6c7cb182011-02-01 23:14:23 +0000241 clang::CodeCompletionAllocator CodeCompletionAllocator;
Douglas Gregor21325842011-07-07 16:03:39 +0000242
243 /// \brief Context under which completion occurred.
244 enum clang::CodeCompletionContext::Kind ContextKind;
245
246 /// \brief A bitfield representing the acceptable completions for the
247 /// current context.
248 unsigned long long Contexts;
Douglas Gregor63745d52011-07-21 01:05:26 +0000249
250 enum CXCursorKind ContainerKind;
251 CXString ContainerUSR;
252
253 unsigned ContainerIsIncomplete;
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000254};
255
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000256/// \brief Tracks the number of code-completion result objects that are
257/// currently active.
258///
259/// Used for debugging purposes only.
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +0000260static llvm::sys::cas_flag CodeCompletionResultObjects;
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000261
Anders Carlssonc30dcec2011-03-18 18:22:40 +0000262AllocatedCXCodeCompleteResults::AllocatedCXCodeCompleteResults(
263 const FileSystemOptions& FileSystemOpts)
Argyrios Kyrtzidisd0040642010-11-18 20:06:41 +0000264 : CXCodeCompleteResults(),
265 Diag(new Diagnostic(
266 llvm::IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs))),
Anders Carlssonc30dcec2011-03-18 18:22:40 +0000267 FileSystemOpts(FileSystemOpts),
Ted Kremenek5e14d392011-03-21 18:40:17 +0000268 FileMgr(new FileManager(FileSystemOpts)),
269 SourceMgr(new SourceManager(*Diag, *FileMgr)) {
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000270 if (getenv("LIBCLANG_OBJTRACKING")) {
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +0000271 llvm::sys::AtomicIncrement(&CodeCompletionResultObjects);
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000272 fprintf(stderr, "+++ %d completion results\n", CodeCompletionResultObjects);
273 }
274}
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000275
276AllocatedCXCodeCompleteResults::~AllocatedCXCodeCompleteResults() {
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000277 delete [] Results;
Douglas Gregor6cb5ba42010-02-18 23:35:40 +0000278
Douglas Gregor63745d52011-07-21 01:05:26 +0000279 clang_disposeString(ContainerUSR);
280
Douglas Gregor6cb5ba42010-02-18 23:35:40 +0000281 for (unsigned I = 0, N = TemporaryFiles.size(); I != N; ++I)
282 TemporaryFiles[I].eraseFromDisk();
Douglas Gregord8a5dba2010-08-04 17:07:00 +0000283 for (unsigned I = 0, N = TemporaryBuffers.size(); I != N; ++I)
284 delete TemporaryBuffers[I];
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000285
286 if (getenv("LIBCLANG_OBJTRACKING")) {
Douglas Gregor9aeaa4d2010-12-07 00:05:48 +0000287 llvm::sys::AtomicDecrement(&CodeCompletionResultObjects);
Douglas Gregor68dbaea2010-11-17 00:13:31 +0000288 fprintf(stderr, "--- %d completion results\n", CodeCompletionResultObjects);
289 }
Douglas Gregor1e21cc72010-02-18 23:07:20 +0000290}
291
Douglas Gregor8e984da2010-08-04 16:47:14 +0000292} // end extern "C"
293
Douglas Gregor21325842011-07-07 16:03:39 +0000294static unsigned long long getContextsForContextKind(
295 enum CodeCompletionContext::Kind kind,
296 Sema &S) {
297 unsigned long long contexts = 0;
298 switch (kind) {
299 case CodeCompletionContext::CCC_OtherWithMacros: {
300 //We can allow macros here, but we don't know what else is permissible
301 //So we'll say the only thing permissible are macros
302 contexts = CXCompletionContext_MacroName;
303 break;
304 }
305 case CodeCompletionContext::CCC_TopLevel:
306 case CodeCompletionContext::CCC_ObjCIvarList:
307 case CodeCompletionContext::CCC_ClassStructUnion:
308 case CodeCompletionContext::CCC_Type: {
309 contexts = CXCompletionContext_AnyType |
310 CXCompletionContext_ObjCInterface;
311 if (S.getLangOptions().CPlusPlus) {
312 contexts |= CXCompletionContext_EnumTag |
313 CXCompletionContext_UnionTag |
314 CXCompletionContext_StructTag |
315 CXCompletionContext_ClassTag |
316 CXCompletionContext_NestedNameSpecifier;
317 }
318 break;
319 }
320 case CodeCompletionContext::CCC_Statement: {
321 contexts = CXCompletionContext_AnyType |
322 CXCompletionContext_ObjCInterface |
323 CXCompletionContext_AnyValue;
324 if (S.getLangOptions().CPlusPlus) {
325 contexts |= CXCompletionContext_EnumTag |
326 CXCompletionContext_UnionTag |
327 CXCompletionContext_StructTag |
328 CXCompletionContext_ClassTag |
329 CXCompletionContext_NestedNameSpecifier;
330 }
331 break;
332 }
333 case CodeCompletionContext::CCC_Expression: {
334 contexts = CXCompletionContext_AnyValue;
335 if (S.getLangOptions().CPlusPlus) {
336 contexts |= CXCompletionContext_AnyType |
337 CXCompletionContext_ObjCInterface |
338 CXCompletionContext_EnumTag |
339 CXCompletionContext_UnionTag |
340 CXCompletionContext_StructTag |
341 CXCompletionContext_ClassTag |
342 CXCompletionContext_NestedNameSpecifier;
343 }
344 break;
345 }
346 case CodeCompletionContext::CCC_ObjCMessageReceiver: {
347 contexts = CXCompletionContext_ObjCObjectValue |
348 CXCompletionContext_ObjCSelectorValue |
349 CXCompletionContext_ObjCInterface;
350 if (S.getLangOptions().CPlusPlus) {
351 contexts |= CXCompletionContext_CXXClassTypeValue |
352 CXCompletionContext_AnyType |
353 CXCompletionContext_EnumTag |
354 CXCompletionContext_UnionTag |
355 CXCompletionContext_StructTag |
356 CXCompletionContext_ClassTag |
357 CXCompletionContext_NestedNameSpecifier;
358 }
359 break;
360 }
361 case CodeCompletionContext::CCC_DotMemberAccess: {
362 contexts = CXCompletionContext_DotMemberAccess;
363 break;
364 }
365 case CodeCompletionContext::CCC_ArrowMemberAccess: {
366 contexts = CXCompletionContext_ArrowMemberAccess;
367 break;
368 }
369 case CodeCompletionContext::CCC_ObjCPropertyAccess: {
370 contexts = CXCompletionContext_ObjCPropertyAccess;
371 break;
372 }
373 case CodeCompletionContext::CCC_EnumTag: {
374 contexts = CXCompletionContext_EnumTag |
375 CXCompletionContext_NestedNameSpecifier;
376 break;
377 }
378 case CodeCompletionContext::CCC_UnionTag: {
379 contexts = CXCompletionContext_UnionTag |
380 CXCompletionContext_NestedNameSpecifier;
381 break;
382 }
383 case CodeCompletionContext::CCC_ClassOrStructTag: {
384 contexts = CXCompletionContext_StructTag |
385 CXCompletionContext_ClassTag |
386 CXCompletionContext_NestedNameSpecifier;
387 break;
388 }
389 case CodeCompletionContext::CCC_ObjCProtocolName: {
390 contexts = CXCompletionContext_ObjCProtocol;
391 break;
392 }
393 case CodeCompletionContext::CCC_Namespace: {
394 contexts = CXCompletionContext_Namespace;
395 break;
396 }
397 case CodeCompletionContext::CCC_PotentiallyQualifiedName: {
398 contexts = CXCompletionContext_NestedNameSpecifier;
399 break;
400 }
401 case CodeCompletionContext::CCC_MacroNameUse: {
402 contexts = CXCompletionContext_MacroName;
403 break;
404 }
405 case CodeCompletionContext::CCC_NaturalLanguage: {
406 contexts = CXCompletionContext_NaturalLanguage;
407 break;
408 }
409 case CodeCompletionContext::CCC_SelectorName: {
410 contexts = CXCompletionContext_ObjCSelectorName;
411 break;
412 }
413 case CodeCompletionContext::CCC_ParenthesizedExpression: {
414 contexts = CXCompletionContext_AnyType |
415 CXCompletionContext_ObjCInterface |
416 CXCompletionContext_AnyValue;
417 if (S.getLangOptions().CPlusPlus) {
418 contexts |= CXCompletionContext_EnumTag |
419 CXCompletionContext_UnionTag |
420 CXCompletionContext_StructTag |
421 CXCompletionContext_ClassTag |
422 CXCompletionContext_NestedNameSpecifier;
423 }
424 break;
425 }
426 case CodeCompletionContext::CCC_ObjCInstanceMessage: {
427 contexts = CXCompletionContext_ObjCInstanceMessage;
428 break;
429 }
430 case CodeCompletionContext::CCC_ObjCClassMessage: {
431 contexts = CXCompletionContext_ObjCClassMessage;
432 break;
433 }
434 case CodeCompletionContext::CCC_ObjCSuperclass: {
435 contexts = CXCompletionContext_ObjCInterface;
436 break;
437 }
438 case CodeCompletionContext::CCC_ObjCCategoryName: {
439 contexts = CXCompletionContext_ObjCCategory;
440 break;
441 }
442 case CodeCompletionContext::CCC_Other:
443 case CodeCompletionContext::CCC_ObjCInterface:
444 case CodeCompletionContext::CCC_ObjCImplementation:
445 case CodeCompletionContext::CCC_Name:
446 case CodeCompletionContext::CCC_MacroName:
447 case CodeCompletionContext::CCC_PreprocessorExpression:
448 case CodeCompletionContext::CCC_PreprocessorDirective:
449 case CodeCompletionContext::CCC_TypeQualifiers: {
450 //Only Clang results should be accepted, so we'll set all of the other
451 //context bits to 0 (i.e. the empty set)
452 contexts = CXCompletionContext_Unexposed;
453 break;
454 }
455 case CodeCompletionContext::CCC_Recovery: {
456 //We don't know what the current context is, so we'll return unknown
457 //This is the equivalent of setting all of the other context bits
458 contexts = CXCompletionContext_Unknown;
459 break;
460 }
461 }
462 return contexts;
463}
464
Douglas Gregor8e984da2010-08-04 16:47:14 +0000465namespace {
466 class CaptureCompletionResults : public CodeCompleteConsumer {
467 AllocatedCXCodeCompleteResults &AllocatedResults;
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000468 llvm::SmallVector<CXCompletionResult, 16> StoredResults;
Douglas Gregor63745d52011-07-21 01:05:26 +0000469 CXTranslationUnit *TU;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000470 public:
Douglas Gregor63745d52011-07-21 01:05:26 +0000471 CaptureCompletionResults(AllocatedCXCodeCompleteResults &Results,
472 CXTranslationUnit *TranslationUnit)
Douglas Gregor39982192010-08-15 06:18:01 +0000473 : CodeCompleteConsumer(true, false, true, false),
Douglas Gregor63745d52011-07-21 01:05:26 +0000474 AllocatedResults(Results), TU(TranslationUnit) { }
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000475 ~CaptureCompletionResults() { Finish(); }
476
Douglas Gregor00c37ef2010-08-11 21:23:17 +0000477 virtual void ProcessCodeCompleteResults(Sema &S,
478 CodeCompletionContext Context,
John McCall276321a2010-08-25 06:19:51 +0000479 CodeCompletionResult *Results,
Douglas Gregor8e984da2010-08-04 16:47:14 +0000480 unsigned NumResults) {
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000481 StoredResults.reserve(StoredResults.size() + NumResults);
Douglas Gregor8e984da2010-08-04 16:47:14 +0000482 for (unsigned I = 0; I != NumResults; ++I) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000483 CodeCompletionString *StoredCompletion
484 = Results[I].CreateCodeCompletionString(S,
485 AllocatedResults.CodeCompletionAllocator);
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000486
487 CXCompletionResult R;
488 R.CursorKind = Results[I].CursorKind;
489 R.CompletionString = StoredCompletion;
490 StoredResults.push_back(R);
Douglas Gregor8e984da2010-08-04 16:47:14 +0000491 }
Douglas Gregor21325842011-07-07 16:03:39 +0000492
Douglas Gregor63745d52011-07-21 01:05:26 +0000493 enum CodeCompletionContext::Kind contextKind = Context.getKind();
Douglas Gregor21325842011-07-07 16:03:39 +0000494
Douglas Gregor63745d52011-07-21 01:05:26 +0000495 AllocatedResults.ContextKind = contextKind;
496 AllocatedResults.Contexts = getContextsForContextKind(contextKind, S);
497
498 QualType baseType = Context.getBaseType();
499 NamedDecl *D = NULL;
500
501 if (!baseType.isNull()) {
502 // Get the declaration for a class/struct/union/enum type
503 if (const TagType *Tag = baseType->getAs<TagType>())
504 D = Tag->getDecl();
505 // Get the @interface declaration for a (possibly-qualified) Objective-C
506 // object pointer type, e.g., NSString*
507 else if (const ObjCObjectPointerType *ObjPtr =
508 baseType->getAs<ObjCObjectPointerType>())
509 D = ObjPtr->getInterfaceDecl();
510 // Get the @interface declaration for an Objective-C object type
511 else if (const ObjCObjectType *Obj = baseType->getAs<ObjCObjectType>())
512 D = Obj->getInterface();
513 // Get the class for a C++ injected-class-name
514 else if (const InjectedClassNameType *Injected =
515 baseType->getAs<InjectedClassNameType>())
516 D = Injected->getDecl();
517 }
518
519 if (D != NULL) {
520 CXCursor cursor = cxcursor::MakeCXCursor(D, *TU);
521
522 CXCursorKind cursorKind = clang_getCursorKind(cursor);
523 CXString cursorUSR = clang_getCursorUSR(cursor);
524
525 AllocatedResults.ContainerKind = cursorKind;
526 AllocatedResults.ContainerUSR = cursorUSR;
527 const Type *type = baseType.getTypePtrOrNull();
528 if (type != NULL) {
529 AllocatedResults.ContainerIsIncomplete = type->isIncompleteType();
530 }
531 else {
532 AllocatedResults.ContainerIsIncomplete = 1;
533 }
534 }
535 else {
536 AllocatedResults.ContainerKind = CXCursor_InvalidCode;
537 AllocatedResults.ContainerUSR = createCXString("");
538 AllocatedResults.ContainerIsIncomplete = 1;
539 }
Douglas Gregor8e984da2010-08-04 16:47:14 +0000540 }
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000541
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000542 virtual void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg,
543 OverloadCandidate *Candidates,
544 unsigned NumCandidates) {
545 StoredResults.reserve(StoredResults.size() + NumCandidates);
546 for (unsigned I = 0; I != NumCandidates; ++I) {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000547 CodeCompletionString *StoredCompletion
548 = Candidates[I].CreateSignatureString(CurrentArg, S,
549 AllocatedResults.CodeCompletionAllocator);
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000550
551 CXCompletionResult R;
552 R.CursorKind = CXCursor_NotImplemented;
553 R.CompletionString = StoredCompletion;
554 StoredResults.push_back(R);
555 }
556 }
557
Douglas Gregorbcbf46c2011-02-01 22:57:45 +0000558 virtual CodeCompletionAllocator &getAllocator() {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000559 return AllocatedResults.CodeCompletionAllocator;
560 }
561
Douglas Gregor36e3b5c2010-10-11 21:37:58 +0000562 private:
563 void Finish() {
564 AllocatedResults.Results = new CXCompletionResult [StoredResults.size()];
565 AllocatedResults.NumResults = StoredResults.size();
566 std::memcpy(AllocatedResults.Results, StoredResults.data(),
567 StoredResults.size() * sizeof(CXCompletionResult));
568 StoredResults.clear();
569 }
Douglas Gregor8e984da2010-08-04 16:47:14 +0000570 };
571}
572
573extern "C" {
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000574struct CodeCompleteAtInfo {
575 CXTranslationUnit TU;
576 const char *complete_filename;
577 unsigned complete_line;
578 unsigned complete_column;
579 struct CXUnsavedFile *unsaved_files;
580 unsigned num_unsaved_files;
581 unsigned options;
582 CXCodeCompleteResults *result;
583};
584void clang_codeCompleteAt_Impl(void *UserData) {
585 CodeCompleteAtInfo *CCAI = static_cast<CodeCompleteAtInfo*>(UserData);
586 CXTranslationUnit TU = CCAI->TU;
587 const char *complete_filename = CCAI->complete_filename;
588 unsigned complete_line = CCAI->complete_line;
589 unsigned complete_column = CCAI->complete_column;
590 struct CXUnsavedFile *unsaved_files = CCAI->unsaved_files;
591 unsigned num_unsaved_files = CCAI->num_unsaved_files;
592 unsigned options = CCAI->options;
593 CCAI->result = 0;
594
Douglas Gregor8e984da2010-08-04 16:47:14 +0000595#ifdef UDP_CODE_COMPLETION_LOGGER
596#ifdef UDP_CODE_COMPLETION_LOGGER_PORT
597 const llvm::TimeRecord &StartTime = llvm::TimeRecord::getCurrentTime();
598#endif
599#endif
600
601 bool EnableLogging = getenv("LIBCLANG_CODE_COMPLETION_LOGGING") != 0;
602
Ted Kremenek91554282010-11-16 08:15:36 +0000603 ASTUnit *AST = static_cast<ASTUnit *>(TU->TUData);
Douglas Gregor8e984da2010-08-04 16:47:14 +0000604 if (!AST)
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000605 return;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000606
Douglas Gregorca5b0532010-09-23 18:47:53 +0000607 ASTUnit::ConcurrencyCheck Check(*AST);
608
Douglas Gregor8e984da2010-08-04 16:47:14 +0000609 // Perform the remapping of source files.
610 llvm::SmallVector<ASTUnit::RemappedFile, 4> RemappedFiles;
611 for (unsigned I = 0; I != num_unsaved_files; ++I) {
612 llvm::StringRef Data(unsaved_files[I].Contents, unsaved_files[I].Length);
613 const llvm::MemoryBuffer *Buffer
614 = llvm::MemoryBuffer::getMemBufferCopy(Data, unsaved_files[I].Filename);
615 RemappedFiles.push_back(std::make_pair(unsaved_files[I].Filename,
616 Buffer));
617 }
618
619 if (EnableLogging) {
620 // FIXME: Add logging.
621 }
622
623 // Parse the resulting source file to find code-completion results.
Anders Carlssonc30dcec2011-03-18 18:22:40 +0000624 AllocatedCXCodeCompleteResults *Results =
625 new AllocatedCXCodeCompleteResults(AST->getFileSystemOpts());
Douglas Gregor8e984da2010-08-04 16:47:14 +0000626 Results->Results = 0;
627 Results->NumResults = 0;
Douglas Gregor162b7122011-02-16 19:08:06 +0000628
Douglas Gregor8e984da2010-08-04 16:47:14 +0000629 // Create a code-completion consumer to capture the results.
Douglas Gregor63745d52011-07-21 01:05:26 +0000630 CaptureCompletionResults Capture(*Results, &TU);
Douglas Gregor8e984da2010-08-04 16:47:14 +0000631
632 // Perform completion.
633 AST->CodeComplete(complete_filename, complete_line, complete_column,
Douglas Gregorb68bc592010-08-05 09:09:23 +0000634 RemappedFiles.data(), RemappedFiles.size(),
635 (options & CXCodeComplete_IncludeMacros),
636 (options & CXCodeComplete_IncludeCodePatterns),
637 Capture,
Ted Kremenek5e14d392011-03-21 18:40:17 +0000638 *Results->Diag, Results->LangOpts, *Results->SourceMgr,
639 *Results->FileMgr, Results->Diagnostics,
Douglas Gregorb97b6662010-08-20 00:59:43 +0000640 Results->TemporaryBuffers);
Douglas Gregor162b7122011-02-16 19:08:06 +0000641
642 // Keep a reference to the allocator used for cached global completions, so
643 // that we can be sure that the memory used by our code completion strings
644 // doesn't get freed due to subsequent reparses (while the code completion
645 // results are still active).
646 Results->CachedCompletionAllocator = AST->getCachedCompletionAllocator();
Douglas Gregor8e984da2010-08-04 16:47:14 +0000647
648
649
650#ifdef UDP_CODE_COMPLETION_LOGGER
651#ifdef UDP_CODE_COMPLETION_LOGGER_PORT
652 const llvm::TimeRecord &EndTime = llvm::TimeRecord::getCurrentTime();
653 llvm::SmallString<256> LogResult;
654 llvm::raw_svector_ostream os(LogResult);
655
656 // Figure out the language and whether or not it uses PCH.
657 const char *lang = 0;
658 bool usesPCH = false;
659
660 for (std::vector<const char*>::iterator I = argv.begin(), E = argv.end();
661 I != E; ++I) {
662 if (*I == 0)
663 continue;
664 if (strcmp(*I, "-x") == 0) {
665 if (I + 1 != E) {
666 lang = *(++I);
667 continue;
668 }
669 }
670 else if (strcmp(*I, "-include") == 0) {
671 if (I+1 != E) {
672 const char *arg = *(++I);
673 llvm::SmallString<512> pchName;
674 {
675 llvm::raw_svector_ostream os(pchName);
676 os << arg << ".pth";
677 }
678 pchName.push_back('\0');
679 struct stat stat_results;
680 if (stat(pchName.data(), &stat_results) == 0)
681 usesPCH = true;
682 continue;
683 }
684 }
685 }
686
687 os << "{ ";
688 os << "\"wall\": " << (EndTime.getWallTime() - StartTime.getWallTime());
689 os << ", \"numRes\": " << Results->NumResults;
690 os << ", \"diags\": " << Results->Diagnostics.size();
691 os << ", \"pch\": " << (usesPCH ? "true" : "false");
692 os << ", \"lang\": \"" << (lang ? lang : "<unknown>") << '"';
693 const char *name = getlogin();
694 os << ", \"user\": \"" << (name ? name : "unknown") << '"';
695 os << ", \"clangVer\": \"" << getClangFullVersion() << '"';
696 os << " }";
697
698 llvm::StringRef res = os.str();
699 if (res.size() > 0) {
700 do {
701 // Setup the UDP socket.
702 struct sockaddr_in servaddr;
703 bzero(&servaddr, sizeof(servaddr));
704 servaddr.sin_family = AF_INET;
705 servaddr.sin_port = htons(UDP_CODE_COMPLETION_LOGGER_PORT);
706 if (inet_pton(AF_INET, UDP_CODE_COMPLETION_LOGGER,
707 &servaddr.sin_addr) <= 0)
708 break;
709
710 int sockfd = socket(AF_INET, SOCK_DGRAM, 0);
711 if (sockfd < 0)
712 break;
713
714 sendto(sockfd, res.data(), res.size(), 0,
715 (struct sockaddr *)&servaddr, sizeof(servaddr));
716 close(sockfd);
717 }
718 while (false);
719 }
720#endif
721#endif
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000722 CCAI->result = Results;
723}
724CXCodeCompleteResults *clang_codeCompleteAt(CXTranslationUnit TU,
725 const char *complete_filename,
726 unsigned complete_line,
727 unsigned complete_column,
728 struct CXUnsavedFile *unsaved_files,
729 unsigned num_unsaved_files,
730 unsigned options) {
731 CodeCompleteAtInfo CCAI = { TU, complete_filename, complete_line,
732 complete_column, unsaved_files, num_unsaved_files,
733 options, 0 };
734 llvm::CrashRecoveryContext CRC;
735
Daniel Dunbarb7383e62010-11-05 07:19:31 +0000736 if (!RunSafely(CRC, clang_codeCompleteAt_Impl, &CCAI)) {
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000737 fprintf(stderr, "libclang: crash detected in code completion\n");
Ted Kremenek91554282010-11-16 08:15:36 +0000738 static_cast<ASTUnit *>(TU->TUData)->setUnsafeToFree(true);
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000739 return 0;
Douglas Gregoraf44c782011-05-05 20:27:22 +0000740 } else if (getenv("LIBCLANG_RESOURCE_USAGE"))
741 PrintLibclangResourceUsage(TU);
Daniel Dunbar77af1c52010-08-19 23:44:10 +0000742
743 return CCAI.result;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000744}
745
Douglas Gregorb68bc592010-08-05 09:09:23 +0000746unsigned clang_defaultCodeCompleteOptions(void) {
747 return CXCodeComplete_IncludeMacros;
748}
749
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000750void clang_disposeCodeCompleteResults(CXCodeCompleteResults *ResultsIn) {
751 if (!ResultsIn)
752 return;
753
754 AllocatedCXCodeCompleteResults *Results
755 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000756 delete Results;
757}
Douglas Gregorf757a122010-08-23 23:00:57 +0000758
Douglas Gregor33cdd812010-02-18 18:08:43 +0000759unsigned
760clang_codeCompleteGetNumDiagnostics(CXCodeCompleteResults *ResultsIn) {
761 AllocatedCXCodeCompleteResults *Results
762 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
763 if (!Results)
764 return 0;
765
766 return Results->Diagnostics.size();
767}
768
769CXDiagnostic
770clang_codeCompleteGetDiagnostic(CXCodeCompleteResults *ResultsIn,
771 unsigned Index) {
772 AllocatedCXCodeCompleteResults *Results
773 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
774 if (!Results || Index >= Results->Diagnostics.size())
775 return 0;
776
777 return new CXStoredDiagnostic(Results->Diagnostics[Index], Results->LangOpts);
778}
779
Douglas Gregor21325842011-07-07 16:03:39 +0000780unsigned long long
781clang_codeCompleteGetContexts(CXCodeCompleteResults *ResultsIn) {
782 AllocatedCXCodeCompleteResults *Results
783 = static_cast<AllocatedCXCodeCompleteResults*>(ResultsIn);
784 if (!Results)
785 return 0;
786
787 return Results->Contexts;
788}
Douglas Gregor33cdd812010-02-18 18:08:43 +0000789
Douglas Gregor63745d52011-07-21 01:05:26 +0000790enum CXCursorKind clang_codeCompleteGetContainerKind(
791 CXCodeCompleteResults *ResultsIn,
792 unsigned *IsIncomplete) {
793 AllocatedCXCodeCompleteResults *Results =
794 static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn);
795 if (!Results)
796 return CXCursor_InvalidCode;
797
798 if (IsIncomplete != NULL) {
799 *IsIncomplete = Results->ContainerIsIncomplete;
800 }
801
802 return Results->ContainerKind;
803}
804
805CXString clang_codeCompleteGetContainerUSR(CXCodeCompleteResults *ResultsIn) {
806 AllocatedCXCodeCompleteResults *Results =
807 static_cast<AllocatedCXCodeCompleteResults *>(ResultsIn);
808 if (!Results)
809 return createCXString("");
810
811 return createCXString(clang_getCString(Results->ContainerUSR));
812}
813
Ted Kremenek0ec2cca2010-01-05 19:32:54 +0000814} // end extern "C"
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000815
Douglas Gregor8e3e8742010-10-18 21:05:04 +0000816/// \brief Simple utility function that appends a \p New string to the given
817/// \p Old string, using the \p Buffer for storage.
818///
819/// \param Old The string to which we are appending. This parameter will be
820/// updated to reflect the complete string.
821///
822///
823/// \param New The string to append to \p Old.
824///
825/// \param Buffer A buffer that stores the actual, concatenated string. It will
826/// be used if the old string is already-non-empty.
827static void AppendToString(llvm::StringRef &Old, llvm::StringRef New,
828 llvm::SmallString<256> &Buffer) {
829 if (Old.empty()) {
830 Old = New;
831 return;
832 }
833
834 if (Buffer.empty())
835 Buffer.append(Old.begin(), Old.end());
836 Buffer.append(New.begin(), New.end());
837 Old = Buffer.str();
838}
839
840/// \brief Get the typed-text blocks from the given code-completion string
841/// and return them as a single string.
842///
843/// \param String The code-completion string whose typed-text blocks will be
844/// concatenated.
845///
846/// \param Buffer A buffer used for storage of the completed name.
847static llvm::StringRef GetTypedName(CodeCompletionString *String,
848 llvm::SmallString<256> &Buffer) {
849 llvm::StringRef Result;
850 for (CodeCompletionString::iterator C = String->begin(), CEnd = String->end();
851 C != CEnd; ++C) {
852 if (C->Kind == CodeCompletionString::CK_TypedText)
853 AppendToString(Result, C->Text, Buffer);
854 }
855
856 return Result;
857}
858
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000859namespace {
860 struct OrderCompletionResults {
861 bool operator()(const CXCompletionResult &XR,
862 const CXCompletionResult &YR) const {
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000863 CodeCompletionString *X
864 = (CodeCompletionString *)XR.CompletionString;
865 CodeCompletionString *Y
866 = (CodeCompletionString *)YR.CompletionString;
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000867
Douglas Gregor8e3e8742010-10-18 21:05:04 +0000868 llvm::SmallString<256> XBuffer;
869 llvm::StringRef XText = GetTypedName(X, XBuffer);
870 llvm::SmallString<256> YBuffer;
871 llvm::StringRef YText = GetTypedName(Y, YBuffer);
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000872
Douglas Gregor8e3e8742010-10-18 21:05:04 +0000873 if (XText.empty() || YText.empty())
874 return !XText.empty();
875
876 int result = XText.compare_lower(YText);
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000877 if (result < 0)
878 return true;
879 if (result > 0)
880 return false;
881
Douglas Gregor8e3e8742010-10-18 21:05:04 +0000882 result = XText.compare(YText);
Douglas Gregorc7a7d922010-09-10 23:05:54 +0000883 return result < 0;
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000884 }
885 };
886}
887
888extern "C" {
889 void clang_sortCodeCompletionResults(CXCompletionResult *Results,
890 unsigned NumResults) {
891 std::stable_sort(Results, Results + NumResults, OrderCompletionResults());
892 }
Douglas Gregor67c692c2010-08-26 15:07:07 +0000893}