1*67e74705SXin Li //===--- CodeCompleteConsumer.cpp - Code Completion Interface ---*- C++ -*-===//
2*67e74705SXin Li //
3*67e74705SXin Li // The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li // This file implements the CodeCompleteConsumer class.
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li #include "clang/Sema/CodeCompleteConsumer.h"
14*67e74705SXin Li #include "clang-c/Index.h"
15*67e74705SXin Li #include "clang/AST/DeclCXX.h"
16*67e74705SXin Li #include "clang/AST/DeclObjC.h"
17*67e74705SXin Li #include "clang/AST/DeclTemplate.h"
18*67e74705SXin Li #include "clang/Sema/Scope.h"
19*67e74705SXin Li #include "clang/Sema/Sema.h"
20*67e74705SXin Li #include "llvm/ADT/STLExtras.h"
21*67e74705SXin Li #include "llvm/ADT/SmallString.h"
22*67e74705SXin Li #include "llvm/ADT/Twine.h"
23*67e74705SXin Li #include "llvm/Support/raw_ostream.h"
24*67e74705SXin Li #include <algorithm>
25*67e74705SXin Li #include <cstring>
26*67e74705SXin Li #include <functional>
27*67e74705SXin Li
28*67e74705SXin Li using namespace clang;
29*67e74705SXin Li
30*67e74705SXin Li //===----------------------------------------------------------------------===//
31*67e74705SXin Li // Code completion context implementation
32*67e74705SXin Li //===----------------------------------------------------------------------===//
33*67e74705SXin Li
wantConstructorResults() const34*67e74705SXin Li bool CodeCompletionContext::wantConstructorResults() const {
35*67e74705SXin Li switch (Kind) {
36*67e74705SXin Li case CCC_Recovery:
37*67e74705SXin Li case CCC_Statement:
38*67e74705SXin Li case CCC_Expression:
39*67e74705SXin Li case CCC_ObjCMessageReceiver:
40*67e74705SXin Li case CCC_ParenthesizedExpression:
41*67e74705SXin Li return true;
42*67e74705SXin Li
43*67e74705SXin Li case CCC_TopLevel:
44*67e74705SXin Li case CCC_ObjCInterface:
45*67e74705SXin Li case CCC_ObjCImplementation:
46*67e74705SXin Li case CCC_ObjCIvarList:
47*67e74705SXin Li case CCC_ClassStructUnion:
48*67e74705SXin Li case CCC_DotMemberAccess:
49*67e74705SXin Li case CCC_ArrowMemberAccess:
50*67e74705SXin Li case CCC_ObjCPropertyAccess:
51*67e74705SXin Li case CCC_EnumTag:
52*67e74705SXin Li case CCC_UnionTag:
53*67e74705SXin Li case CCC_ClassOrStructTag:
54*67e74705SXin Li case CCC_ObjCProtocolName:
55*67e74705SXin Li case CCC_Namespace:
56*67e74705SXin Li case CCC_Type:
57*67e74705SXin Li case CCC_Name:
58*67e74705SXin Li case CCC_PotentiallyQualifiedName:
59*67e74705SXin Li case CCC_MacroName:
60*67e74705SXin Li case CCC_MacroNameUse:
61*67e74705SXin Li case CCC_PreprocessorExpression:
62*67e74705SXin Li case CCC_PreprocessorDirective:
63*67e74705SXin Li case CCC_NaturalLanguage:
64*67e74705SXin Li case CCC_SelectorName:
65*67e74705SXin Li case CCC_TypeQualifiers:
66*67e74705SXin Li case CCC_Other:
67*67e74705SXin Li case CCC_OtherWithMacros:
68*67e74705SXin Li case CCC_ObjCInstanceMessage:
69*67e74705SXin Li case CCC_ObjCClassMessage:
70*67e74705SXin Li case CCC_ObjCInterfaceName:
71*67e74705SXin Li case CCC_ObjCCategoryName:
72*67e74705SXin Li return false;
73*67e74705SXin Li }
74*67e74705SXin Li
75*67e74705SXin Li llvm_unreachable("Invalid CodeCompletionContext::Kind!");
76*67e74705SXin Li }
77*67e74705SXin Li
78*67e74705SXin Li //===----------------------------------------------------------------------===//
79*67e74705SXin Li // Code completion string implementation
80*67e74705SXin Li //===----------------------------------------------------------------------===//
Chunk(ChunkKind Kind,const char * Text)81*67e74705SXin Li CodeCompletionString::Chunk::Chunk(ChunkKind Kind, const char *Text)
82*67e74705SXin Li : Kind(Kind), Text("")
83*67e74705SXin Li {
84*67e74705SXin Li switch (Kind) {
85*67e74705SXin Li case CK_TypedText:
86*67e74705SXin Li case CK_Text:
87*67e74705SXin Li case CK_Placeholder:
88*67e74705SXin Li case CK_Informative:
89*67e74705SXin Li case CK_ResultType:
90*67e74705SXin Li case CK_CurrentParameter:
91*67e74705SXin Li this->Text = Text;
92*67e74705SXin Li break;
93*67e74705SXin Li
94*67e74705SXin Li case CK_Optional:
95*67e74705SXin Li llvm_unreachable("Optional strings cannot be created from text");
96*67e74705SXin Li
97*67e74705SXin Li case CK_LeftParen:
98*67e74705SXin Li this->Text = "(";
99*67e74705SXin Li break;
100*67e74705SXin Li
101*67e74705SXin Li case CK_RightParen:
102*67e74705SXin Li this->Text = ")";
103*67e74705SXin Li break;
104*67e74705SXin Li
105*67e74705SXin Li case CK_LeftBracket:
106*67e74705SXin Li this->Text = "[";
107*67e74705SXin Li break;
108*67e74705SXin Li
109*67e74705SXin Li case CK_RightBracket:
110*67e74705SXin Li this->Text = "]";
111*67e74705SXin Li break;
112*67e74705SXin Li
113*67e74705SXin Li case CK_LeftBrace:
114*67e74705SXin Li this->Text = "{";
115*67e74705SXin Li break;
116*67e74705SXin Li
117*67e74705SXin Li case CK_RightBrace:
118*67e74705SXin Li this->Text = "}";
119*67e74705SXin Li break;
120*67e74705SXin Li
121*67e74705SXin Li case CK_LeftAngle:
122*67e74705SXin Li this->Text = "<";
123*67e74705SXin Li break;
124*67e74705SXin Li
125*67e74705SXin Li case CK_RightAngle:
126*67e74705SXin Li this->Text = ">";
127*67e74705SXin Li break;
128*67e74705SXin Li
129*67e74705SXin Li case CK_Comma:
130*67e74705SXin Li this->Text = ", ";
131*67e74705SXin Li break;
132*67e74705SXin Li
133*67e74705SXin Li case CK_Colon:
134*67e74705SXin Li this->Text = ":";
135*67e74705SXin Li break;
136*67e74705SXin Li
137*67e74705SXin Li case CK_SemiColon:
138*67e74705SXin Li this->Text = ";";
139*67e74705SXin Li break;
140*67e74705SXin Li
141*67e74705SXin Li case CK_Equal:
142*67e74705SXin Li this->Text = " = ";
143*67e74705SXin Li break;
144*67e74705SXin Li
145*67e74705SXin Li case CK_HorizontalSpace:
146*67e74705SXin Li this->Text = " ";
147*67e74705SXin Li break;
148*67e74705SXin Li
149*67e74705SXin Li case CK_VerticalSpace:
150*67e74705SXin Li this->Text = "\n";
151*67e74705SXin Li break;
152*67e74705SXin Li }
153*67e74705SXin Li }
154*67e74705SXin Li
155*67e74705SXin Li CodeCompletionString::Chunk
CreateText(const char * Text)156*67e74705SXin Li CodeCompletionString::Chunk::CreateText(const char *Text) {
157*67e74705SXin Li return Chunk(CK_Text, Text);
158*67e74705SXin Li }
159*67e74705SXin Li
160*67e74705SXin Li CodeCompletionString::Chunk
CreateOptional(CodeCompletionString * Optional)161*67e74705SXin Li CodeCompletionString::Chunk::CreateOptional(CodeCompletionString *Optional) {
162*67e74705SXin Li Chunk Result;
163*67e74705SXin Li Result.Kind = CK_Optional;
164*67e74705SXin Li Result.Optional = Optional;
165*67e74705SXin Li return Result;
166*67e74705SXin Li }
167*67e74705SXin Li
168*67e74705SXin Li CodeCompletionString::Chunk
CreatePlaceholder(const char * Placeholder)169*67e74705SXin Li CodeCompletionString::Chunk::CreatePlaceholder(const char *Placeholder) {
170*67e74705SXin Li return Chunk(CK_Placeholder, Placeholder);
171*67e74705SXin Li }
172*67e74705SXin Li
173*67e74705SXin Li CodeCompletionString::Chunk
CreateInformative(const char * Informative)174*67e74705SXin Li CodeCompletionString::Chunk::CreateInformative(const char *Informative) {
175*67e74705SXin Li return Chunk(CK_Informative, Informative);
176*67e74705SXin Li }
177*67e74705SXin Li
178*67e74705SXin Li CodeCompletionString::Chunk
CreateResultType(const char * ResultType)179*67e74705SXin Li CodeCompletionString::Chunk::CreateResultType(const char *ResultType) {
180*67e74705SXin Li return Chunk(CK_ResultType, ResultType);
181*67e74705SXin Li }
182*67e74705SXin Li
183*67e74705SXin Li CodeCompletionString::Chunk
CreateCurrentParameter(const char * CurrentParameter)184*67e74705SXin Li CodeCompletionString::Chunk::CreateCurrentParameter(
185*67e74705SXin Li const char *CurrentParameter) {
186*67e74705SXin Li return Chunk(CK_CurrentParameter, CurrentParameter);
187*67e74705SXin Li }
188*67e74705SXin Li
CodeCompletionString(const Chunk * Chunks,unsigned NumChunks,unsigned Priority,CXAvailabilityKind Availability,const char ** Annotations,unsigned NumAnnotations,StringRef ParentName,const char * BriefComment)189*67e74705SXin Li CodeCompletionString::CodeCompletionString(const Chunk *Chunks,
190*67e74705SXin Li unsigned NumChunks,
191*67e74705SXin Li unsigned Priority,
192*67e74705SXin Li CXAvailabilityKind Availability,
193*67e74705SXin Li const char **Annotations,
194*67e74705SXin Li unsigned NumAnnotations,
195*67e74705SXin Li StringRef ParentName,
196*67e74705SXin Li const char *BriefComment)
197*67e74705SXin Li : NumChunks(NumChunks), NumAnnotations(NumAnnotations),
198*67e74705SXin Li Priority(Priority), Availability(Availability),
199*67e74705SXin Li ParentName(ParentName), BriefComment(BriefComment)
200*67e74705SXin Li {
201*67e74705SXin Li assert(NumChunks <= 0xffff);
202*67e74705SXin Li assert(NumAnnotations <= 0xffff);
203*67e74705SXin Li
204*67e74705SXin Li Chunk *StoredChunks = reinterpret_cast<Chunk *>(this + 1);
205*67e74705SXin Li for (unsigned I = 0; I != NumChunks; ++I)
206*67e74705SXin Li StoredChunks[I] = Chunks[I];
207*67e74705SXin Li
208*67e74705SXin Li const char **StoredAnnotations = reinterpret_cast<const char **>(StoredChunks + NumChunks);
209*67e74705SXin Li for (unsigned I = 0; I != NumAnnotations; ++I)
210*67e74705SXin Li StoredAnnotations[I] = Annotations[I];
211*67e74705SXin Li }
212*67e74705SXin Li
getAnnotationCount() const213*67e74705SXin Li unsigned CodeCompletionString::getAnnotationCount() const {
214*67e74705SXin Li return NumAnnotations;
215*67e74705SXin Li }
216*67e74705SXin Li
getAnnotation(unsigned AnnotationNr) const217*67e74705SXin Li const char *CodeCompletionString::getAnnotation(unsigned AnnotationNr) const {
218*67e74705SXin Li if (AnnotationNr < NumAnnotations)
219*67e74705SXin Li return reinterpret_cast<const char * const*>(end())[AnnotationNr];
220*67e74705SXin Li else
221*67e74705SXin Li return nullptr;
222*67e74705SXin Li }
223*67e74705SXin Li
224*67e74705SXin Li
getAsString() const225*67e74705SXin Li std::string CodeCompletionString::getAsString() const {
226*67e74705SXin Li std::string Result;
227*67e74705SXin Li llvm::raw_string_ostream OS(Result);
228*67e74705SXin Li
229*67e74705SXin Li for (iterator C = begin(), CEnd = end(); C != CEnd; ++C) {
230*67e74705SXin Li switch (C->Kind) {
231*67e74705SXin Li case CK_Optional: OS << "{#" << C->Optional->getAsString() << "#}"; break;
232*67e74705SXin Li case CK_Placeholder: OS << "<#" << C->Text << "#>"; break;
233*67e74705SXin Li
234*67e74705SXin Li case CK_Informative:
235*67e74705SXin Li case CK_ResultType:
236*67e74705SXin Li OS << "[#" << C->Text << "#]";
237*67e74705SXin Li break;
238*67e74705SXin Li
239*67e74705SXin Li case CK_CurrentParameter: OS << "<#" << C->Text << "#>"; break;
240*67e74705SXin Li default: OS << C->Text; break;
241*67e74705SXin Li }
242*67e74705SXin Li }
243*67e74705SXin Li return OS.str();
244*67e74705SXin Li }
245*67e74705SXin Li
getTypedText() const246*67e74705SXin Li const char *CodeCompletionString::getTypedText() const {
247*67e74705SXin Li for (iterator C = begin(), CEnd = end(); C != CEnd; ++C)
248*67e74705SXin Li if (C->Kind == CK_TypedText)
249*67e74705SXin Li return C->Text;
250*67e74705SXin Li
251*67e74705SXin Li return nullptr;
252*67e74705SXin Li }
253*67e74705SXin Li
CopyString(const Twine & String)254*67e74705SXin Li const char *CodeCompletionAllocator::CopyString(const Twine &String) {
255*67e74705SXin Li SmallString<128> Data;
256*67e74705SXin Li StringRef Ref = String.toStringRef(Data);
257*67e74705SXin Li // FIXME: It would be more efficient to teach Twine to tell us its size and
258*67e74705SXin Li // then add a routine there to fill in an allocated char* with the contents
259*67e74705SXin Li // of the string.
260*67e74705SXin Li char *Mem = (char *)Allocate(Ref.size() + 1, 1);
261*67e74705SXin Li std::copy(Ref.begin(), Ref.end(), Mem);
262*67e74705SXin Li Mem[Ref.size()] = 0;
263*67e74705SXin Li return Mem;
264*67e74705SXin Li }
265*67e74705SXin Li
getParentName(const DeclContext * DC)266*67e74705SXin Li StringRef CodeCompletionTUInfo::getParentName(const DeclContext *DC) {
267*67e74705SXin Li const NamedDecl *ND = dyn_cast<NamedDecl>(DC);
268*67e74705SXin Li if (!ND)
269*67e74705SXin Li return StringRef();
270*67e74705SXin Li
271*67e74705SXin Li // Check whether we've already cached the parent name.
272*67e74705SXin Li StringRef &CachedParentName = ParentNames[DC];
273*67e74705SXin Li if (!CachedParentName.empty())
274*67e74705SXin Li return CachedParentName;
275*67e74705SXin Li
276*67e74705SXin Li // If we already processed this DeclContext and assigned empty to it, the
277*67e74705SXin Li // data pointer will be non-null.
278*67e74705SXin Li if (CachedParentName.data() != nullptr)
279*67e74705SXin Li return StringRef();
280*67e74705SXin Li
281*67e74705SXin Li // Find the interesting names.
282*67e74705SXin Li SmallVector<const DeclContext *, 2> Contexts;
283*67e74705SXin Li while (DC && !DC->isFunctionOrMethod()) {
284*67e74705SXin Li if (const NamedDecl *ND = dyn_cast<NamedDecl>(DC)) {
285*67e74705SXin Li if (ND->getIdentifier())
286*67e74705SXin Li Contexts.push_back(DC);
287*67e74705SXin Li }
288*67e74705SXin Li
289*67e74705SXin Li DC = DC->getParent();
290*67e74705SXin Li }
291*67e74705SXin Li
292*67e74705SXin Li {
293*67e74705SXin Li SmallString<128> S;
294*67e74705SXin Li llvm::raw_svector_ostream OS(S);
295*67e74705SXin Li bool First = true;
296*67e74705SXin Li for (unsigned I = Contexts.size(); I != 0; --I) {
297*67e74705SXin Li if (First)
298*67e74705SXin Li First = false;
299*67e74705SXin Li else {
300*67e74705SXin Li OS << "::";
301*67e74705SXin Li }
302*67e74705SXin Li
303*67e74705SXin Li const DeclContext *CurDC = Contexts[I-1];
304*67e74705SXin Li if (const ObjCCategoryImplDecl *CatImpl = dyn_cast<ObjCCategoryImplDecl>(CurDC))
305*67e74705SXin Li CurDC = CatImpl->getCategoryDecl();
306*67e74705SXin Li
307*67e74705SXin Li if (const ObjCCategoryDecl *Cat = dyn_cast<ObjCCategoryDecl>(CurDC)) {
308*67e74705SXin Li const ObjCInterfaceDecl *Interface = Cat->getClassInterface();
309*67e74705SXin Li if (!Interface) {
310*67e74705SXin Li // Assign an empty StringRef but with non-null data to distinguish
311*67e74705SXin Li // between empty because we didn't process the DeclContext yet.
312*67e74705SXin Li CachedParentName = StringRef((const char *)(uintptr_t)~0U, 0);
313*67e74705SXin Li return StringRef();
314*67e74705SXin Li }
315*67e74705SXin Li
316*67e74705SXin Li OS << Interface->getName() << '(' << Cat->getName() << ')';
317*67e74705SXin Li } else {
318*67e74705SXin Li OS << cast<NamedDecl>(CurDC)->getName();
319*67e74705SXin Li }
320*67e74705SXin Li }
321*67e74705SXin Li
322*67e74705SXin Li CachedParentName = AllocatorRef->CopyString(OS.str());
323*67e74705SXin Li }
324*67e74705SXin Li
325*67e74705SXin Li return CachedParentName;
326*67e74705SXin Li }
327*67e74705SXin Li
TakeString()328*67e74705SXin Li CodeCompletionString *CodeCompletionBuilder::TakeString() {
329*67e74705SXin Li void *Mem = getAllocator().Allocate(
330*67e74705SXin Li sizeof(CodeCompletionString) + sizeof(Chunk) * Chunks.size()
331*67e74705SXin Li + sizeof(const char *) * Annotations.size(),
332*67e74705SXin Li llvm::alignOf<CodeCompletionString>());
333*67e74705SXin Li CodeCompletionString *Result
334*67e74705SXin Li = new (Mem) CodeCompletionString(Chunks.data(), Chunks.size(),
335*67e74705SXin Li Priority, Availability,
336*67e74705SXin Li Annotations.data(), Annotations.size(),
337*67e74705SXin Li ParentName, BriefComment);
338*67e74705SXin Li Chunks.clear();
339*67e74705SXin Li return Result;
340*67e74705SXin Li }
341*67e74705SXin Li
AddTypedTextChunk(const char * Text)342*67e74705SXin Li void CodeCompletionBuilder::AddTypedTextChunk(const char *Text) {
343*67e74705SXin Li Chunks.push_back(Chunk(CodeCompletionString::CK_TypedText, Text));
344*67e74705SXin Li }
345*67e74705SXin Li
AddTextChunk(const char * Text)346*67e74705SXin Li void CodeCompletionBuilder::AddTextChunk(const char *Text) {
347*67e74705SXin Li Chunks.push_back(Chunk::CreateText(Text));
348*67e74705SXin Li }
349*67e74705SXin Li
AddOptionalChunk(CodeCompletionString * Optional)350*67e74705SXin Li void CodeCompletionBuilder::AddOptionalChunk(CodeCompletionString *Optional) {
351*67e74705SXin Li Chunks.push_back(Chunk::CreateOptional(Optional));
352*67e74705SXin Li }
353*67e74705SXin Li
AddPlaceholderChunk(const char * Placeholder)354*67e74705SXin Li void CodeCompletionBuilder::AddPlaceholderChunk(const char *Placeholder) {
355*67e74705SXin Li Chunks.push_back(Chunk::CreatePlaceholder(Placeholder));
356*67e74705SXin Li }
357*67e74705SXin Li
AddInformativeChunk(const char * Text)358*67e74705SXin Li void CodeCompletionBuilder::AddInformativeChunk(const char *Text) {
359*67e74705SXin Li Chunks.push_back(Chunk::CreateInformative(Text));
360*67e74705SXin Li }
361*67e74705SXin Li
AddResultTypeChunk(const char * ResultType)362*67e74705SXin Li void CodeCompletionBuilder::AddResultTypeChunk(const char *ResultType) {
363*67e74705SXin Li Chunks.push_back(Chunk::CreateResultType(ResultType));
364*67e74705SXin Li }
365*67e74705SXin Li
366*67e74705SXin Li void
AddCurrentParameterChunk(const char * CurrentParameter)367*67e74705SXin Li CodeCompletionBuilder::AddCurrentParameterChunk(const char *CurrentParameter) {
368*67e74705SXin Li Chunks.push_back(Chunk::CreateCurrentParameter(CurrentParameter));
369*67e74705SXin Li }
370*67e74705SXin Li
AddChunk(CodeCompletionString::ChunkKind CK,const char * Text)371*67e74705SXin Li void CodeCompletionBuilder::AddChunk(CodeCompletionString::ChunkKind CK,
372*67e74705SXin Li const char *Text) {
373*67e74705SXin Li Chunks.push_back(Chunk(CK, Text));
374*67e74705SXin Li }
375*67e74705SXin Li
addParentContext(const DeclContext * DC)376*67e74705SXin Li void CodeCompletionBuilder::addParentContext(const DeclContext *DC) {
377*67e74705SXin Li if (DC->isTranslationUnit()) {
378*67e74705SXin Li return;
379*67e74705SXin Li }
380*67e74705SXin Li
381*67e74705SXin Li if (DC->isFunctionOrMethod())
382*67e74705SXin Li return;
383*67e74705SXin Li
384*67e74705SXin Li const NamedDecl *ND = dyn_cast<NamedDecl>(DC);
385*67e74705SXin Li if (!ND)
386*67e74705SXin Li return;
387*67e74705SXin Li
388*67e74705SXin Li ParentName = getCodeCompletionTUInfo().getParentName(DC);
389*67e74705SXin Li }
390*67e74705SXin Li
addBriefComment(StringRef Comment)391*67e74705SXin Li void CodeCompletionBuilder::addBriefComment(StringRef Comment) {
392*67e74705SXin Li BriefComment = Allocator.CopyString(Comment);
393*67e74705SXin Li }
394*67e74705SXin Li
395*67e74705SXin Li //===----------------------------------------------------------------------===//
396*67e74705SXin Li // Code completion overload candidate implementation
397*67e74705SXin Li //===----------------------------------------------------------------------===//
398*67e74705SXin Li FunctionDecl *
getFunction() const399*67e74705SXin Li CodeCompleteConsumer::OverloadCandidate::getFunction() const {
400*67e74705SXin Li if (getKind() == CK_Function)
401*67e74705SXin Li return Function;
402*67e74705SXin Li else if (getKind() == CK_FunctionTemplate)
403*67e74705SXin Li return FunctionTemplate->getTemplatedDecl();
404*67e74705SXin Li else
405*67e74705SXin Li return nullptr;
406*67e74705SXin Li }
407*67e74705SXin Li
408*67e74705SXin Li const FunctionType *
getFunctionType() const409*67e74705SXin Li CodeCompleteConsumer::OverloadCandidate::getFunctionType() const {
410*67e74705SXin Li switch (Kind) {
411*67e74705SXin Li case CK_Function:
412*67e74705SXin Li return Function->getType()->getAs<FunctionType>();
413*67e74705SXin Li
414*67e74705SXin Li case CK_FunctionTemplate:
415*67e74705SXin Li return FunctionTemplate->getTemplatedDecl()->getType()
416*67e74705SXin Li ->getAs<FunctionType>();
417*67e74705SXin Li
418*67e74705SXin Li case CK_FunctionType:
419*67e74705SXin Li return Type;
420*67e74705SXin Li }
421*67e74705SXin Li
422*67e74705SXin Li llvm_unreachable("Invalid CandidateKind!");
423*67e74705SXin Li }
424*67e74705SXin Li
425*67e74705SXin Li //===----------------------------------------------------------------------===//
426*67e74705SXin Li // Code completion consumer implementation
427*67e74705SXin Li //===----------------------------------------------------------------------===//
428*67e74705SXin Li
~CodeCompleteConsumer()429*67e74705SXin Li CodeCompleteConsumer::~CodeCompleteConsumer() { }
430*67e74705SXin Li
431*67e74705SXin Li void
ProcessCodeCompleteResults(Sema & SemaRef,CodeCompletionContext Context,CodeCompletionResult * Results,unsigned NumResults)432*67e74705SXin Li PrintingCodeCompleteConsumer::ProcessCodeCompleteResults(Sema &SemaRef,
433*67e74705SXin Li CodeCompletionContext Context,
434*67e74705SXin Li CodeCompletionResult *Results,
435*67e74705SXin Li unsigned NumResults) {
436*67e74705SXin Li std::stable_sort(Results, Results + NumResults);
437*67e74705SXin Li
438*67e74705SXin Li // Print the results.
439*67e74705SXin Li for (unsigned I = 0; I != NumResults; ++I) {
440*67e74705SXin Li OS << "COMPLETION: ";
441*67e74705SXin Li switch (Results[I].Kind) {
442*67e74705SXin Li case CodeCompletionResult::RK_Declaration:
443*67e74705SXin Li OS << *Results[I].Declaration;
444*67e74705SXin Li if (Results[I].Hidden)
445*67e74705SXin Li OS << " (Hidden)";
446*67e74705SXin Li if (CodeCompletionString *CCS
447*67e74705SXin Li = Results[I].CreateCodeCompletionString(SemaRef, Context,
448*67e74705SXin Li getAllocator(),
449*67e74705SXin Li CCTUInfo,
450*67e74705SXin Li includeBriefComments())) {
451*67e74705SXin Li OS << " : " << CCS->getAsString();
452*67e74705SXin Li if (const char *BriefComment = CCS->getBriefComment())
453*67e74705SXin Li OS << " : " << BriefComment;
454*67e74705SXin Li }
455*67e74705SXin Li
456*67e74705SXin Li OS << '\n';
457*67e74705SXin Li break;
458*67e74705SXin Li
459*67e74705SXin Li case CodeCompletionResult::RK_Keyword:
460*67e74705SXin Li OS << Results[I].Keyword << '\n';
461*67e74705SXin Li break;
462*67e74705SXin Li
463*67e74705SXin Li case CodeCompletionResult::RK_Macro: {
464*67e74705SXin Li OS << Results[I].Macro->getName();
465*67e74705SXin Li if (CodeCompletionString *CCS
466*67e74705SXin Li = Results[I].CreateCodeCompletionString(SemaRef, Context,
467*67e74705SXin Li getAllocator(),
468*67e74705SXin Li CCTUInfo,
469*67e74705SXin Li includeBriefComments())) {
470*67e74705SXin Li OS << " : " << CCS->getAsString();
471*67e74705SXin Li }
472*67e74705SXin Li OS << '\n';
473*67e74705SXin Li break;
474*67e74705SXin Li }
475*67e74705SXin Li
476*67e74705SXin Li case CodeCompletionResult::RK_Pattern: {
477*67e74705SXin Li OS << "Pattern : "
478*67e74705SXin Li << Results[I].Pattern->getAsString() << '\n';
479*67e74705SXin Li break;
480*67e74705SXin Li }
481*67e74705SXin Li }
482*67e74705SXin Li }
483*67e74705SXin Li }
484*67e74705SXin Li
485*67e74705SXin Li // This function is used solely to preserve the former presentation of overloads
486*67e74705SXin Li // by "clang -cc1 -code-completion-at", since CodeCompletionString::getAsString
487*67e74705SXin Li // needs to be improved for printing the newer and more detailed overload
488*67e74705SXin Li // chunks.
getOverloadAsString(const CodeCompletionString & CCS)489*67e74705SXin Li static std::string getOverloadAsString(const CodeCompletionString &CCS) {
490*67e74705SXin Li std::string Result;
491*67e74705SXin Li llvm::raw_string_ostream OS(Result);
492*67e74705SXin Li
493*67e74705SXin Li for (auto &C : CCS) {
494*67e74705SXin Li switch (C.Kind) {
495*67e74705SXin Li case CodeCompletionString::CK_Informative:
496*67e74705SXin Li case CodeCompletionString::CK_ResultType:
497*67e74705SXin Li OS << "[#" << C.Text << "#]";
498*67e74705SXin Li break;
499*67e74705SXin Li
500*67e74705SXin Li case CodeCompletionString::CK_CurrentParameter:
501*67e74705SXin Li OS << "<#" << C.Text << "#>";
502*67e74705SXin Li break;
503*67e74705SXin Li
504*67e74705SXin Li default: OS << C.Text; break;
505*67e74705SXin Li }
506*67e74705SXin Li }
507*67e74705SXin Li return OS.str();
508*67e74705SXin Li }
509*67e74705SXin Li
510*67e74705SXin Li void
ProcessOverloadCandidates(Sema & SemaRef,unsigned CurrentArg,OverloadCandidate * Candidates,unsigned NumCandidates)511*67e74705SXin Li PrintingCodeCompleteConsumer::ProcessOverloadCandidates(Sema &SemaRef,
512*67e74705SXin Li unsigned CurrentArg,
513*67e74705SXin Li OverloadCandidate *Candidates,
514*67e74705SXin Li unsigned NumCandidates) {
515*67e74705SXin Li for (unsigned I = 0; I != NumCandidates; ++I) {
516*67e74705SXin Li if (CodeCompletionString *CCS
517*67e74705SXin Li = Candidates[I].CreateSignatureString(CurrentArg, SemaRef,
518*67e74705SXin Li getAllocator(), CCTUInfo,
519*67e74705SXin Li includeBriefComments())) {
520*67e74705SXin Li OS << "OVERLOAD: " << getOverloadAsString(*CCS) << "\n";
521*67e74705SXin Li }
522*67e74705SXin Li }
523*67e74705SXin Li }
524*67e74705SXin Li
525*67e74705SXin Li /// \brief Retrieve the effective availability of the given declaration.
getDeclAvailability(const Decl * D)526*67e74705SXin Li static AvailabilityResult getDeclAvailability(const Decl *D) {
527*67e74705SXin Li AvailabilityResult AR = D->getAvailability();
528*67e74705SXin Li if (isa<EnumConstantDecl>(D))
529*67e74705SXin Li AR = std::max(AR, cast<Decl>(D->getDeclContext())->getAvailability());
530*67e74705SXin Li return AR;
531*67e74705SXin Li }
532*67e74705SXin Li
computeCursorKindAndAvailability(bool Accessible)533*67e74705SXin Li void CodeCompletionResult::computeCursorKindAndAvailability(bool Accessible) {
534*67e74705SXin Li switch (Kind) {
535*67e74705SXin Li case RK_Pattern:
536*67e74705SXin Li if (!Declaration) {
537*67e74705SXin Li // Do nothing: Patterns can come with cursor kinds!
538*67e74705SXin Li break;
539*67e74705SXin Li }
540*67e74705SXin Li // Fall through
541*67e74705SXin Li
542*67e74705SXin Li case RK_Declaration: {
543*67e74705SXin Li // Set the availability based on attributes.
544*67e74705SXin Li switch (getDeclAvailability(Declaration)) {
545*67e74705SXin Li case AR_Available:
546*67e74705SXin Li case AR_NotYetIntroduced:
547*67e74705SXin Li Availability = CXAvailability_Available;
548*67e74705SXin Li break;
549*67e74705SXin Li
550*67e74705SXin Li case AR_Deprecated:
551*67e74705SXin Li Availability = CXAvailability_Deprecated;
552*67e74705SXin Li break;
553*67e74705SXin Li
554*67e74705SXin Li case AR_Unavailable:
555*67e74705SXin Li Availability = CXAvailability_NotAvailable;
556*67e74705SXin Li break;
557*67e74705SXin Li }
558*67e74705SXin Li
559*67e74705SXin Li if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(Declaration))
560*67e74705SXin Li if (Function->isDeleted())
561*67e74705SXin Li Availability = CXAvailability_NotAvailable;
562*67e74705SXin Li
563*67e74705SXin Li CursorKind = getCursorKindForDecl(Declaration);
564*67e74705SXin Li if (CursorKind == CXCursor_UnexposedDecl) {
565*67e74705SXin Li // FIXME: Forward declarations of Objective-C classes and protocols
566*67e74705SXin Li // are not directly exposed, but we want code completion to treat them
567*67e74705SXin Li // like a definition.
568*67e74705SXin Li if (isa<ObjCInterfaceDecl>(Declaration))
569*67e74705SXin Li CursorKind = CXCursor_ObjCInterfaceDecl;
570*67e74705SXin Li else if (isa<ObjCProtocolDecl>(Declaration))
571*67e74705SXin Li CursorKind = CXCursor_ObjCProtocolDecl;
572*67e74705SXin Li else
573*67e74705SXin Li CursorKind = CXCursor_NotImplemented;
574*67e74705SXin Li }
575*67e74705SXin Li break;
576*67e74705SXin Li }
577*67e74705SXin Li
578*67e74705SXin Li case RK_Macro:
579*67e74705SXin Li case RK_Keyword:
580*67e74705SXin Li llvm_unreachable("Macro and keyword kinds are handled by the constructors");
581*67e74705SXin Li }
582*67e74705SXin Li
583*67e74705SXin Li if (!Accessible)
584*67e74705SXin Li Availability = CXAvailability_NotAccessible;
585*67e74705SXin Li }
586*67e74705SXin Li
587*67e74705SXin Li /// \brief Retrieve the name that should be used to order a result.
588*67e74705SXin Li ///
589*67e74705SXin Li /// If the name needs to be constructed as a string, that string will be
590*67e74705SXin Li /// saved into Saved and the returned StringRef will refer to it.
getOrderedName(const CodeCompletionResult & R,std::string & Saved)591*67e74705SXin Li static StringRef getOrderedName(const CodeCompletionResult &R,
592*67e74705SXin Li std::string &Saved) {
593*67e74705SXin Li switch (R.Kind) {
594*67e74705SXin Li case CodeCompletionResult::RK_Keyword:
595*67e74705SXin Li return R.Keyword;
596*67e74705SXin Li
597*67e74705SXin Li case CodeCompletionResult::RK_Pattern:
598*67e74705SXin Li return R.Pattern->getTypedText();
599*67e74705SXin Li
600*67e74705SXin Li case CodeCompletionResult::RK_Macro:
601*67e74705SXin Li return R.Macro->getName();
602*67e74705SXin Li
603*67e74705SXin Li case CodeCompletionResult::RK_Declaration:
604*67e74705SXin Li // Handle declarations below.
605*67e74705SXin Li break;
606*67e74705SXin Li }
607*67e74705SXin Li
608*67e74705SXin Li DeclarationName Name = R.Declaration->getDeclName();
609*67e74705SXin Li
610*67e74705SXin Li // If the name is a simple identifier (by far the common case), or a
611*67e74705SXin Li // zero-argument selector, just return a reference to that identifier.
612*67e74705SXin Li if (IdentifierInfo *Id = Name.getAsIdentifierInfo())
613*67e74705SXin Li return Id->getName();
614*67e74705SXin Li if (Name.isObjCZeroArgSelector())
615*67e74705SXin Li if (IdentifierInfo *Id
616*67e74705SXin Li = Name.getObjCSelector().getIdentifierInfoForSlot(0))
617*67e74705SXin Li return Id->getName();
618*67e74705SXin Li
619*67e74705SXin Li Saved = Name.getAsString();
620*67e74705SXin Li return Saved;
621*67e74705SXin Li }
622*67e74705SXin Li
operator <(const CodeCompletionResult & X,const CodeCompletionResult & Y)623*67e74705SXin Li bool clang::operator<(const CodeCompletionResult &X,
624*67e74705SXin Li const CodeCompletionResult &Y) {
625*67e74705SXin Li std::string XSaved, YSaved;
626*67e74705SXin Li StringRef XStr = getOrderedName(X, XSaved);
627*67e74705SXin Li StringRef YStr = getOrderedName(Y, YSaved);
628*67e74705SXin Li int cmp = XStr.compare_lower(YStr);
629*67e74705SXin Li if (cmp)
630*67e74705SXin Li return cmp < 0;
631*67e74705SXin Li
632*67e74705SXin Li // If case-insensitive comparison fails, try case-sensitive comparison.
633*67e74705SXin Li cmp = XStr.compare(YStr);
634*67e74705SXin Li if (cmp)
635*67e74705SXin Li return cmp < 0;
636*67e74705SXin Li
637*67e74705SXin Li return false;
638*67e74705SXin Li }
639