blob: 9a4f0d921bf459bc7aaf1e61fbc455b2ce975155 [file] [log] [blame]
Douglas Gregor3545ff42009-09-21 16:56:56 +00001//===--- CodeCompleteConsumer.cpp - Code Completion Interface ---*- C++ -*-===//
Douglas Gregor2436e712009-09-17 21:32:03 +00002//
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 CodeCompleteConsumer class.
11//
12//===----------------------------------------------------------------------===//
13#include "clang/Sema/CodeCompleteConsumer.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000014#include "clang-c/Index.h"
Douglas Gregor56c2dbc2009-09-18 17:54:00 +000015#include "clang/AST/DeclCXX.h"
John McCallde6836a2010-08-24 07:21:54 +000016#include "clang/AST/DeclObjC.h"
John McCall19c1bfd2010-08-25 05:32:35 +000017#include "clang/AST/DeclTemplate.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/Sema/Scope.h"
19#include "clang/Sema/Sema.h"
Douglas Gregor2436e712009-09-17 21:32:03 +000020#include "llvm/ADT/STLExtras.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "llvm/ADT/SmallString.h"
Douglas Gregor669a25a2011-02-17 00:22:45 +000022#include "llvm/ADT/Twine.h"
Douglas Gregor2436e712009-09-17 21:32:03 +000023#include "llvm/Support/raw_ostream.h"
24#include <algorithm>
Douglas Gregorfedc3282009-09-18 22:15:54 +000025#include <cstring>
26#include <functional>
Douglas Gregorab6ccb52009-11-17 16:43:05 +000027
Douglas Gregor2436e712009-09-17 21:32:03 +000028using namespace clang;
29
Douglas Gregorfedc3282009-09-18 22:15:54 +000030//===----------------------------------------------------------------------===//
Douglas Gregor0212fd72010-09-21 16:06:22 +000031// Code completion context implementation
32//===----------------------------------------------------------------------===//
33
34bool CodeCompletionContext::wantConstructorResults() const {
35 switch (Kind) {
Douglas Gregor0ac41382010-09-23 23:01:17 +000036 case CCC_Recovery:
Douglas Gregor0212fd72010-09-21 16:06:22 +000037 case CCC_Statement:
38 case CCC_Expression:
39 case CCC_ObjCMessageReceiver:
40 case CCC_ParenthesizedExpression:
41 return true;
42
43 case CCC_TopLevel:
44 case CCC_ObjCInterface:
45 case CCC_ObjCImplementation:
46 case CCC_ObjCIvarList:
47 case CCC_ClassStructUnion:
Douglas Gregor21325842011-07-07 16:03:39 +000048 case CCC_DotMemberAccess:
49 case CCC_ArrowMemberAccess:
50 case CCC_ObjCPropertyAccess:
Douglas Gregor0212fd72010-09-21 16:06:22 +000051 case CCC_EnumTag:
52 case CCC_UnionTag:
53 case CCC_ClassOrStructTag:
54 case CCC_ObjCProtocolName:
55 case CCC_Namespace:
56 case CCC_Type:
57 case CCC_Name:
58 case CCC_PotentiallyQualifiedName:
59 case CCC_MacroName:
60 case CCC_MacroNameUse:
61 case CCC_PreprocessorExpression:
62 case CCC_PreprocessorDirective:
63 case CCC_NaturalLanguage:
64 case CCC_SelectorName:
65 case CCC_TypeQualifiers:
Douglas Gregor0ac41382010-09-23 23:01:17 +000066 case CCC_Other:
Douglas Gregor3a69eaf2011-02-18 23:30:37 +000067 case CCC_OtherWithMacros:
Douglas Gregor21325842011-07-07 16:03:39 +000068 case CCC_ObjCInstanceMessage:
69 case CCC_ObjCClassMessage:
Douglas Gregor2c595ad2011-07-30 06:55:39 +000070 case CCC_ObjCInterfaceName:
Douglas Gregor21325842011-07-07 16:03:39 +000071 case CCC_ObjCCategoryName:
Douglas Gregor0212fd72010-09-21 16:06:22 +000072 return false;
73 }
David Blaikie8a40f702012-01-17 06:56:22 +000074
75 llvm_unreachable("Invalid CodeCompletionContext::Kind!");
Douglas Gregor0212fd72010-09-21 16:06:22 +000076}
77
78//===----------------------------------------------------------------------===//
Douglas Gregorfedc3282009-09-18 22:15:54 +000079// Code completion string implementation
80//===----------------------------------------------------------------------===//
Douglas Gregorb278aaf2011-02-01 19:23:04 +000081CodeCompletionString::Chunk::Chunk(ChunkKind Kind, const char *Text)
Daniel Dunbarb0a19422009-11-12 18:40:12 +000082 : Kind(Kind), Text("")
Douglas Gregor5bf52692009-09-22 23:15:58 +000083{
Douglas Gregor9eb77012009-11-07 00:00:49 +000084 switch (Kind) {
85 case CK_TypedText:
86 case CK_Text:
87 case CK_Placeholder:
88 case CK_Informative:
Douglas Gregorb3fa9192009-12-18 18:53:37 +000089 case CK_ResultType:
Douglas Gregorb278aaf2011-02-01 19:23:04 +000090 case CK_CurrentParameter:
91 this->Text = Text;
Douglas Gregor9eb77012009-11-07 00:00:49 +000092 break;
Douglas Gregor9eb77012009-11-07 00:00:49 +000093
94 case CK_Optional:
Jeffrey Yasskin1615d452009-12-12 05:05:38 +000095 llvm_unreachable("Optional strings cannot be created from text");
Douglas Gregor9eb77012009-11-07 00:00:49 +000096
97 case CK_LeftParen:
98 this->Text = "(";
99 break;
100
101 case CK_RightParen:
102 this->Text = ")";
103 break;
104
105 case CK_LeftBracket:
106 this->Text = "[";
107 break;
108
109 case CK_RightBracket:
110 this->Text = "]";
111 break;
112
113 case CK_LeftBrace:
114 this->Text = "{";
115 break;
116
117 case CK_RightBrace:
118 this->Text = "}";
119 break;
120
121 case CK_LeftAngle:
122 this->Text = "<";
123 break;
124
125 case CK_RightAngle:
126 this->Text = ">";
127 break;
128
129 case CK_Comma:
130 this->Text = ", ";
131 break;
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000132
133 case CK_Colon:
Douglas Gregor636a61e2010-04-07 00:21:17 +0000134 this->Text = ":";
Douglas Gregor504a6ae2010-01-10 23:08:15 +0000135 break;
136
137 case CK_SemiColon:
138 this->Text = ";";
139 break;
140
141 case CK_Equal:
142 this->Text = " = ";
143 break;
144
145 case CK_HorizontalSpace:
146 this->Text = " ";
147 break;
148
149 case CK_VerticalSpace:
150 this->Text = "\n";
151 break;
Douglas Gregor9eb77012009-11-07 00:00:49 +0000152 }
Douglas Gregor5bf52692009-09-22 23:15:58 +0000153}
154
155CodeCompletionString::Chunk
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000156CodeCompletionString::Chunk::CreateText(const char *Text) {
Douglas Gregor5bf52692009-09-22 23:15:58 +0000157 return Chunk(CK_Text, Text);
Douglas Gregorfedc3282009-09-18 22:15:54 +0000158}
159
160CodeCompletionString::Chunk
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000161CodeCompletionString::Chunk::CreateOptional(CodeCompletionString *Optional) {
Douglas Gregorfedc3282009-09-18 22:15:54 +0000162 Chunk Result;
163 Result.Kind = CK_Optional;
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000164 Result.Optional = Optional;
Douglas Gregorfedc3282009-09-18 22:15:54 +0000165 return Result;
166}
167
168CodeCompletionString::Chunk
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000169CodeCompletionString::Chunk::CreatePlaceholder(const char *Placeholder) {
Douglas Gregor5bf52692009-09-22 23:15:58 +0000170 return Chunk(CK_Placeholder, Placeholder);
171}
172
173CodeCompletionString::Chunk
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000174CodeCompletionString::Chunk::CreateInformative(const char *Informative) {
Douglas Gregor5bf52692009-09-22 23:15:58 +0000175 return Chunk(CK_Informative, Informative);
Douglas Gregorfedc3282009-09-18 22:15:54 +0000176}
177
Douglas Gregor9eb77012009-11-07 00:00:49 +0000178CodeCompletionString::Chunk
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000179CodeCompletionString::Chunk::CreateResultType(const char *ResultType) {
Douglas Gregorb3fa9192009-12-18 18:53:37 +0000180 return Chunk(CK_ResultType, ResultType);
181}
182
183CodeCompletionString::Chunk
Douglas Gregor9eb77012009-11-07 00:00:49 +0000184CodeCompletionString::Chunk::CreateCurrentParameter(
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000185 const char *CurrentParameter) {
Douglas Gregor9eb77012009-11-07 00:00:49 +0000186 return Chunk(CK_CurrentParameter, CurrentParameter);
187}
188
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000189CodeCompletionString::CodeCompletionString(const Chunk *Chunks,
190 unsigned NumChunks,
191 unsigned Priority,
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000192 CXAvailabilityKind Availability,
193 const char **Annotations,
Douglas Gregor78254c82012-03-27 23:34:16 +0000194 unsigned NumAnnotations,
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000195 StringRef ParentName,
196 const char *BriefComment)
Douglas Gregor78254c82012-03-27 23:34:16 +0000197 : NumChunks(NumChunks), NumAnnotations(NumAnnotations),
Argyrios Kyrtzidis9ae39562012-09-26 16:39:56 +0000198 Priority(Priority), Availability(Availability),
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000199 ParentName(ParentName), BriefComment(BriefComment)
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000200{
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000201 assert(NumChunks <= 0xffff);
202 assert(NumAnnotations <= 0xffff);
203
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000204 Chunk *StoredChunks = reinterpret_cast<Chunk *>(this + 1);
205 for (unsigned I = 0; I != NumChunks; ++I)
206 StoredChunks[I] = Chunks[I];
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000207
208 const char **StoredAnnotations = reinterpret_cast<const char **>(StoredChunks + NumChunks);
209 for (unsigned I = 0; I != NumAnnotations; ++I)
210 StoredAnnotations[I] = Annotations[I];
Douglas Gregorfedc3282009-09-18 22:15:54 +0000211}
212
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000213unsigned CodeCompletionString::getAnnotationCount() const {
214 return NumAnnotations;
215}
216
217const char *CodeCompletionString::getAnnotation(unsigned AnnotationNr) const {
218 if (AnnotationNr < NumAnnotations)
219 return reinterpret_cast<const char * const*>(end())[AnnotationNr];
220 else
Craig Topperc3ec1492014-05-26 06:22:03 +0000221 return nullptr;
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000222}
223
224
Douglas Gregorfedc3282009-09-18 22:15:54 +0000225std::string CodeCompletionString::getAsString() const {
226 std::string Result;
227 llvm::raw_string_ostream OS(Result);
228
229 for (iterator C = begin(), CEnd = end(); C != CEnd; ++C) {
230 switch (C->Kind) {
Douglas Gregorfedc3282009-09-18 22:15:54 +0000231 case CK_Optional: OS << "{#" << C->Optional->getAsString() << "#}"; break;
Douglas Gregor5bf52692009-09-22 23:15:58 +0000232 case CK_Placeholder: OS << "<#" << C->Text << "#>"; break;
Douglas Gregorb3fa9192009-12-18 18:53:37 +0000233
234 case CK_Informative:
235 case CK_ResultType:
236 OS << "[#" << C->Text << "#]";
237 break;
238
Douglas Gregor9eb77012009-11-07 00:00:49 +0000239 case CK_CurrentParameter: OS << "<#" << C->Text << "#>"; break;
240 default: OS << C->Text; break;
Douglas Gregorfedc3282009-09-18 22:15:54 +0000241 }
242 }
Dan Gohman4888f1a2010-07-26 21:33:22 +0000243 return OS.str();
Douglas Gregorfedc3282009-09-18 22:15:54 +0000244}
245
Douglas Gregor45f83ee2009-11-19 00:01:57 +0000246const char *CodeCompletionString::getTypedText() const {
247 for (iterator C = begin(), CEnd = end(); C != CEnd; ++C)
248 if (C->Kind == CK_TypedText)
249 return C->Text;
Craig Topperc3ec1492014-05-26 06:22:03 +0000250
251 return nullptr;
Douglas Gregor45f83ee2009-11-19 00:01:57 +0000252}
253
Yaron Keren1ee89fc2015-03-17 09:51:17 +0000254const char *CodeCompletionAllocator::CopyString(const Twine &String) {
255 SmallString<128> Data;
256 StringRef Ref = String.toStringRef(Data);
Douglas Gregor669a25a2011-02-17 00:22:45 +0000257 // FIXME: It would be more efficient to teach Twine to tell us its size and
258 // then add a routine there to fill in an allocated char* with the contents
259 // of the string.
Yaron Keren1ee89fc2015-03-17 09:51:17 +0000260 char *Mem = (char *)Allocate(Ref.size() + 1, 1);
261 std::copy(Ref.begin(), Ref.end(), Mem);
262 Mem[Ref.size()] = 0;
263 return Mem;
Douglas Gregor669a25a2011-02-17 00:22:45 +0000264}
265
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000266StringRef CodeCompletionTUInfo::getParentName(const DeclContext *DC) {
267 const NamedDecl *ND = dyn_cast<NamedDecl>(DC);
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000268 if (!ND)
269 return StringRef();
270
271 // Check whether we've already cached the parent name.
272 StringRef &CachedParentName = ParentNames[DC];
273 if (!CachedParentName.empty())
274 return CachedParentName;
275
276 // If we already processed this DeclContext and assigned empty to it, the
277 // data pointer will be non-null.
Craig Topperc3ec1492014-05-26 06:22:03 +0000278 if (CachedParentName.data() != nullptr)
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000279 return StringRef();
280
281 // Find the interesting names.
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000282 SmallVector<const DeclContext *, 2> Contexts;
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000283 while (DC && !DC->isFunctionOrMethod()) {
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000284 if (const NamedDecl *ND = dyn_cast<NamedDecl>(DC)) {
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000285 if (ND->getIdentifier())
286 Contexts.push_back(DC);
287 }
288
289 DC = DC->getParent();
290 }
291
292 {
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000293 SmallString<128> S;
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000294 llvm::raw_svector_ostream OS(S);
295 bool First = true;
296 for (unsigned I = Contexts.size(); I != 0; --I) {
297 if (First)
298 First = false;
299 else {
300 OS << "::";
301 }
302
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000303 const DeclContext *CurDC = Contexts[I-1];
304 if (const ObjCCategoryImplDecl *CatImpl = dyn_cast<ObjCCategoryImplDecl>(CurDC))
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000305 CurDC = CatImpl->getCategoryDecl();
306
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000307 if (const ObjCCategoryDecl *Cat = dyn_cast<ObjCCategoryDecl>(CurDC)) {
308 const ObjCInterfaceDecl *Interface = Cat->getClassInterface();
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000309 if (!Interface) {
310 // Assign an empty StringRef but with non-null data to distinguish
311 // between empty because we didn't process the DeclContext yet.
Reid Klecknerd16cebe2016-02-10 19:09:15 +0000312 CachedParentName = StringRef((const char *)(uintptr_t)~0U, 0);
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000313 return StringRef();
314 }
315
316 OS << Interface->getName() << '(' << Cat->getName() << ')';
317 } else {
318 OS << cast<NamedDecl>(CurDC)->getName();
319 }
320 }
321
322 CachedParentName = AllocatorRef->CopyString(OS.str());
323 }
324
325 return CachedParentName;
326}
327
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000328CodeCompletionString *CodeCompletionBuilder::TakeString() {
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000329 void *Mem = getAllocator().Allocate(
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000330 sizeof(CodeCompletionString) + sizeof(Chunk) * Chunks.size()
331 + sizeof(const char *) * Annotations.size(),
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000332 llvm::alignOf<CodeCompletionString>());
333 CodeCompletionString *Result
334 = new (Mem) CodeCompletionString(Chunks.data(), Chunks.size(),
Erik Verbruggen98ea7f62011-10-14 15:31:08 +0000335 Priority, Availability,
Douglas Gregor78254c82012-03-27 23:34:16 +0000336 Annotations.data(), Annotations.size(),
Argyrios Kyrtzidis9ae39562012-09-26 16:39:56 +0000337 ParentName, BriefComment);
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000338 Chunks.clear();
Douglas Gregor45f83ee2009-11-19 00:01:57 +0000339 return Result;
340}
Douglas Gregor9eb77012009-11-07 00:00:49 +0000341
Benjamin Kramerdb534a42012-03-26 16:57:36 +0000342void CodeCompletionBuilder::AddTypedTextChunk(const char *Text) {
343 Chunks.push_back(Chunk(CodeCompletionString::CK_TypedText, Text));
344}
345
346void CodeCompletionBuilder::AddTextChunk(const char *Text) {
347 Chunks.push_back(Chunk::CreateText(Text));
348}
349
350void CodeCompletionBuilder::AddOptionalChunk(CodeCompletionString *Optional) {
351 Chunks.push_back(Chunk::CreateOptional(Optional));
352}
353
354void CodeCompletionBuilder::AddPlaceholderChunk(const char *Placeholder) {
355 Chunks.push_back(Chunk::CreatePlaceholder(Placeholder));
356}
357
358void CodeCompletionBuilder::AddInformativeChunk(const char *Text) {
359 Chunks.push_back(Chunk::CreateInformative(Text));
360}
361
362void CodeCompletionBuilder::AddResultTypeChunk(const char *ResultType) {
363 Chunks.push_back(Chunk::CreateResultType(ResultType));
364}
365
366void
367CodeCompletionBuilder::AddCurrentParameterChunk(const char *CurrentParameter) {
368 Chunks.push_back(Chunk::CreateCurrentParameter(CurrentParameter));
369}
370
371void CodeCompletionBuilder::AddChunk(CodeCompletionString::ChunkKind CK,
372 const char *Text) {
373 Chunks.push_back(Chunk(CK, Text));
374}
375
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000376void CodeCompletionBuilder::addParentContext(const DeclContext *DC) {
Douglas Gregor78254c82012-03-27 23:34:16 +0000377 if (DC->isTranslationUnit()) {
Douglas Gregor78254c82012-03-27 23:34:16 +0000378 return;
379 }
380
381 if (DC->isFunctionOrMethod())
382 return;
383
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000384 const NamedDecl *ND = dyn_cast<NamedDecl>(DC);
Douglas Gregor78254c82012-03-27 23:34:16 +0000385 if (!ND)
386 return;
387
Argyrios Kyrtzidis9d7c0fe2012-04-10 17:23:48 +0000388 ParentName = getCodeCompletionTUInfo().getParentName(DC);
Douglas Gregor78254c82012-03-27 23:34:16 +0000389}
390
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000391void CodeCompletionBuilder::addBriefComment(StringRef Comment) {
392 BriefComment = Allocator.CopyString(Comment);
393}
394
Douglas Gregorfedc3282009-09-18 22:15:54 +0000395//===----------------------------------------------------------------------===//
Douglas Gregor05f477c2009-09-23 00:16:58 +0000396// Code completion overload candidate implementation
397//===----------------------------------------------------------------------===//
398FunctionDecl *
399CodeCompleteConsumer::OverloadCandidate::getFunction() const {
400 if (getKind() == CK_Function)
401 return Function;
402 else if (getKind() == CK_FunctionTemplate)
403 return FunctionTemplate->getTemplatedDecl();
404 else
Craig Topperc3ec1492014-05-26 06:22:03 +0000405 return nullptr;
Douglas Gregor05f477c2009-09-23 00:16:58 +0000406}
407
408const FunctionType *
409CodeCompleteConsumer::OverloadCandidate::getFunctionType() const {
410 switch (Kind) {
411 case CK_Function:
412 return Function->getType()->getAs<FunctionType>();
413
414 case CK_FunctionTemplate:
415 return FunctionTemplate->getTemplatedDecl()->getType()
416 ->getAs<FunctionType>();
417
418 case CK_FunctionType:
419 return Type;
420 }
David Blaikie8a40f702012-01-17 06:56:22 +0000421
422 llvm_unreachable("Invalid CandidateKind!");
Douglas Gregor05f477c2009-09-23 00:16:58 +0000423}
424
425//===----------------------------------------------------------------------===//
Douglas Gregorfedc3282009-09-18 22:15:54 +0000426// Code completion consumer implementation
427//===----------------------------------------------------------------------===//
428
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +0000429CodeCompleteConsumer::~CodeCompleteConsumer() { }
Douglas Gregorfedc3282009-09-18 22:15:54 +0000430
Douglas Gregor2436e712009-09-17 21:32:03 +0000431void
Daniel Dunbar242ea9a2009-11-13 08:58:20 +0000432PrintingCodeCompleteConsumer::ProcessCodeCompleteResults(Sema &SemaRef,
Douglas Gregor00c37ef2010-08-11 21:23:17 +0000433 CodeCompletionContext Context,
John McCall276321a2010-08-25 06:19:51 +0000434 CodeCompletionResult *Results,
Douglas Gregor2436e712009-09-17 21:32:03 +0000435 unsigned NumResults) {
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000436 std::stable_sort(Results, Results + NumResults);
437
Douglas Gregor2436e712009-09-17 21:32:03 +0000438 // Print the results.
439 for (unsigned I = 0; I != NumResults; ++I) {
Douglas Gregor58acf322009-10-09 22:16:47 +0000440 OS << "COMPLETION: ";
Douglas Gregor2436e712009-09-17 21:32:03 +0000441 switch (Results[I].Kind) {
John McCall276321a2010-08-25 06:19:51 +0000442 case CodeCompletionResult::RK_Declaration:
Benjamin Kramerb89514a2011-10-14 18:45:37 +0000443 OS << *Results[I].Declaration;
Douglas Gregor2436e712009-09-17 21:32:03 +0000444 if (Results[I].Hidden)
445 OS << " (Hidden)";
Douglas Gregor3545ff42009-09-21 16:56:56 +0000446 if (CodeCompletionString *CCS
Douglas Gregorc3425b12015-07-07 06:20:19 +0000447 = Results[I].CreateCodeCompletionString(SemaRef, Context,
448 getAllocator(),
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000449 CCTUInfo,
450 includeBriefComments())) {
Douglas Gregorfedc3282009-09-18 22:15:54 +0000451 OS << " : " << CCS->getAsString();
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000452 if (const char *BriefComment = CCS->getBriefComment())
453 OS << " : " << BriefComment;
Douglas Gregorfedc3282009-09-18 22:15:54 +0000454 }
455
Douglas Gregor2436e712009-09-17 21:32:03 +0000456 OS << '\n';
457 break;
458
John McCall276321a2010-08-25 06:19:51 +0000459 case CodeCompletionResult::RK_Keyword:
Douglas Gregor52ce62f2010-01-13 23:24:38 +0000460 OS << Results[I].Keyword << '\n';
Douglas Gregor2436e712009-09-17 21:32:03 +0000461 break;
Douglas Gregorf329c7c2009-10-30 16:50:04 +0000462
John McCall276321a2010-08-25 06:19:51 +0000463 case CodeCompletionResult::RK_Macro: {
Douglas Gregor52ce62f2010-01-13 23:24:38 +0000464 OS << Results[I].Macro->getName();
Douglas Gregorf329c7c2009-10-30 16:50:04 +0000465 if (CodeCompletionString *CCS
Douglas Gregorc3425b12015-07-07 06:20:19 +0000466 = Results[I].CreateCodeCompletionString(SemaRef, Context,
467 getAllocator(),
Dmitri Gribenko3292d062012-07-02 17:35:10 +0000468 CCTUInfo,
469 includeBriefComments())) {
Douglas Gregorf329c7c2009-10-30 16:50:04 +0000470 OS << " : " << CCS->getAsString();
Douglas Gregorf329c7c2009-10-30 16:50:04 +0000471 }
472 OS << '\n';
473 break;
474 }
Douglas Gregor45f83ee2009-11-19 00:01:57 +0000475
John McCall276321a2010-08-25 06:19:51 +0000476 case CodeCompletionResult::RK_Pattern: {
Douglas Gregor52ce62f2010-01-13 23:24:38 +0000477 OS << "Pattern : "
Douglas Gregor45f83ee2009-11-19 00:01:57 +0000478 << Results[I].Pattern->getAsString() << '\n';
479 break;
480 }
Douglas Gregor2436e712009-09-17 21:32:03 +0000481 }
482 }
Douglas Gregor2436e712009-09-17 21:32:03 +0000483}
Douglas Gregor05f477c2009-09-23 00:16:58 +0000484
Francisco Lopes da Silva0c010cd2015-01-28 14:17:22 +0000485// This function is used solely to preserve the former presentation of overloads
486// by "clang -cc1 -code-completion-at", since CodeCompletionString::getAsString
487// needs to be improved for printing the newer and more detailed overload
488// chunks.
489static std::string getOverloadAsString(const CodeCompletionString &CCS) {
490 std::string Result;
491 llvm::raw_string_ostream OS(Result);
492
493 for (auto &C : CCS) {
494 switch (C.Kind) {
495 case CodeCompletionString::CK_Informative:
496 case CodeCompletionString::CK_ResultType:
497 OS << "[#" << C.Text << "#]";
498 break;
499
500 case CodeCompletionString::CK_CurrentParameter:
501 OS << "<#" << C.Text << "#>";
502 break;
503
504 default: OS << C.Text; break;
505 }
506 }
507 return OS.str();
508}
509
Douglas Gregor05f477c2009-09-23 00:16:58 +0000510void
Daniel Dunbar242ea9a2009-11-13 08:58:20 +0000511PrintingCodeCompleteConsumer::ProcessOverloadCandidates(Sema &SemaRef,
512 unsigned CurrentArg,
Douglas Gregor05f477c2009-09-23 00:16:58 +0000513 OverloadCandidate *Candidates,
514 unsigned NumCandidates) {
515 for (unsigned I = 0; I != NumCandidates; ++I) {
Douglas Gregorf0f51982009-09-23 00:34:09 +0000516 if (CodeCompletionString *CCS
Douglas Gregorb278aaf2011-02-01 19:23:04 +0000517 = Candidates[I].CreateSignatureString(CurrentArg, SemaRef,
Francisco Lopes da Silva0c010cd2015-01-28 14:17:22 +0000518 getAllocator(), CCTUInfo,
519 includeBriefComments())) {
520 OS << "OVERLOAD: " << getOverloadAsString(*CCS) << "\n";
Douglas Gregor05f477c2009-09-23 00:16:58 +0000521 }
522 }
Douglas Gregor05f477c2009-09-23 00:16:58 +0000523}
Douglas Gregor9eb77012009-11-07 00:00:49 +0000524
Douglas Gregor7b316822012-03-17 06:39:06 +0000525/// \brief Retrieve the effective availability of the given declaration.
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000526static AvailabilityResult getDeclAvailability(const Decl *D) {
Douglas Gregor7b316822012-03-17 06:39:06 +0000527 AvailabilityResult AR = D->getAvailability();
528 if (isa<EnumConstantDecl>(D))
529 AR = std::max(AR, cast<Decl>(D->getDeclContext())->getAvailability());
530 return AR;
531}
532
Erik Verbruggen2e657ff2011-10-06 07:27:49 +0000533void CodeCompletionResult::computeCursorKindAndAvailability(bool Accessible) {
Douglas Gregorb14904c2010-08-13 22:48:40 +0000534 switch (Kind) {
Douglas Gregor78254c82012-03-27 23:34:16 +0000535 case RK_Pattern:
536 if (!Declaration) {
537 // Do nothing: Patterns can come with cursor kinds!
538 break;
539 }
540 // Fall through
541
Douglas Gregor7b316822012-03-17 06:39:06 +0000542 case RK_Declaration: {
Douglas Gregorf757a122010-08-23 23:00:57 +0000543 // Set the availability based on attributes.
Douglas Gregor7b316822012-03-17 06:39:06 +0000544 switch (getDeclAvailability(Declaration)) {
Douglas Gregor20b2ebd2011-03-23 00:50:03 +0000545 case AR_Available:
546 case AR_NotYetIntroduced:
547 Availability = CXAvailability_Available;
548 break;
Douglas Gregorf757a122010-08-23 23:00:57 +0000549
Douglas Gregor20b2ebd2011-03-23 00:50:03 +0000550 case AR_Deprecated:
551 Availability = CXAvailability_Deprecated;
552 break;
553
554 case AR_Unavailable:
555 Availability = CXAvailability_NotAvailable;
556 break;
557 }
558
Dmitri Gribenkofe0483d2013-01-23 17:21:11 +0000559 if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(Declaration))
Douglas Gregor09c0eb12010-09-03 23:30:36 +0000560 if (Function->isDeleted())
Douglas Gregorf757a122010-08-23 23:00:57 +0000561 Availability = CXAvailability_NotAvailable;
Douglas Gregor09c0eb12010-09-03 23:30:36 +0000562
563 CursorKind = getCursorKindForDecl(Declaration);
Douglas Gregordeafd0b2011-12-27 22:43:10 +0000564 if (CursorKind == CXCursor_UnexposedDecl) {
Douglas Gregorf6102672012-01-01 21:23:57 +0000565 // FIXME: Forward declarations of Objective-C classes and protocols
566 // are not directly exposed, but we want code completion to treat them
567 // like a definition.
Douglas Gregordeafd0b2011-12-27 22:43:10 +0000568 if (isa<ObjCInterfaceDecl>(Declaration))
569 CursorKind = CXCursor_ObjCInterfaceDecl;
Douglas Gregorf6102672012-01-01 21:23:57 +0000570 else if (isa<ObjCProtocolDecl>(Declaration))
571 CursorKind = CXCursor_ObjCProtocolDecl;
Douglas Gregordeafd0b2011-12-27 22:43:10 +0000572 else
573 CursorKind = CXCursor_NotImplemented;
574 }
Douglas Gregorb14904c2010-08-13 22:48:40 +0000575 break;
Douglas Gregor7b316822012-03-17 06:39:06 +0000576 }
Douglas Gregorb14904c2010-08-13 22:48:40 +0000577
John McCall276321a2010-08-25 06:19:51 +0000578 case RK_Macro:
John McCall276321a2010-08-25 06:19:51 +0000579 case RK_Keyword:
Benjamin Kramerc25c0b92012-05-20 14:19:46 +0000580 llvm_unreachable("Macro and keyword kinds are handled by the constructors");
Douglas Gregor8e984da2010-08-04 16:47:14 +0000581 }
Erik Verbruggen2e657ff2011-10-06 07:27:49 +0000582
583 if (!Accessible)
584 Availability = CXAvailability_NotAccessible;
Douglas Gregor8e984da2010-08-04 16:47:14 +0000585}
Douglas Gregorf09935f2009-12-01 05:55:20 +0000586
Douglas Gregor0de55ce2010-08-25 18:41:16 +0000587/// \brief Retrieve the name that should be used to order a result.
588///
589/// If the name needs to be constructed as a string, that string will be
590/// saved into Saved and the returned StringRef will refer to it.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000591static StringRef getOrderedName(const CodeCompletionResult &R,
Douglas Gregor0de55ce2010-08-25 18:41:16 +0000592 std::string &Saved) {
593 switch (R.Kind) {
594 case CodeCompletionResult::RK_Keyword:
595 return R.Keyword;
596
597 case CodeCompletionResult::RK_Pattern:
598 return R.Pattern->getTypedText();
599
600 case CodeCompletionResult::RK_Macro:
601 return R.Macro->getName();
602
603 case CodeCompletionResult::RK_Declaration:
604 // Handle declarations below.
605 break;
606 }
607
608 DeclarationName Name = R.Declaration->getDeclName();
609
610 // If the name is a simple identifier (by far the common case), or a
611 // zero-argument selector, just return a reference to that identifier.
612 if (IdentifierInfo *Id = Name.getAsIdentifierInfo())
613 return Id->getName();
614 if (Name.isObjCZeroArgSelector())
615 if (IdentifierInfo *Id
616 = Name.getObjCSelector().getIdentifierInfoForSlot(0))
617 return Id->getName();
618
619 Saved = Name.getAsString();
620 return Saved;
621}
622
623bool clang::operator<(const CodeCompletionResult &X,
624 const CodeCompletionResult &Y) {
625 std::string XSaved, YSaved;
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000626 StringRef XStr = getOrderedName(X, XSaved);
627 StringRef YStr = getOrderedName(Y, YSaved);
Douglas Gregor0de55ce2010-08-25 18:41:16 +0000628 int cmp = XStr.compare_lower(YStr);
629 if (cmp)
630 return cmp < 0;
631
Douglas Gregor49f67ce2010-08-26 13:48:20 +0000632 // If case-insensitive comparison fails, try case-sensitive comparison.
633 cmp = XStr.compare(YStr);
634 if (cmp)
635 return cmp < 0;
Douglas Gregor0de55ce2010-08-25 18:41:16 +0000636
637 return false;
638}