48#include "llvm/ADT/ArrayRef.h"
49#include "llvm/ADT/DenseSet.h"
50#include "llvm/ADT/SmallBitVector.h"
51#include "llvm/ADT/SmallPtrSet.h"
52#include "llvm/ADT/SmallString.h"
53#include "llvm/ADT/StringSwitch.h"
54#include "llvm/ADT/Twine.h"
55#include "llvm/ADT/iterator_range.h"
56#include "llvm/Support/Casting.h"
57#include "llvm/Support/Path.h"
58#include "llvm/Support/raw_ostream.h"
77 typedef bool (ResultBuilder::*LookupFilter)(
const NamedDecl *)
const;
79 typedef CodeCompletionResult Result;
83 std::vector<Result> Results;
88 llvm::SmallPtrSet<const Decl *, 16> AllDeclsFound;
90 typedef std::pair<const NamedDecl *, unsigned> DeclIndexPair;
95 class ShadowMapEntry {
96 typedef SmallVector<DeclIndexPair, 4> DeclIndexPairVector;
100 llvm::PointerUnion<const NamedDecl *, DeclIndexPairVector *> DeclOrVector;
104 unsigned SingleDeclIndex = 0;
107 ShadowMapEntry() =
default;
108 ShadowMapEntry(
const ShadowMapEntry &) =
delete;
109 ShadowMapEntry(ShadowMapEntry &&Move) { *
this = std::move(Move); }
110 ShadowMapEntry &operator=(
const ShadowMapEntry &) =
delete;
111 ShadowMapEntry &operator=(ShadowMapEntry &&Move) {
112 SingleDeclIndex =
Move.SingleDeclIndex;
113 DeclOrVector =
Move.DeclOrVector;
114 Move.DeclOrVector =
nullptr;
118 void Add(
const NamedDecl *ND,
unsigned Index) {
119 if (DeclOrVector.isNull()) {
122 SingleDeclIndex = Index;
126 if (
const NamedDecl *PrevND = dyn_cast<const NamedDecl *>(DeclOrVector)) {
129 DeclIndexPairVector *Vec =
new DeclIndexPairVector;
130 Vec->push_back(DeclIndexPair(PrevND, SingleDeclIndex));
136 ->push_back(DeclIndexPair(ND, Index));
140 if (DeclIndexPairVector *Vec =
141 dyn_cast_if_present<DeclIndexPairVector *>(DeclOrVector)) {
143 DeclOrVector = ((NamedDecl *)
nullptr);
156 typedef llvm::DenseMap<DeclarationName, ShadowMapEntry> ShadowMap;
163 CodeCompletionAllocator &Allocator;
165 CodeCompletionTUInfo &CCTUInfo;
173 bool AllowNestedNameSpecifiers;
184 std::list<ShadowMap> ShadowMaps;
188 llvm::DenseMap<std::pair<DeclContext *,
uintptr_t>, ShadowMapEntry>
193 Qualifiers ObjectTypeQualifiers;
198 bool HasObjectTypeQualifiers;
201 bool IsExplicitObjectMemberFunction;
204 Selector PreferredSelector;
207 CodeCompletionContext CompletionContext;
211 ObjCImplementationDecl *ObjCImplementation;
213 void AdjustResultPriorityForDecl(Result &R);
215 void MaybeAddConstructorResults(Result R);
218 explicit ResultBuilder(Sema &SemaRef, CodeCompletionAllocator &Allocator,
219 CodeCompletionTUInfo &CCTUInfo,
220 const CodeCompletionContext &CompletionContext,
221 LookupFilter Filter =
nullptr)
222 : SemaRef(SemaRef), Allocator(Allocator), CCTUInfo(CCTUInfo),
223 Filter(Filter), AllowNestedNameSpecifiers(
false),
224 HasObjectTypeQualifiers(
false), IsExplicitObjectMemberFunction(
false),
225 CompletionContext(CompletionContext), ObjCImplementation(
nullptr) {
228 switch (CompletionContext.getKind()) {
229 case CodeCompletionContext::CCC_Expression:
230 case CodeCompletionContext::CCC_ObjCMessageReceiver:
231 case CodeCompletionContext::CCC_ParenthesizedExpression:
232 case CodeCompletionContext::CCC_Statement:
233 case CodeCompletionContext::CCC_TopLevelOrExpression:
234 case CodeCompletionContext::CCC_Recovery:
235 if (ObjCMethodDecl *Method = SemaRef.getCurMethodDecl())
236 if (Method->isInstanceMethod())
237 if (ObjCInterfaceDecl *Interface = Method->getClassInterface())
238 ObjCImplementation = Interface->getImplementation();
247 unsigned getBasePriority(
const NamedDecl *D);
251 bool includeCodePatterns()
const {
252 return SemaRef.CodeCompletion().CodeCompleter &&
253 SemaRef.CodeCompletion().CodeCompleter->includeCodePatterns();
257 void setFilter(LookupFilter Filter) { this->Filter = Filter; }
259 Result *data() {
return Results.empty() ?
nullptr : &Results.front(); }
260 unsigned size()
const {
return Results.size(); }
261 bool empty()
const {
return Results.empty(); }
264 void setPreferredType(QualType
T) {
265 PreferredType = SemaRef.Context.getCanonicalType(
T);
275 void setObjectTypeQualifiers(Qualifiers Quals,
ExprValueKind Kind) {
276 ObjectTypeQualifiers = Quals;
278 HasObjectTypeQualifiers =
true;
281 void setExplicitObjectMemberFn(
bool IsExplicitObjectFn) {
282 IsExplicitObjectMemberFunction = IsExplicitObjectFn;
290 void setPreferredSelector(Selector Sel) { PreferredSelector = Sel; }
294 const CodeCompletionContext &getCompletionContext()
const {
295 return CompletionContext;
299 void allowNestedNameSpecifiers(
bool Allow =
true) {
300 AllowNestedNameSpecifiers =
Allow;
305 Sema &getSema()
const {
return SemaRef; }
308 CodeCompletionAllocator &getAllocator()
const {
return Allocator; }
310 CodeCompletionTUInfo &getCodeCompletionTUInfo()
const {
return CCTUInfo; }
319 bool isInterestingDecl(
const NamedDecl *ND,
320 bool &AsNestedNameSpecifier)
const;
328 bool canFunctionBeCalled(
const NamedDecl *ND, QualType BaseExprType)
const;
336 bool canCxxMethodBeCalled(
const CXXMethodDecl *
Method,
337 QualType BaseExprType)
const;
345 bool CheckHiddenResult(Result &R, DeclContext *CurContext,
346 const NamedDecl *Hiding);
355 void MaybeAddResult(Result R, DeclContext *CurContext =
nullptr);
371 void AddResult(Result R, DeclContext *CurContext, NamedDecl *Hiding,
372 bool InBaseClass, QualType BaseExprType);
375 void AddResult(Result R);
378 void EnterNewScope();
387 void addVisitedContext(DeclContext *Ctx) {
388 CompletionContext.addVisitedContext(Ctx);
397 bool IsOrdinaryName(
const NamedDecl *ND)
const;
398 bool IsOrdinaryNonTypeName(
const NamedDecl *ND)
const;
399 bool IsIntegralConstantValue(
const NamedDecl *ND)
const;
400 bool IsOrdinaryNonValueName(
const NamedDecl *ND)
const;
401 bool IsNestedNameSpecifier(
const NamedDecl *ND)
const;
402 bool IsEnum(
const NamedDecl *ND)
const;
403 bool IsClassOrStruct(
const NamedDecl *ND)
const;
404 bool IsUnion(
const NamedDecl *ND)
const;
405 bool IsNamespace(
const NamedDecl *ND)
const;
406 bool IsNamespaceOrAlias(
const NamedDecl *ND)
const;
407 bool IsType(
const NamedDecl *ND)
const;
408 bool IsMember(
const NamedDecl *ND)
const;
409 bool IsObjCIvar(
const NamedDecl *ND)
const;
410 bool IsObjCMessageReceiver(
const NamedDecl *ND)
const;
411 bool IsObjCMessageReceiverOrLambdaCapture(
const NamedDecl *ND)
const;
412 bool IsObjCCollection(
const NamedDecl *ND)
const;
413 bool IsImpossibleToSatisfy(
const NamedDecl *ND)
const;
423 ComputeType =
nullptr;
424 Type = BSI->ReturnType;
428 ComputeType =
nullptr;
432 ComputeType =
nullptr;
433 Type =
Method->getReturnType();
441 auto *VD = llvm::dyn_cast_or_null<ValueDecl>(D);
442 ComputeType =
nullptr;
443 Type = VD ? VD->getType() :
QualType();
455 ComputeType =
nullptr;
465 this->ComputeType = ComputeType;
475 if (ExpectedLoc == LParLoc)
486 if (Op == tok::plus || Op == tok::plusequal || Op == tok::minusequal)
489 if (Op == tok::minus)
502 case tok::minusequal:
504 case tok::percentequal:
506 case tok::slashequal:
512 case tok::equalequal:
513 case tok::exclaimequal:
517 case tok::greaterequal:
521 case tok::greatergreater:
522 case tok::greatergreaterequal:
524 case tok::lesslessequal:
537 case tok::caretequal:
545 case tok::periodstar:
563 if (!ContextType.isNull() && ContextType->isPointerType())
564 return ContextType->getPointeeType();
567 if (ContextType.isNull())
573 case tok::minusminus:
575 if (ContextType.isNull())
583 assert(
false &&
"unhandled unary op");
592 ComputeType =
nullptr;
599 if (!Enabled || !
Base)
602 if (ExpectedLoc !=
Base->getBeginLoc())
613 ComputeType =
nullptr;
622 ComputeType =
nullptr;
631 ComputeType =
nullptr;
639 ComputeType =
nullptr;
645 llvm::PointerUnion<const NamedDecl *, const DeclIndexPair *> DeclOrIterator;
646 unsigned SingleDeclIndex;
658 pointer(
const DeclIndexPair &Value) : Value(Value) {}
666 : DeclOrIterator(SingleDecl), SingleDeclIndex(Index) {}
669 : DeclOrIterator(Iterator), SingleDeclIndex(0) {}
691 if (
const NamedDecl *ND = dyn_cast<const NamedDecl *>(DeclOrIterator))
700 return X.DeclOrIterator.getOpaqueValue() ==
701 Y.DeclOrIterator.getOpaqueValue() &&
702 X.SingleDeclIndex == Y.SingleDeclIndex;
711ResultBuilder::ShadowMapEntry::begin()
const {
712 if (DeclOrVector.isNull())
715 if (
const NamedDecl *ND = dyn_cast<const NamedDecl *>(DeclOrVector))
716 return iterator(ND, SingleDeclIndex);
722ResultBuilder::ShadowMapEntry::end()
const {
747 for (
const DeclContext *CommonAncestor = TargetContext;
748 CommonAncestor && !CommonAncestor->
Encloses(CurContext);
749 CommonAncestor = CommonAncestor->getLookupParent()) {
750 if (CommonAncestor->isTransparentContext() ||
751 CommonAncestor->isFunctionOrMethod())
754 TargetParents.push_back(CommonAncestor);
758 while (!TargetParents.empty()) {
759 const DeclContext *Parent = TargetParents.pop_back_val();
761 if (
const auto *Namespace = dyn_cast<NamespaceDecl>(Parent)) {
762 if (!Namespace->getIdentifier())
766 }
else if (
const auto *TD = dyn_cast<TagDecl>(Parent)) {
799bool ResultBuilder::isInterestingDecl(
const NamedDecl *ND,
800 bool &AsNestedNameSpecifier)
const {
801 AsNestedNameSpecifier =
false;
827 if (Filter == &ResultBuilder::IsNestedNameSpecifier ||
829 Filter != &ResultBuilder::IsNamespaceOrAlias && Filter !=
nullptr))
830 AsNestedNameSpecifier =
true;
833 if (Filter && !(this->*Filter)(Named)) {
835 if (AllowNestedNameSpecifiers && SemaRef.
getLangOpts().CPlusPlus &&
836 IsNestedNameSpecifier(ND) &&
837 (Filter != &ResultBuilder::IsMember ||
840 AsNestedNameSpecifier =
true;
859 R.Declaration->getDeclContext()->getRedeclContext();
870 R.QualifierIsInformative =
false;
874 R.Declaration->getDeclContext());
881 switch (
T->getTypeClass()) {
884 case BuiltinType::Void:
887 case BuiltinType::NullPtr:
890 case BuiltinType::Overload:
891 case BuiltinType::Dependent:
894 case BuiltinType::ObjCId:
895 case BuiltinType::ObjCClass:
896 case BuiltinType::ObjCSel:
909 case Type::BlockPointer:
912 case Type::LValueReference:
913 case Type::RValueReference:
916 case Type::ConstantArray:
917 case Type::IncompleteArray:
918 case Type::VariableArray:
919 case Type::DependentSizedArray:
922 case Type::DependentSizedExtVector:
924 case Type::ExtVector:
927 case Type::FunctionProto:
928 case Type::FunctionNoProto:
937 case Type::ObjCObject:
938 case Type::ObjCInterface:
939 case Type::ObjCObjectPointer:
953 if (
const auto *
Type = dyn_cast<TypeDecl>(ND))
955 if (
const auto *Iface = dyn_cast<ObjCInterfaceDecl>(ND))
956 return C.getObjCInterfaceType(Iface);
961 else if (
const auto *
Method = dyn_cast<ObjCMethodDecl>(ND))
962 T =
Method->getSendResultType();
963 else if (
const auto *
Enumerator = dyn_cast<EnumConstantDecl>(ND))
967 else if (
const auto *
Property = dyn_cast<ObjCPropertyDecl>(ND))
969 else if (
const auto *
Value = dyn_cast<ValueDecl>(ND))
980 T = Ref->getPointeeType();
985 if (
Pointer->getPointeeType()->isFunctionType()) {
994 T =
Block->getPointeeType();
1009unsigned ResultBuilder::getBasePriority(
const NamedDecl *ND) {
1017 if (
const auto *ImplicitParam = dyn_cast<ImplicitParamDecl>(ND))
1018 if (ImplicitParam->getIdentifier() &&
1019 ImplicitParam->getIdentifier()->isStr(
"_cmd"))
1048 CompletionContext.
getKind() ==
1050 CompletionContext.
getKind() ==
1057void ResultBuilder::AdjustResultPriorityForDecl(
Result &R) {
1060 if (!PreferredSelector.
isNull())
1061 if (
const auto *
Method = dyn_cast<ObjCMethodDecl>(R.Declaration))
1062 if (PreferredSelector ==
Method->getSelector())
1067 if (!PreferredType.
isNull()) {
1077 !(PreferredType->isEnumeralType() && TC->isEnumeralType()))
1087 Context.DeclarationNames.getCXXConstructorName(RecordTy);
1088 return Record->lookup(ConstructorName);
1091void ResultBuilder::MaybeAddConstructorResults(
Result R) {
1092 if (!SemaRef.
getLangOpts().CPlusPlus || !R.Declaration ||
1099 Record = ClassTemplate->getTemplatedDecl();
1100 else if ((
Record = dyn_cast<CXXRecordDecl>(D))) {
1114 R.Declaration = Ctor;
1116 Results.push_back(R);
1121 if (
const auto *Tmpl = dyn_cast<FunctionTemplateDecl>(ND))
1122 ND = Tmpl->getTemplatedDecl();
1127 assert(!ShadowMaps.empty() &&
"Must enter into a results scope");
1129 if (R.Kind != Result::RK_Declaration) {
1131 Results.push_back(R);
1136 if (
const UsingShadowDecl *Using = dyn_cast<UsingShadowDecl>(R.Declaration)) {
1138 getBasePriority(
Using->getTargetDecl()),
1142 std::move(R.FixIts));
1144 MaybeAddResult(
Result, CurContext);
1148 const Decl *CanonDecl = R.Declaration->getCanonicalDecl();
1151 bool AsNestedNameSpecifier =
false;
1152 if (!isInterestingDecl(R.Declaration, AsNestedNameSpecifier))
1159 ShadowMap &
SMap = ShadowMaps.back();
1160 ShadowMapEntry::iterator I, IEnd;
1161 ShadowMap::iterator NamePos =
SMap.find(R.Declaration->getDeclName());
1162 if (NamePos !=
SMap.end()) {
1163 I = NamePos->second.begin();
1164 IEnd = NamePos->second.end();
1167 for (; I != IEnd; ++I) {
1169 unsigned Index = I->second;
1172 Results[Index].Declaration = R.Declaration;
1182 std::list<ShadowMap>::iterator
SM, SMEnd = ShadowMaps.end();
1184 for (
SM = ShadowMaps.begin();
SM != SMEnd; ++
SM) {
1185 ShadowMapEntry::iterator I, IEnd;
1186 ShadowMap::iterator NamePos =
SM->find(R.Declaration->getDeclName());
1187 if (NamePos !=
SM->end()) {
1188 I = NamePos->second.begin();
1189 IEnd = NamePos->second.end();
1191 for (; I != IEnd; ++I) {
1193 if (I->first->hasTagIdentifierNamespace() &&
1201 I->first->getIdentifierNamespace() != IDNS)
1205 if (CheckHiddenResult(R, CurContext, I->first))
1213 if (!AllDeclsFound.insert(CanonDecl).second)
1218 if (AsNestedNameSpecifier) {
1219 R.StartsNestedNameSpecifier =
true;
1222 AdjustResultPriorityForDecl(R);
1225 if (R.QualifierIsInformative && !R.Qualifier &&
1226 !R.StartsNestedNameSpecifier) {
1227 const DeclContext *Ctx = R.Declaration->getDeclContext();
1228 if (
const NamespaceDecl *Namespace = dyn_cast<NamespaceDecl>(Ctx))
1231 else if (
const TagDecl *Tag = dyn_cast<TagDecl>(Ctx))
1235 std::nullopt, Tag,
false)
1238 R.QualifierIsInformative =
false;
1243 SMap[R.Declaration->getDeclName()].Add(R.Declaration, Results.size());
1244 Results.push_back(R);
1246 if (!AsNestedNameSpecifier)
1247 MaybeAddConstructorResults(R);
1273 for (
unsigned I = 0, E = Candidate.
getNumParams(); I != E; ++I)
1274 if (Candidate.
parameters()[I]->getType().getCanonicalType() !=
1275 Incumbent.
parameters()[I]->getType().getCanonicalType())
1284 if (CandidateRef != IncumbentRef) {
1300 if (CandidateSuperset == IncumbentSuperset)
1312 const auto *CurrentClassScope = [&]() ->
const CXXRecordDecl * {
1314 const auto *CtxMethod = llvm::dyn_cast<CXXMethodDecl>(Ctx);
1315 if (CtxMethod && !CtxMethod->getParent()->isLambda()) {
1316 return CtxMethod->getParent();
1323 bool FunctionCanBeCall =
1324 CurrentClassScope &&
1325 (CurrentClassScope ==
Method->getParent() ||
1326 CurrentClassScope->isDerivedFrom(
Method->getParent()));
1329 if (FunctionCanBeCall)
1334 BaseExprType.
isNull() ?
nullptr
1336 auto *MaybeBase =
Method->getParent();
1338 MaybeDerived == MaybeBase || MaybeDerived->isDerivedFrom(MaybeBase);
1341 return FunctionCanBeCall;
1344bool ResultBuilder::canFunctionBeCalled(
const NamedDecl *ND,
1355 if (
const auto *FuncTmpl = dyn_cast<FunctionTemplateDecl>(ND)) {
1356 ND = FuncTmpl->getTemplatedDecl();
1358 const auto *
Method = dyn_cast<CXXMethodDecl>(ND);
1360 return canCxxMethodBeCalled(
Method, BaseExprType);
1367 NamedDecl *Hiding,
bool InBaseClass =
false,
1369 if (R.Kind != Result::RK_Declaration) {
1371 Results.push_back(R);
1376 if (
const auto *Using = dyn_cast<UsingShadowDecl>(R.Declaration)) {
1378 getBasePriority(
Using->getTargetDecl()),
1382 std::move(R.FixIts));
1384 AddResult(
Result, CurContext, Hiding,
false,
1389 bool AsNestedNameSpecifier =
false;
1390 if (!isInterestingDecl(R.Declaration, AsNestedNameSpecifier))
1397 if (Hiding && CheckHiddenResult(R, CurContext, Hiding))
1401 if (!AllDeclsFound.insert(R.Declaration->getCanonicalDecl()).second)
1406 if (AsNestedNameSpecifier) {
1407 R.StartsNestedNameSpecifier =
true;
1409 }
else if (Filter == &ResultBuilder::IsMember && !R.Qualifier &&
1412 R.Declaration->getDeclContext()->getRedeclContext()))
1413 R.QualifierIsInformative =
true;
1416 if (R.QualifierIsInformative && !R.Qualifier &&
1417 !R.StartsNestedNameSpecifier) {
1418 const DeclContext *Ctx = R.Declaration->getDeclContext();
1419 if (
const auto *Namespace = dyn_cast<NamespaceDecl>(Ctx))
1422 else if (
const auto *Tag = dyn_cast<TagDecl>(Ctx))
1426 std::nullopt, Tag,
false)
1429 R.QualifierIsInformative =
false;
1436 AdjustResultPriorityForDecl(R);
1439 const auto GetQualifiers = [&](
const CXXMethodDecl *MethodDecl) {
1440 if (MethodDecl->isExplicitObjectMemberFunction())
1441 return MethodDecl->getFunctionObjectParameterType().getQualifiers();
1443 return MethodDecl->getMethodQualifiers();
1446 if (IsExplicitObjectMemberFunction &&
1455 if (HasObjectTypeQualifiers)
1456 if (
const auto *
Method = dyn_cast<CXXMethodDecl>(R.Declaration))
1457 if (
Method->isInstance()) {
1459 if (ObjectTypeQualifiers == MethodQuals)
1461 else if (ObjectTypeQualifiers - MethodQuals) {
1467 switch (
Method->getRefQualifier()) {
1484 CurContext,
Method->getDeclName().getAsOpaqueInteger())];
1486 Result &Incumbent = Results[Entry.second];
1489 ObjectTypeQualifiers, ObjectKind,
1495 Incumbent = std::move(R);
1507 R.FunctionCanBeCall = canFunctionBeCalled(R.getDeclaration(), BaseExprType);
1510 Results.push_back(R);
1512 if (!AsNestedNameSpecifier)
1513 MaybeAddConstructorResults(R);
1516void ResultBuilder::AddResult(
Result R) {
1517 assert(R.Kind != Result::RK_Declaration &&
1518 "Declaration results need more context");
1519 Results.push_back(R);
1523void ResultBuilder::EnterNewScope() { ShadowMaps.emplace_back(); }
1526void ResultBuilder::ExitScope() {
1527 ShadowMaps.pop_back();
1532bool ResultBuilder::IsOrdinaryName(
const NamedDecl *ND)
const {
1550bool ResultBuilder::IsOrdinaryNonTypeName(
const NamedDecl *ND)
const {
1557 if (
const auto *ID = dyn_cast<ObjCInterfaceDecl>(ND)) {
1558 if (!
ID->getDefinition())
1573bool ResultBuilder::IsIntegralConstantValue(
const NamedDecl *ND)
const {
1574 if (!IsOrdinaryNonTypeName(ND))
1578 if (VD->getType()->isIntegralOrEnumerationType())
1586bool ResultBuilder::IsOrdinaryNonValueName(
const NamedDecl *ND)
const {
1599bool ResultBuilder::IsNestedNameSpecifier(
const NamedDecl *ND)
const {
1601 if (
const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
1602 ND = ClassTemplate->getTemplatedDecl();
1608bool ResultBuilder::IsEnum(
const NamedDecl *ND)
const {
1613bool ResultBuilder::IsClassOrStruct(
const NamedDecl *ND)
const {
1615 if (
const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
1616 ND = ClassTemplate->getTemplatedDecl();
1619 if (
const auto *RD = dyn_cast<RecordDecl>(ND))
1628bool ResultBuilder::IsUnion(
const NamedDecl *ND)
const {
1630 if (
const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
1631 ND = ClassTemplate->getTemplatedDecl();
1633 if (
const auto *RD = dyn_cast<RecordDecl>(ND))
1640bool ResultBuilder::IsNamespace(
const NamedDecl *ND)
const {
1646bool ResultBuilder::IsNamespaceOrAlias(
const NamedDecl *ND)
const {
1651bool ResultBuilder::IsType(
const NamedDecl *ND)
const {
1659bool ResultBuilder::IsMember(
const NamedDecl *ND)
const {
1666 T =
C.getCanonicalType(
T);
1667 switch (
T->getTypeClass()) {
1668 case Type::ObjCObject:
1669 case Type::ObjCInterface:
1670 case Type::ObjCObjectPointer:
1675 case BuiltinType::ObjCId:
1676 case BuiltinType::ObjCClass:
1677 case BuiltinType::ObjCSel:
1689 if (!
C.getLangOpts().CPlusPlus)
1695 return T->isDependentType() ||
T->isRecordType();
1698bool ResultBuilder::IsObjCMessageReceiver(
const NamedDecl *ND)
const {
1708bool ResultBuilder::IsObjCMessageReceiverOrLambdaCapture(
1710 if (IsObjCMessageReceiver(ND))
1713 const auto *Var = dyn_cast<VarDecl>(ND);
1717 return Var->hasLocalStorage() && !Var->hasAttr<BlocksAttr>();
1720bool ResultBuilder::IsObjCCollection(
const NamedDecl *ND)
const {
1721 if ((SemaRef.
getLangOpts().CPlusPlus && !IsOrdinaryName(ND)) ||
1722 (!SemaRef.
getLangOpts().CPlusPlus && !IsOrdinaryNonTypeName(ND)))
1731 return T->isObjCObjectType() ||
T->isObjCObjectPointerType() ||
1732 T->isObjCIdType() ||
1736bool ResultBuilder::IsImpossibleToSatisfy(
const NamedDecl *ND)
const {
1742bool ResultBuilder::IsObjCIvar(
const NamedDecl *ND)
const {
1751 ResultBuilder &Results;
1752 DeclContext *InitialLookupCtx;
1755 CXXRecordDecl *NamingClass;
1757 std::vector<FixItHint> FixIts;
1760 CodeCompletionDeclConsumer(
1761 ResultBuilder &Results, DeclContext *InitialLookupCtx,
1762 QualType BaseType = QualType(),
1763 std::vector<FixItHint> FixIts = std::vector<FixItHint>())
1764 : Results(Results), InitialLookupCtx(InitialLookupCtx),
1765 FixIts(std::move(FixIts)) {
1766 NamingClass = llvm::dyn_cast<CXXRecordDecl>(InitialLookupCtx);
1769 auto ThisType = Results.getSema().getCurrentThisType();
1770 if (!ThisType.isNull()) {
1771 assert(ThisType->isPointerType());
1777 this->BaseType = BaseType;
1780 void FoundDecl(NamedDecl *ND, NamedDecl *Hiding, DeclContext *Ctx,
1781 bool InBaseClass)
override {
1782 ResultBuilder::Result
Result(ND, Results.getBasePriority(ND),
1786 Results.AddResult(
Result, InitialLookupCtx, Hiding, InBaseClass, BaseType);
1789 void EnteredContext(DeclContext *Ctx)
override {
1790 Results.addVisitedContext(Ctx);
1799 auto *NamingClass = this->NamingClass;
1800 QualType BaseType = this->BaseType;
1801 if (
auto *Cls = llvm::dyn_cast_or_null<CXXRecordDecl>(Ctx)) {
1810 BaseType = QualType();
1816 NamingClass =
nullptr;
1817 BaseType = QualType();
1819 return Results.getSema().IsSimplyAccessible(ND, NamingClass, BaseType);
1826 ResultBuilder &Results) {
1853 Results.getCodeCompletionTUInfo());
1854 if (LangOpts.CPlusPlus) {
1862 Builder.AddTypedTextChunk(
"typename");
1864 Builder.AddPlaceholderChunk(
"name");
1865 Results.AddResult(
Result(Builder.TakeString()));
1867 if (LangOpts.CPlusPlus11) {
1872 Builder.AddTypedTextChunk(
"decltype");
1874 Builder.AddPlaceholderChunk(
"expression");
1876 Results.AddResult(
Result(Builder.TakeString()));
1879 if (LangOpts.Char8 || LangOpts.CPlusPlus20)
1885 if (LangOpts.GNUKeywords) {
1891 Builder.AddTypedTextChunk(
"typeof");
1893 Builder.AddPlaceholderChunk(
"expression");
1894 Results.AddResult(
Result(Builder.TakeString()));
1896 Builder.AddTypedTextChunk(
"typeof");
1898 Builder.AddPlaceholderChunk(
"type");
1900 Results.AddResult(
Result(Builder.TakeString()));
1911 const LangOptions &LangOpts, ResultBuilder &Results) {
1916 Results.AddResult(
Result(
"extern"));
1917 Results.AddResult(
Result(
"static"));
1919 if (LangOpts.CPlusPlus11) {
1924 Builder.AddTypedTextChunk(
"alignas");
1926 Builder.AddPlaceholderChunk(
"expression");
1928 Results.AddResult(
Result(Builder.TakeString()));
1930 Results.AddResult(
Result(
"constexpr"));
1931 Results.AddResult(
Result(
"thread_local"));
1934 if (LangOpts.CPlusPlus20)
1935 Results.AddResult(
Result(
"constinit"));
1940 const LangOptions &LangOpts, ResultBuilder &Results) {
1945 if (LangOpts.CPlusPlus) {
1946 Results.AddResult(
Result(
"explicit"));
1947 Results.AddResult(
Result(
"friend"));
1948 Results.AddResult(
Result(
"mutable"));
1949 Results.AddResult(
Result(
"virtual"));
1957 if (LangOpts.CPlusPlus || LangOpts.C99)
1958 Results.AddResult(
Result(
"inline"));
1960 if (LangOpts.CPlusPlus20)
1961 Results.AddResult(
Result(
"consteval"));
1981 ResultBuilder &Results,
bool NeedAt);
1983 ResultBuilder &Results,
bool NeedAt);
1985 ResultBuilder &Results,
bool NeedAt);
1990 Results.getCodeCompletionTUInfo());
1991 Builder.AddTypedTextChunk(
"typedef");
1993 Builder.AddPlaceholderChunk(
"type");
1995 Builder.AddPlaceholderChunk(
"name");
2002 ResultBuilder &Results) {
2003 Builder.AddTypedTextChunk(
"using");
2005 Builder.AddPlaceholderChunk(
"name");
2007 Builder.AddPlaceholderChunk(
"type");
2030 return LangOpts.CPlusPlus;
2037 return LangOpts.CPlusPlus || LangOpts.ObjC || LangOpts.C99;
2040 llvm_unreachable(
"Invalid ParserCompletionContext!");
2066 if (!
T.getLocalQualifiers()) {
2069 return BT->getNameAsCString(Policy);
2072 if (
const TagType *TagT = dyn_cast<TagType>(
T))
2073 if (
TagDecl *Tag = TagT->getOriginalDecl())
2074 if (!Tag->hasNameForLinkage()) {
2075 switch (Tag->getTagKind()) {
2077 return "struct <anonymous>";
2079 return "__interface <anonymous>";
2081 return "class <anonymous>";
2083 return "union <anonymous>";
2085 return "enum <anonymous>";
2092 T.getAsStringInternal(Result, Policy);
2105 Builder.AddResultTypeChunk(
2107 Builder.AddTypedTextChunk(
"this");
2112 ResultBuilder &Results,
2114 if (!LangOpts.CPlusPlus11)
2117 Builder.AddTypedTextChunk(
"static_assert");
2119 Builder.AddPlaceholderChunk(
"expression");
2121 Builder.AddPlaceholderChunk(
"message");
2130 Sema &S = Results.getSema();
2131 const auto *CR = llvm::dyn_cast<CXXRecordDecl>(S.
CurContext);
2137 llvm::StringMap<std::vector<FunctionDecl *>> Overrides;
2138 for (
auto *Method : CR->methods()) {
2139 if (!Method->isVirtual() || !Method->getIdentifier())
2141 Overrides[Method->getName()].push_back(Method);
2144 for (
const auto &
Base : CR->bases()) {
2145 const auto *BR =
Base.getType().getTypePtr()->getAsCXXRecordDecl();
2148 for (
auto *Method : BR->methods()) {
2149 if (!Method->isVirtual() || !Method->getIdentifier())
2151 const auto it = Overrides.find(Method->getName());
2152 bool IsOverriden =
false;
2153 if (it != Overrides.end()) {
2154 for (
auto *MD : it->second) {
2172 false, CCContext, Policy);
2182 Scope *S,
Sema &SemaRef, ResultBuilder &Results) {
2190 if (Results.includeCodePatterns()) {
2192 Builder.AddTypedTextChunk(
"namespace");
2194 Builder.AddPlaceholderChunk(
"identifier");
2198 Builder.AddPlaceholderChunk(
"declarations");
2201 Results.AddResult(
Result(Builder.TakeString()));
2205 Builder.AddTypedTextChunk(
"namespace");
2207 Builder.AddPlaceholderChunk(
"name");
2209 Builder.AddPlaceholderChunk(
"namespace");
2211 Results.AddResult(
Result(Builder.TakeString()));
2214 Builder.AddTypedTextChunk(
"using namespace");
2216 Builder.AddPlaceholderChunk(
"identifier");
2218 Results.AddResult(
Result(Builder.TakeString()));
2221 Builder.AddTypedTextChunk(
"asm");
2223 Builder.AddPlaceholderChunk(
"string-literal");
2225 Results.AddResult(
Result(Builder.TakeString()));
2227 if (Results.includeCodePatterns()) {
2229 Builder.AddTypedTextChunk(
"template");
2231 Builder.AddPlaceholderChunk(
"declaration");
2232 Results.AddResult(
Result(Builder.TakeString()));
2243 if (!CurrentModule) {
2245 Builder.AddTypedTextChunk(
"module");
2248 Results.AddResult(
Result(Builder.TakeString()));
2253 if (!CurrentModule ||
2258 Builder.AddTypedTextChunk(
"module");
2260 Builder.AddPlaceholderChunk(
"name");
2263 Results.AddResult(
Result(Builder.TakeString()));
2268 if (!CurrentModule ||
2272 Builder.AddTypedTextChunk(
"import");
2274 Builder.AddPlaceholderChunk(
"name");
2277 Results.AddResult(
Result(Builder.TakeString()));
2280 if (CurrentModule &&
2284 Builder.AddTypedTextChunk(
"module");
2287 Builder.AddTypedTextChunk(
"private");
2290 Results.AddResult(
Result(Builder.TakeString()));
2295 if (!CurrentModule ||
2310 Builder.AddTypedTextChunk(
"using");
2312 Builder.AddPlaceholderChunk(
"qualifier");
2313 Builder.AddTextChunk(
"::");
2314 Builder.AddPlaceholderChunk(
"name");
2316 Results.AddResult(
Result(Builder.TakeString()));
2323 Builder.AddTypedTextChunk(
"using typename");
2325 Builder.AddPlaceholderChunk(
"qualifier");
2326 Builder.AddTextChunk(
"::");
2327 Builder.AddPlaceholderChunk(
"name");
2329 Results.AddResult(
Result(Builder.TakeString()));
2339 Builder.AddTypedTextChunk(
"public");
2340 if (IsNotInheritanceScope && Results.includeCodePatterns())
2342 Results.AddResult(
Result(Builder.TakeString()));
2345 Builder.AddTypedTextChunk(
"protected");
2346 if (IsNotInheritanceScope && Results.includeCodePatterns())
2348 Results.AddResult(
Result(Builder.TakeString()));
2351 Builder.AddTypedTextChunk(
"private");
2352 if (IsNotInheritanceScope && Results.includeCodePatterns())
2354 Results.AddResult(
Result(Builder.TakeString()));
2372 if (SemaRef.
getLangOpts().CPlusPlus && Results.includeCodePatterns()) {
2374 Builder.AddTypedTextChunk(
"template");
2376 Builder.AddPlaceholderChunk(
"parameters");
2378 Results.AddResult(
Result(Builder.TakeString()));
2416 if (SemaRef.
getLangOpts().CPlusPlus && Results.includeCodePatterns() &&
2418 Builder.AddTypedTextChunk(
"try");
2422 Builder.AddPlaceholderChunk(
"statements");
2426 Builder.AddTextChunk(
"catch");
2429 Builder.AddPlaceholderChunk(
"declaration");
2434 Builder.AddPlaceholderChunk(
"statements");
2437 Results.AddResult(
Result(Builder.TakeString()));
2442 if (Results.includeCodePatterns()) {
2444 Builder.AddTypedTextChunk(
"if");
2448 Builder.AddPlaceholderChunk(
"condition");
2450 Builder.AddPlaceholderChunk(
"expression");
2455 Builder.AddPlaceholderChunk(
"statements");
2458 Results.AddResult(
Result(Builder.TakeString()));
2461 Builder.AddTypedTextChunk(
"switch");
2465 Builder.AddPlaceholderChunk(
"condition");
2467 Builder.AddPlaceholderChunk(
"expression");
2472 Builder.AddPlaceholderChunk(
"cases");
2475 Results.AddResult(
Result(Builder.TakeString()));
2482 Builder.AddTypedTextChunk(
"case");
2484 Builder.AddPlaceholderChunk(
"expression");
2486 Results.AddResult(
Result(Builder.TakeString()));
2489 Builder.AddTypedTextChunk(
"default");
2491 Results.AddResult(
Result(Builder.TakeString()));
2494 if (Results.includeCodePatterns()) {
2496 Builder.AddTypedTextChunk(
"while");
2500 Builder.AddPlaceholderChunk(
"condition");
2502 Builder.AddPlaceholderChunk(
"expression");
2507 Builder.AddPlaceholderChunk(
"statements");
2510 Results.AddResult(
Result(Builder.TakeString()));
2513 Builder.AddTypedTextChunk(
"do");
2517 Builder.AddPlaceholderChunk(
"statements");
2520 Builder.AddTextChunk(
"while");
2523 Builder.AddPlaceholderChunk(
"expression");
2525 Results.AddResult(
Result(Builder.TakeString()));
2528 Builder.AddTypedTextChunk(
"for");
2532 Builder.AddPlaceholderChunk(
"init-statement");
2534 Builder.AddPlaceholderChunk(
"init-expression");
2537 Builder.AddPlaceholderChunk(
"condition");
2540 Builder.AddPlaceholderChunk(
"inc-expression");
2545 Builder.AddPlaceholderChunk(
"statements");
2548 Results.AddResult(
Result(Builder.TakeString()));
2552 Builder.AddTypedTextChunk(
"for");
2555 Builder.AddPlaceholderChunk(
"range-declaration");
2558 Builder.AddTextChunk(
"in");
2562 Builder.AddPlaceholderChunk(
"range-expression");
2567 Builder.AddPlaceholderChunk(
"statements");
2570 Results.AddResult(
Result(Builder.TakeString()));
2576 Builder.AddTypedTextChunk(
"continue");
2578 Results.AddResult(
Result(Builder.TakeString()));
2583 Builder.AddTypedTextChunk(
"break");
2585 Results.AddResult(
Result(Builder.TakeString()));
2590 if (
const auto *Function = dyn_cast<FunctionDecl>(SemaRef.
CurContext))
2591 ReturnType = Function->getReturnType();
2592 else if (
const auto *Method = dyn_cast<ObjCMethodDecl>(SemaRef.
CurContext))
2593 ReturnType = Method->getReturnType();
2598 Builder.AddTypedTextChunk(
"return");
2600 Results.AddResult(
Result(Builder.TakeString()));
2602 assert(!ReturnType.
isNull());
2604 Builder.AddTypedTextChunk(
"return");
2606 Builder.AddPlaceholderChunk(
"expression");
2608 Results.AddResult(
Result(Builder.TakeString()));
2611 Builder.AddTypedTextChunk(
"co_return");
2613 Builder.AddPlaceholderChunk(
"expression");
2615 Results.AddResult(
Result(Builder.TakeString()));
2619 Builder.AddTypedTextChunk(
"return true");
2621 Results.AddResult(
Result(Builder.TakeString()));
2623 Builder.AddTypedTextChunk(
"return false");
2625 Results.AddResult(
Result(Builder.TakeString()));
2630 Builder.AddTypedTextChunk(
"return nullptr");
2632 Results.AddResult(
Result(Builder.TakeString()));
2637 Builder.AddTypedTextChunk(
"goto");
2639 Builder.AddPlaceholderChunk(
"label");
2641 Results.AddResult(
Result(Builder.TakeString()));
2644 Builder.AddTypedTextChunk(
"using namespace");
2646 Builder.AddPlaceholderChunk(
"identifier");
2648 Results.AddResult(
Result(Builder.TakeString()));
2665 Builder.AddTypedTextChunk(
"__bridge");
2667 Builder.AddPlaceholderChunk(
"type");
2669 Builder.AddPlaceholderChunk(
"expression");
2670 Results.AddResult(
Result(Builder.TakeString()));
2673 Builder.AddTypedTextChunk(
"__bridge_transfer");
2675 Builder.AddPlaceholderChunk(
"Objective-C type");
2677 Builder.AddPlaceholderChunk(
"expression");
2678 Results.AddResult(
Result(Builder.TakeString()));
2681 Builder.AddTypedTextChunk(
"__bridge_retained");
2683 Builder.AddPlaceholderChunk(
"CF type");
2685 Builder.AddPlaceholderChunk(
"expression");
2686 Results.AddResult(
Result(Builder.TakeString()));
2697 Builder.AddResultTypeChunk(
"bool");
2698 Builder.AddTypedTextChunk(
"true");
2699 Results.AddResult(
Result(Builder.TakeString()));
2702 Builder.AddResultTypeChunk(
"bool");
2703 Builder.AddTypedTextChunk(
"false");
2704 Results.AddResult(
Result(Builder.TakeString()));
2708 Builder.AddTypedTextChunk(
"dynamic_cast");
2710 Builder.AddPlaceholderChunk(
"type");
2713 Builder.AddPlaceholderChunk(
"expression");
2715 Results.AddResult(
Result(Builder.TakeString()));
2719 Builder.AddTypedTextChunk(
"static_cast");
2721 Builder.AddPlaceholderChunk(
"type");
2724 Builder.AddPlaceholderChunk(
"expression");
2726 Results.AddResult(
Result(Builder.TakeString()));
2729 Builder.AddTypedTextChunk(
"reinterpret_cast");
2731 Builder.AddPlaceholderChunk(
"type");
2734 Builder.AddPlaceholderChunk(
"expression");
2736 Results.AddResult(
Result(Builder.TakeString()));
2739 Builder.AddTypedTextChunk(
"const_cast");
2741 Builder.AddPlaceholderChunk(
"type");
2744 Builder.AddPlaceholderChunk(
"expression");
2746 Results.AddResult(
Result(Builder.TakeString()));
2750 Builder.AddResultTypeChunk(
"std::type_info");
2751 Builder.AddTypedTextChunk(
"typeid");
2753 Builder.AddPlaceholderChunk(
"expression-or-type");
2755 Results.AddResult(
Result(Builder.TakeString()));
2759 Builder.AddTypedTextChunk(
"new");
2761 Builder.AddPlaceholderChunk(
"type");
2763 Builder.AddPlaceholderChunk(
"expressions");
2765 Results.AddResult(
Result(Builder.TakeString()));
2768 Builder.AddTypedTextChunk(
"new");
2770 Builder.AddPlaceholderChunk(
"type");
2772 Builder.AddPlaceholderChunk(
"size");
2775 Builder.AddPlaceholderChunk(
"expressions");
2777 Results.AddResult(
Result(Builder.TakeString()));
2780 Builder.AddResultTypeChunk(
"void");
2781 Builder.AddTypedTextChunk(
"delete");
2783 Builder.AddPlaceholderChunk(
"expression");
2784 Results.AddResult(
Result(Builder.TakeString()));
2787 Builder.AddResultTypeChunk(
"void");
2788 Builder.AddTypedTextChunk(
"delete");
2793 Builder.AddPlaceholderChunk(
"expression");
2794 Results.AddResult(
Result(Builder.TakeString()));
2798 Builder.AddResultTypeChunk(
"void");
2799 Builder.AddTypedTextChunk(
"throw");
2801 Builder.AddPlaceholderChunk(
"expression");
2802 Results.AddResult(
Result(Builder.TakeString()));
2809 Builder.AddResultTypeChunk(
"std::nullptr_t");
2810 Builder.AddTypedTextChunk(
"nullptr");
2811 Results.AddResult(
Result(Builder.TakeString()));
2814 Builder.AddResultTypeChunk(
"size_t");
2815 Builder.AddTypedTextChunk(
"alignof");
2817 Builder.AddPlaceholderChunk(
"type");
2819 Results.AddResult(
Result(Builder.TakeString()));
2822 Builder.AddResultTypeChunk(
"bool");
2823 Builder.AddTypedTextChunk(
"noexcept");
2825 Builder.AddPlaceholderChunk(
"expression");
2827 Results.AddResult(
Result(Builder.TakeString()));
2830 Builder.AddResultTypeChunk(
"size_t");
2831 Builder.AddTypedTextChunk(
"sizeof...");
2833 Builder.AddPlaceholderChunk(
"parameter-pack");
2835 Results.AddResult(
Result(Builder.TakeString()));
2840 Builder.AddTypedTextChunk(
"co_await");
2842 Builder.AddPlaceholderChunk(
"expression");
2843 Results.AddResult(
Result(Builder.TakeString()));
2846 Builder.AddTypedTextChunk(
"co_yield");
2848 Builder.AddPlaceholderChunk(
"expression");
2849 Results.AddResult(
Result(Builder.TakeString()));
2852 Builder.AddResultTypeChunk(
"bool");
2853 Builder.AddTypedTextChunk(
"requires");
2856 Builder.AddPlaceholderChunk(
"parameters");
2861 Builder.AddPlaceholderChunk(
"requirements");
2864 Results.AddResult(
Result(Builder.TakeString()));
2868 Builder.AddTypedTextChunk(
"requires");
2870 Builder.AddPlaceholderChunk(
"expression");
2872 Results.AddResult(
Result(Builder.TakeString()));
2882 if (ID->getSuperClass()) {
2883 std::string SuperType;
2884 SuperType = ID->getSuperClass()->getNameAsString();
2885 if (Method->isInstanceMethod())
2888 Builder.AddResultTypeChunk(Allocator.
CopyString(SuperType));
2889 Builder.AddTypedTextChunk(
"super");
2890 Results.AddResult(
Result(Builder.TakeString()));
2899 Builder.AddResultTypeChunk(
"size_t");
2901 Builder.AddTypedTextChunk(
"alignof");
2903 Builder.AddTypedTextChunk(
"_Alignof");
2905 Builder.AddPlaceholderChunk(
"type");
2907 Results.AddResult(
Result(Builder.TakeString()));
2912 Builder.AddResultTypeChunk(
"nullptr_t");
2913 Builder.AddTypedTextChunk(
"nullptr");
2914 Results.AddResult(
Result(Builder.TakeString()));
2918 Builder.AddResultTypeChunk(
"size_t");
2919 Builder.AddTypedTextChunk(
"sizeof");
2921 Builder.AddPlaceholderChunk(
"expression-or-type");
2923 Results.AddResult(
Result(Builder.TakeString()));
2936 Results.AddResult(
Result(
"operator"));
2956 T = Function->getReturnType();
2957 else if (
const auto *Method = dyn_cast<ObjCMethodDecl>(ND)) {
2958 if (!BaseType.isNull())
2959 T = Method->getSendResultType(BaseType);
2961 T = Method->getReturnType();
2962 }
else if (
const auto *
Enumerator = dyn_cast<EnumConstantDecl>(ND)) {
2963 T = Context.getCanonicalTagType(
2967 }
else if (
const auto *Ivar = dyn_cast<ObjCIvarDecl>(ND)) {
2968 if (!BaseType.isNull())
2969 T = Ivar->getUsageType(BaseType);
2971 T = Ivar->getType();
2972 }
else if (
const auto *
Value = dyn_cast<ValueDecl>(ND)) {
2974 }
else if (
const auto *Property = dyn_cast<ObjCPropertyDecl>(ND)) {
2975 if (!BaseType.isNull())
2976 T = Property->getUsageType(BaseType);
2978 T = Property->getType();
2981 if (
T.isNull() || Context.hasSameType(
T, Context.DependentTy))
2984 Result.AddResultTypeChunk(
2991 if (SentinelAttr *Sentinel = FunctionOrMethod->
getAttr<SentinelAttr>())
2992 if (Sentinel->getSentinel() == 0) {
2994 Result.AddTextChunk(
", nil");
2996 Result.AddTextChunk(
", NULL");
2998 Result.AddTextChunk(
", (void*)0");
3012 Result +=
"bycopy ";
3016 Result +=
"oneway ";
3018 if (
auto nullability = AttributedType::stripOuterNullability(
Type)) {
3019 switch (*nullability) {
3021 Result +=
"nonnull ";
3025 Result +=
"nullable ";
3029 Result +=
"null_unspecified ";
3033 llvm_unreachable(
"Not supported as a context-sensitive keyword!");
3050 bool SuppressBlock =
false) {
3056 if (!SuppressBlock) {
3059 TypedefTL.getDecl()->getTypeSourceInfo()) {
3072 TL = AttrTL.getModifiedLoc();
3091 bool SuppressBlockName =
false,
bool SuppressBlock =
false,
3096 bool SuppressName =
false,
bool SuppressBlock =
false,
3104 if (
const auto *PVD = dyn_cast<ParmVarDecl>(Param))
3105 ObjCQual = PVD->getObjCDeclQualifier();
3107 if (Param->getType()->isDependentType() ||
3108 !Param->getType()->isBlockPointerType()) {
3113 if (Param->getIdentifier() && !ObjCMethodParam && !SuppressName)
3114 Result = std::string(Param->getIdentifier()->deuglifiedName());
3118 Type =
Type.substObjCTypeArgs(Param->getASTContext(), *ObjCSubsts,
3120 if (ObjCMethodParam) {
3122 Result +=
Type.getAsString(Policy) +
")";
3123 if (Param->getIdentifier() && !SuppressName)
3124 Result += Param->getIdentifier()->deuglifiedName();
3126 Type.getAsStringInternal(Result, Policy);
3139 if (!
Block && ObjCMethodParam &&
3142 ->findPropertyDecl(
false))
3151 if (!ObjCMethodParam && Param->getIdentifier())
3152 Result = std::string(Param->getIdentifier()->deuglifiedName());
3156 if (ObjCMethodParam) {
3157 Result =
Type.getAsString(Policy);
3160 Result =
"(" + Quals +
" " + Result +
")";
3161 if (Result.back() !=
')')
3163 if (Param->getIdentifier())
3164 Result += Param->getIdentifier()->deuglifiedName();
3166 Type.getAsStringInternal(Result, Policy);
3175 false, SuppressBlock,
3191 bool SuppressBlockName,
bool SuppressBlock,
3199 if (!ResultType->
isVoidType() || SuppressBlock)
3204 if (!BlockProto ||
Block.getNumParams() == 0) {
3211 for (
unsigned I = 0, N =
Block.getNumParams(); I != N; ++I) {
3224 if (SuppressBlock) {
3226 Result = Result +
" (^";
3227 if (!SuppressBlockName &&
BlockDecl->getIdentifier())
3228 Result +=
BlockDecl->getIdentifier()->getName();
3233 Result =
'^' + Result;
3236 if (!SuppressBlockName &&
BlockDecl->getIdentifier())
3237 Result +=
BlockDecl->getIdentifier()->getName();
3246 const SourceRange SrcRange = Param->getDefaultArgRange();
3256 if (srcText.empty() || srcText ==
"=") {
3262 std::string DefValue(srcText.str());
3265 if (DefValue.at(0) !=
'=') {
3269 return " = " + DefValue;
3271 return " " + DefValue;
3280 bool InOptional =
false) {
3281 bool FirstParameter =
true;
3283 for (
unsigned P = Start, N = Function->getNumParams(); P != N; ++P) {
3284 const ParmVarDecl *Param = Function->getParamDecl(P);
3286 if (Param->hasDefaultArg() && !InOptional) {
3290 Result.getCodeCompletionTUInfo());
3291 if (!FirstParameter)
3301 if (FirstParameter && Param->isExplicitObjectParameter()) {
3306 FirstParameter =
false;
3314 if (Param->hasDefaultArg())
3318 if (Function->isVariadic() && P == N - 1)
3319 PlaceholderStr +=
", ...";
3322 Result.AddPlaceholderChunk(
3323 Result.getAllocator().CopyString(PlaceholderStr));
3327 if (Proto->isVariadic()) {
3328 if (Proto->getNumParams() == 0)
3329 Result.AddPlaceholderChunk(
"...");
3339 unsigned MaxParameters = 0,
unsigned Start = 0,
bool InDefaultArg =
false) {
3340 bool FirstParameter =
true;
3349 PEnd = Params->
begin() + MaxParameters;
3352 bool HasDefaultArg =
false;
3353 std::string PlaceholderStr;
3355 if (TTP->wasDeclaredWithTypename())
3356 PlaceholderStr =
"typename";
3357 else if (
const auto *TC = TTP->getTypeConstraint()) {
3358 llvm::raw_string_ostream OS(PlaceholderStr);
3359 TC->print(OS, Policy);
3361 PlaceholderStr =
"class";
3363 if (TTP->getIdentifier()) {
3364 PlaceholderStr +=
' ';
3365 PlaceholderStr += TTP->getIdentifier()->deuglifiedName();
3368 HasDefaultArg = TTP->hasDefaultArgument();
3370 dyn_cast<NonTypeTemplateParmDecl>(*P)) {
3371 if (NTTP->getIdentifier())
3372 PlaceholderStr = std::string(NTTP->getIdentifier()->deuglifiedName());
3373 NTTP->getType().getAsStringInternal(PlaceholderStr, Policy);
3374 HasDefaultArg = NTTP->hasDefaultArgument();
3381 PlaceholderStr =
"template<...> class";
3383 PlaceholderStr +=
' ';
3390 if (HasDefaultArg && !InDefaultArg) {
3394 Result.getCodeCompletionTUInfo());
3395 if (!FirstParameter)
3398 P - Params->
begin(),
true);
3403 InDefaultArg =
false;
3406 FirstParameter =
false;
3411 Result.AddPlaceholderChunk(
3412 Result.getAllocator().CopyString(PlaceholderStr));
3420 bool QualifierIsInformative,
3426 std::string PrintedNNS;
3428 llvm::raw_string_ostream OS(PrintedNNS);
3429 Qualifier.print(OS, Policy);
3431 if (QualifierIsInformative)
3432 Result.AddInformativeChunk(Result.getAllocator().CopyString(PrintedNNS));
3434 Result.AddTextChunk(Result.getAllocator().CopyString(PrintedNNS));
3443 Result.AddInformativeChunk(
" const");
3448 Result.AddInformativeChunk(
" volatile");
3453 Result.AddInformativeChunk(
" restrict");
3458 std::string QualsStr;
3460 QualsStr +=
" const";
3462 QualsStr +=
" volatile";
3464 QualsStr +=
" restrict";
3465 Result.AddInformativeChunk(Result.getAllocator().CopyString(QualsStr));
3471 if (
auto *CxxMethodDecl = llvm::dyn_cast_if_present<CXXMethodDecl>(Function);
3472 CxxMethodDecl && CxxMethodDecl->hasCXXExplicitFunctionObjectParameter()) {
3474 const auto Quals = CxxMethodDecl->getFunctionObjectParameterType();
3475 if (!Quals.hasQualifiers())
3481 if (!Proto || !Proto->getMethodQuals())
3496 switch (ExceptInfo.Type) {
3499 NameAndSignature +=
" noexcept";
3517 const char *OperatorName =
nullptr;
3520 case OO_Conditional:
3522 OperatorName =
"operator";
3525#define OVERLOADED_OPERATOR(Name, Spelling, Token, Unary, Binary, MemberOnly) \
3527 OperatorName = "operator" Spelling; \
3529#define OVERLOADED_OPERATOR_MULTI(Name, Spelling, Unary, Binary, MemberOnly)
3530#include "clang/Basic/OperatorKinds.def"
3533 OperatorName =
"operator new";
3536 OperatorName =
"operator delete";
3539 OperatorName =
"operator new[]";
3541 case OO_Array_Delete:
3542 OperatorName =
"operator delete[]";
3545 OperatorName =
"operator()";
3548 OperatorName =
"operator[]";
3551 Result.AddTypedTextChunk(OperatorName);
3559 Result.AddTypedTextChunk(
3576 Result.AddTypedTextChunk(
3581 Result.AddTypedTextChunk(
3582 Result.getAllocator().CopyString(
Record->getNameAsString()));
3596 bool IncludeBriefComments) {
3598 CCTUInfo, IncludeBriefComments);
3610 return Result.TakeString();
3621 Result.AddPlaceholderChunk(
"...");
3635 Result.AddPlaceholderChunk(
Result.getAllocator().CopyString(Arg));
3640 Result.AddPlaceholderChunk(
3641 Result.getAllocator().CopyString((*A)->getName()));
3644 return Result.TakeString();
3656 bool IncludeBriefComments) {
3672 Result.addBriefComment(RC->getBriefText(Ctx));
3682 return Result.TakeString();
3686 PP, Ctx,
Result, IncludeBriefComments, CCContext, Policy);
3690 std::string &BeforeName,
3691 std::string &NameAndSignature) {
3692 bool SeenTypedChunk =
false;
3693 for (
auto &Chunk : CCS) {
3695 assert(SeenTypedChunk &&
"optional parameter before name");
3702 NameAndSignature += Chunk.Text;
3704 BeforeName += Chunk.Text;
3716 std::string BeforeName;
3717 std::string NameAndSignature;
3723 const auto *VirtualFunc = dyn_cast<FunctionDecl>(
Declaration);
3724 assert(VirtualFunc &&
"overridden decl must be a function");
3727 NameAndSignature +=
" override";
3729 Result.AddTextChunk(
Result.getAllocator().CopyString(BeforeName));
3731 Result.AddTypedTextChunk(
Result.getAllocator().CopyString(NameAndSignature));
3732 return Result.TakeString();
3738 const auto *VD = dyn_cast<VarDecl>(ND);
3741 const auto *
RecordDecl = VD->getType()->getAsCXXRecordDecl();
3754 if (IncludeBriefComments) {
3757 Result.addBriefComment(RC->getBriefText(Ctx));
3762 Result.AddTypedTextChunk(
3764 Result.AddTextChunk(
"::");
3765 return Result.TakeString();
3769 Result.AddAnnotation(
Result.getAllocator().CopyString(I->getAnnotation()));
3782 if (
const auto *
Function = dyn_cast<FunctionDecl>(ND)) {
3783 AddFunctionTypeAndResult(
Function);
3784 return Result.TakeString();
3787 if (
const auto *CallOperator =
3789 AddFunctionTypeAndResult(CallOperator);
3790 return Result.TakeString();
3796 dyn_cast<FunctionTemplateDecl>(ND)) {
3807 llvm::SmallBitVector Deduced(FunTmpl->getTemplateParameters()->size());
3812 unsigned LastDeducibleArgument;
3813 for (LastDeducibleArgument = Deduced.size(); LastDeducibleArgument > 0;
3814 --LastDeducibleArgument) {
3815 if (!Deduced[LastDeducibleArgument - 1]) {
3819 bool HasDefaultArg =
false;
3820 NamedDecl *Param = FunTmpl->getTemplateParameters()->getParam(
3821 LastDeducibleArgument - 1);
3823 HasDefaultArg = TTP->hasDefaultArgument();
3825 dyn_cast<NonTypeTemplateParmDecl>(Param))
3826 HasDefaultArg = NTTP->hasDefaultArgument();
3853 LastDeducibleArgument);
3862 return Result.TakeString();
3865 if (
const auto *
Template = dyn_cast<TemplateDecl>(ND)) {
3868 Result.AddTypedTextChunk(
3873 return Result.TakeString();
3876 if (
const auto *
Method = dyn_cast<ObjCMethodDecl>(ND)) {
3879 Result.AddTypedTextChunk(
3881 return Result.TakeString();
3887 Result.AddTypedTextChunk(
Result.getAllocator().CopyString(SelName));
3889 Result.AddInformativeChunk(
Result.getAllocator().CopyString(SelName));
3893 if (
Method->param_size() == 1)
3894 Result.AddTypedTextChunk(
"");
3900 PEnd =
Method->param_end();
3901 P != PEnd && Idx < Sel.
getNumArgs(); (
void)++P, ++Idx) {
3920 QualType ParamType = (*P)->getType();
3921 std::optional<ArrayRef<QualType>> ObjCSubsts;
3937 Arg += II->getName();
3940 if (
Method->isVariadic() && (P + 1) == PEnd)
3944 Result.AddTextChunk(
Result.getAllocator().CopyString(Arg));
3946 Result.AddInformativeChunk(
Result.getAllocator().CopyString(Arg));
3948 Result.AddPlaceholderChunk(
Result.getAllocator().CopyString(Arg));
3951 if (
Method->isVariadic()) {
3952 if (
Method->param_size() == 0) {
3954 Result.AddTextChunk(
", ...");
3956 Result.AddInformativeChunk(
", ...");
3958 Result.AddPlaceholderChunk(
", ...");
3964 return Result.TakeString();
3971 Result.AddTypedTextChunk(
3973 return Result.TakeString();
3984 const auto *M = dyn_cast<ObjCMethodDecl>(ND);
3996 const auto *M = dyn_cast_or_null<ObjCMethodDecl>(ND);
3997 if (!M || !M->isPropertyAccessor())
4020 auto FDecl =
Result.getFunction();
4023 if (ArgIndex < FDecl->getNumParams())
4031 unsigned CurrentArg) {
4032 unsigned ChunkIndex = 0;
4033 auto AddChunk = [&](llvm::StringRef Placeholder) {
4036 const char *
Copy = Result.getAllocator().CopyString(Placeholder);
4037 if (ChunkIndex == CurrentArg)
4038 Result.AddCurrentParameterChunk(
Copy);
4040 Result.AddPlaceholderChunk(
Copy);
4045 if (
auto *CRD = llvm::dyn_cast<CXXRecordDecl>(RD)) {
4046 for (
const auto &
Base : CRD->bases())
4047 AddChunk(
Base.getType().getAsString(Policy));
4049 for (
const auto &Field : RD->
fields())
4059 unsigned CurrentArg,
unsigned Start = 0,
bool InOptional =
false) {
4065 bool FirstParameter =
true;
4066 unsigned NumParams =
4067 Function ? Function->getNumParams() :
Prototype->getNumParams();
4069 for (
unsigned P = Start; P != NumParams; ++P) {
4070 if (Function && Function->getParamDecl(P)->hasDefaultArg() && !InOptional) {
4074 Result.getCodeCompletionTUInfo());
4075 if (!FirstParameter)
4079 PrototypeLoc, Opt, CurrentArg, P,
4088 if (Function && FirstParameter &&
4089 Function->getParamDecl(P)->isExplicitObjectParameter()) {
4094 FirstParameter =
false;
4101 std::string Placeholder;
4102 assert(P < Prototype->getNumParams());
4103 if (Function || PrototypeLoc) {
4105 Function ? Function->getParamDecl(P) : PrototypeLoc.
getParam(P);
4107 if (Param->hasDefaultArg())
4109 Context.getLangOpts());
4111 Placeholder =
Prototype->getParamType(P).getAsString(Policy);
4114 if (P == CurrentArg)
4115 Result.AddCurrentParameterChunk(
4116 Result.getAllocator().CopyString(Placeholder));
4118 Result.AddPlaceholderChunk(Result.getAllocator().CopyString(Placeholder));
4123 Result.getCodeCompletionTUInfo());
4124 if (!FirstParameter)
4127 if (CurrentArg < NumParams)
4139 if (
const auto *
Type = dyn_cast<TemplateTypeParmDecl>(Param)) {
4141 }
else if (
const auto *
NonType = dyn_cast<NonTypeTemplateParmDecl>(Param)) {
4143 }
else if (
const auto *
Template = dyn_cast<TemplateTemplateParmDecl>(Param)) {
4147 llvm::raw_string_ostream OS(Result);
4148 Param->print(OS, Policy);
4154 if (
const auto *CTD = dyn_cast<ClassTemplateDecl>(TD))
4155 return CTD->getTemplatedDecl()->getKindName().str();
4156 if (
const auto *VTD = dyn_cast<VarTemplateDecl>(TD))
4157 return VTD->getTemplatedDecl()->getType().getAsString(Policy);
4158 if (
const auto *FTD = dyn_cast<FunctionTemplateDecl>(TD))
4159 return FTD->getTemplatedDecl()->getReturnType().getAsString(Policy);
4174 Builder.getCodeCompletionTUInfo());
4176 if (!ResultType.empty())
4177 Builder.AddResultTypeChunk(Builder.getAllocator().CopyString(ResultType));
4178 Builder.AddTextChunk(
4184 for (
unsigned I = 0; I < Params.size(); ++I) {
4186 std::string Placeholder =
4189 Current = &OptionalBuilder;
4198 if (Current == &OptionalBuilder)
4204 Builder.AddInformativeChunk(
"()");
4205 return Builder.TakeString();
4212 bool Braced)
const {
4236 if (IncludeBriefComments) {
4243 llvm::raw_string_ostream OS(Name);
4245 Result.AddTextChunk(
Result.getAllocator().CopyString(Name));
4248 Result.AddResultTypeChunk(
Result.getAllocator().CopyString(
4263 return Result.TakeString();
4268 bool PreferredTypeIsPointer) {
4272 if (MacroName ==
"nil" || MacroName ==
"NULL" || MacroName ==
"Nil") {
4274 if (PreferredTypeIsPointer)
4278 else if (MacroName ==
"YES" || MacroName ==
"NO" || MacroName ==
"true" ||
4279 MacroName ==
"false")
4282 else if (MacroName ==
"bool")
4295 case Decl::EnumConstant:
4299 case Decl::Function:
4301 case Decl::ObjCCategory:
4303 case Decl::ObjCCategoryImpl:
4305 case Decl::ObjCImplementation:
4308 case Decl::ObjCInterface:
4310 case Decl::ObjCIvar:
4312 case Decl::ObjCMethod:
4316 case Decl::CXXMethod:
4318 case Decl::CXXConstructor:
4320 case Decl::CXXDestructor:
4322 case Decl::CXXConversion:
4324 case Decl::ObjCProperty:
4326 case Decl::ObjCProtocol:
4332 case Decl::TypeAlias:
4334 case Decl::TypeAliasTemplate:
4338 case Decl::Namespace:
4340 case Decl::NamespaceAlias:
4342 case Decl::TemplateTypeParm:
4344 case Decl::NonTypeTemplateParm:
4346 case Decl::TemplateTemplateParm:
4348 case Decl::FunctionTemplate:
4350 case Decl::ClassTemplate:
4352 case Decl::AccessSpec:
4354 case Decl::ClassTemplatePartialSpecialization:
4356 case Decl::UsingDirective:
4358 case Decl::StaticAssert:
4362 case Decl::TranslationUnit:
4366 case Decl::UnresolvedUsingValue:
4367 case Decl::UnresolvedUsingTypename:
4370 case Decl::UsingEnum:
4373 case Decl::ObjCPropertyImpl:
4381 llvm_unreachable(
"Unexpected Kind!");
4386 case Decl::ObjCTypeParam:
4392 case Decl::LinkageSpec:
4396 if (
const auto *TD = dyn_cast<TagDecl>(D)) {
4397 switch (TD->getTagKind()) {
4415 bool LoadExternal,
bool IncludeUndefined,
4416 bool TargetTypeIsPointer =
false) {
4419 Results.EnterNewScope();
4425 if (IncludeUndefined || MD) {
4433 TargetTypeIsPointer)));
4437 Results.ExitScope();
4441 ResultBuilder &Results) {
4444 Results.EnterNewScope();
4448 if (LangOpts.C99 || LangOpts.CPlusPlus11)
4450 Results.ExitScope();
4457 unsigned NumResults) {
4462static CodeCompletionContext
4520 llvm_unreachable(
"Invalid ParserCompletionContext!");
4532 ResultBuilder &Results) {
4538 CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(CurContext);
4539 if (!Method || !Method->isVirtual())
4544 for (
auto *P : Method->parameters())
4545 if (!P->getDeclName())
4551 Results.getCodeCompletionTUInfo());
4552 if (Overridden->getCanonicalDecl() == Method->getCanonicalDecl())
4558 S.
Context, CurContext, Overridden->getDeclContext());
4561 llvm::raw_string_ostream OS(Str);
4562 NNS.
print(OS, Policy);
4563 Builder.AddTextChunk(Results.getAllocator().CopyString(Str));
4565 }
else if (!InContext->
Equals(Overridden->getDeclContext()))
4568 Builder.AddTypedTextChunk(
4569 Results.getAllocator().CopyString(Overridden->getNameAsString()));
4571 bool FirstParam =
true;
4572 for (
auto *P : Method->parameters()) {
4578 Builder.AddPlaceholderChunk(
4579 Results.getAllocator().CopyString(P->getIdentifier()->getName()));
4585 Results.Ignore(Overridden);
4595 Results.EnterNewScope();
4603 SemaRef.PP.getHeaderSearchInfo().collectAllModules(Modules);
4604 for (
unsigned I = 0, N = Modules.size(); I != N; ++I) {
4605 Builder.AddTypedTextChunk(
4606 Builder.getAllocator().CopyString(Modules[I]->Name));
4607 Results.AddResult(
Result(
4620 Builder.AddTypedTextChunk(
4621 Builder.getAllocator().CopyString(Submodule->Name));
4622 Results.AddResult(
Result(
4629 Results.ExitScope();
4631 Results.getCompletionContext(), Results.data(),
4640 Results.EnterNewScope();
4645 switch (CompletionContext) {
4655 Results.setFilter(&ResultBuilder::IsOrdinaryNonValueName);
4665 Results.setFilter(&ResultBuilder::IsOrdinaryName);
4667 Results.setFilter(&ResultBuilder::IsOrdinaryNonTypeName);
4678 auto ThisType =
SemaRef.getCurrentThisType();
4679 if (ThisType.isNull()) {
4681 if (
auto *MethodDecl = llvm::dyn_cast_if_present<CXXMethodDecl>(
4682 SemaRef.getCurFunctionDecl()))
4683 Results.setExplicitObjectMemberFn(
4684 MethodDecl->isExplicitObjectMemberFunction());
4688 Results.setObjectTypeQualifiers(ThisType->getPointeeType().getQualifiers(),
4692 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
4693 SemaRef.LookupVisibleDecls(S,
SemaRef.LookupOrdinaryName, Consumer,
4698 Results.ExitScope();
4700 switch (CompletionContext) {
4728 Results.getCompletionContext(), Results.data(),
4735 bool AtArgumentExpression,
bool IsSuper,
4736 ResultBuilder &Results);
4739 bool AllowNonIdentifiers,
4740 bool AllowNestedNameSpecifiers) {
4742 ResultBuilder Results(
4745 AllowNestedNameSpecifiers
4750 Results.EnterNewScope();
4753 Results.AddResult(
Result(
"const"));
4754 Results.AddResult(
Result(
"volatile"));
4756 Results.AddResult(
Result(
"restrict"));
4762 Results.AddResult(
"final");
4764 if (AllowNonIdentifiers) {
4765 Results.AddResult(
Result(
"operator"));
4769 if (AllowNestedNameSpecifiers) {
4770 Results.allowNestedNameSpecifiers();
4771 Results.setFilter(&ResultBuilder::IsImpossibleToSatisfy);
4772 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
4776 Results.setFilter(
nullptr);
4779 Results.ExitScope();
4785 if (AllowNonIdentifiers && !AllowNestedNameSpecifiers &&
4796 if (!
T.get().isNull() &&
T.get()->isObjCObjectOrInterfaceType())
4804 Results.getCompletionContext(), Results.data(),
4809 if (
Scope ==
"clang")
4817 if (
Scope ==
"_Clang")
4819 if (
Scope ==
"__gnu__")
4843 llvm::StringRef InScopeName;
4844 bool InScopeUnderscore =
false;
4846 InScopeName = InScope->
getName();
4848 InScopeName = NoUnderscore;
4849 InScopeUnderscore =
true;
4856 llvm::DenseSet<llvm::StringRef> FoundScopes;
4858 if (A.IsTargetSpecific &&
4863 for (
const auto &S : A.Spellings) {
4864 if (S.Syntax != Syntax)
4866 llvm::StringRef Name = S.NormalizedFullName;
4867 llvm::StringRef
Scope;
4870 std::tie(
Scope, Name) = Name.split(
"::");
4872 std::swap(Name,
Scope);
4878 if (!
Scope.empty() && FoundScopes.insert(
Scope).second) {
4889 if (!InScopeName.empty()) {
4890 if (
Scope != InScopeName)
4895 auto Add = [&](llvm::StringRef
Scope, llvm::StringRef Name,
4898 Results.getCodeCompletionTUInfo());
4900 if (!
Scope.empty()) {
4909 Builder.AddTypedTextChunk(Results.getAllocator().CopyString(
Text));
4911 if (!A.ArgNames.empty()) {
4914 for (
const char *Arg : A.ArgNames) {
4918 Builder.AddPlaceholderChunk(Arg);
4923 Results.AddResult(Builder.TakeString());
4930 if (!InScopeUnderscore)
4931 Add(
Scope, Name,
false);
4936 if (!(InScope && !InScopeUnderscore) && SyntaxSupportsGuards) {
4937 if (
Scope.empty()) {
4938 Add(
Scope, Name,
true);
4943 Add(GuardedScope, Name,
true);
4953 for (
const auto &Entry : ParsedAttrInfoRegistry::entries())
4954 AddCompletions(*Entry.instantiate());
4957 Results.getCompletionContext(), Results.data(),
4976struct CoveredEnumerators {
4984 const CoveredEnumerators &Enumerators) {
4986 if (Context.getLangOpts().CPlusPlus && !Qualifier && Enumerators.Seen.empty()) {
4993 Results.EnterNewScope();
4994 for (
auto *E :
Enum->enumerators()) {
4995 if (Enumerators.Seen.count(E))
4999 Results.AddResult(R, CurContext,
nullptr,
false);
5001 Results.ExitScope();
5007 assert(!
T.isNull());
5020 if (
T->isPointerType())
5021 T =
T->getPointeeType();
5030 if (!Results.includeCodePatterns())
5033 Results.getCodeCompletionTUInfo());
5038 if (!Parameters.empty()) {
5047 constexpr llvm::StringLiteral NamePlaceholder =
"!#!NAME_GOES_HERE!#!";
5048 std::string
Type = std::string(NamePlaceholder);
5050 llvm::StringRef Prefix, Suffix;
5051 std::tie(Prefix, Suffix) = llvm::StringRef(
Type).split(NamePlaceholder);
5052 Prefix = Prefix.rtrim();
5053 Suffix = Suffix.ltrim();
5076 ResultBuilder Results(
5080 Data.IsParenthesized
5083 Data.PreferredType));
5086 if (
Data.ObjCCollection)
5087 Results.setFilter(&ResultBuilder::IsObjCCollection);
5088 else if (
Data.IntegralConstantExpression)
5089 Results.setFilter(&ResultBuilder::IsIntegralConstantValue);
5091 Results.setFilter(&ResultBuilder::IsOrdinaryName);
5093 Results.setFilter(&ResultBuilder::IsOrdinaryNonTypeName);
5095 if (!
Data.PreferredType.isNull())
5096 Results.setPreferredType(
Data.PreferredType.getNonReferenceType());
5099 for (
unsigned I = 0, N =
Data.IgnoreDecls.size(); I != N; ++I)
5100 Results.Ignore(
Data.IgnoreDecls[I]);
5102 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
5107 Results.EnterNewScope();
5109 Results.ExitScope();
5111 bool PreferredTypeIsPointer =
false;
5112 if (!
Data.PreferredType.isNull()) {
5113 PreferredTypeIsPointer =
Data.PreferredType->isAnyPointerType() ||
5114 Data.PreferredType->isMemberPointerType() ||
5115 Data.PreferredType->isBlockPointerType();
5116 if (
auto *
Enum =
Data.PreferredType->getAsEnumDecl()) {
5120 CoveredEnumerators());
5125 !
Data.IntegralConstantExpression)
5130 PreferredTypeIsPointer);
5140 Results.getCompletionContext(), Results.data(),
5146 bool IsParenthesized) {
5173 if (Protocol->hasDefinition())
5174 return Protocol->getDefinition();
5188 Builder.AddResultTypeChunk(
5190 Policy, Builder.getAllocator()));
5196 Builder.AddPlaceholderChunk(
"...");
5198 for (
unsigned I = 0, N = BlockLoc.
getNumParams(); I != N; ++I) {
5203 std::string PlaceholderStr =
5206 if (I == N - 1 && BlockProtoLoc &&
5208 PlaceholderStr +=
", ...";
5211 Builder.AddPlaceholderChunk(
5212 Builder.getAllocator().CopyString(PlaceholderStr));
5222 bool AllowNullaryMethods,
DeclContext *CurContext,
5224 bool IsBaseExprStatement =
false,
5225 bool IsClassProperty =
false,
bool InOriginalClass =
true) {
5233 if (!AddedProperties.insert(P->getIdentifier()).second)
5238 if (!P->getType().getTypePtr()->isBlockPointerType() ||
5239 !IsBaseExprStatement) {
5241 Result(P, Results.getBasePriority(P), std::nullopt);
5242 if (!InOriginalClass)
5244 Results.MaybeAddResult(R, CurContext);
5256 Result(P, Results.getBasePriority(P), std::nullopt);
5257 if (!InOriginalClass)
5259 Results.MaybeAddResult(R, CurContext);
5266 Results.getCodeCompletionTUInfo());
5269 BlockLoc, BlockProtoLoc);
5270 Result R =
Result(Builder.TakeString(), P, Results.getBasePriority(P));
5271 if (!InOriginalClass)
5273 Results.MaybeAddResult(R, CurContext);
5277 if (!P->isReadOnly()) {
5279 Results.getCodeCompletionTUInfo());
5283 Builder.AddTypedTextChunk(
5284 Results.getAllocator().CopyString(P->getName()));
5289 BlockProtoLoc,
true);
5291 Builder.AddPlaceholderChunk(
5292 Builder.getAllocator().CopyString(PlaceholderStr));
5300 Result(Builder.TakeString(), P,
5301 Results.getBasePriority(P) +
5305 if (!InOriginalClass)
5307 Results.MaybeAddResult(R, CurContext);
5311 if (IsClassProperty) {
5320 if (AllowNullaryMethods) {
5325 const IdentifierInfo *Name = M->getSelector().getIdentifierInfoForSlot(0);
5328 if (!AddedProperties.insert(Name).second)
5331 Results.getCodeCompletionTUInfo());
5333 Builder.AddTypedTextChunk(
5334 Results.getAllocator().CopyString(Name->
getName()));
5335 Result R =
Result(Builder.TakeString(), M,
5337 if (!InOriginalClass)
5339 Results.MaybeAddResult(R, CurContext);
5342 if (IsClassProperty) {
5343 for (
const auto *M : Container->
methods()) {
5347 if (!M->getSelector().isUnarySelector() ||
5348 M->getReturnType()->isVoidType() || M->isInstanceMethod())
5353 for (
auto *M : Container->
methods()) {
5354 if (M->getSelector().isUnarySelector())
5362 for (
auto *P : Protocol->protocols())
5364 CurContext, AddedProperties, Results,
5365 IsBaseExprStatement, IsClassProperty,
5368 dyn_cast<ObjCInterfaceDecl>(Container)) {
5369 if (AllowCategories) {
5371 for (
auto *Cat : IFace->known_categories())
5373 CurContext, AddedProperties, Results,
5374 IsBaseExprStatement, IsClassProperty,
5379 for (
auto *I : IFace->all_referenced_protocols())
5381 CurContext, AddedProperties, Results,
5382 IsBaseExprStatement, IsClassProperty,
5386 if (IFace->getSuperClass())
5388 AllowNullaryMethods, CurContext, AddedProperties,
5389 Results, IsBaseExprStatement, IsClassProperty,
5391 }
else if (
const auto *Category =
5392 dyn_cast<ObjCCategoryDecl>(Container)) {
5394 for (
auto *P : Category->protocols())
5396 CurContext, AddedProperties, Results,
5397 IsBaseExprStatement, IsClassProperty,
5406 std::optional<FixItHint> AccessOpFixIt) {
5409 Results.setObjectTypeQualifiers(BaseType.getQualifiers(), BaseKind);
5412 Results.allowNestedNameSpecifiers();
5413 std::vector<FixItHint> FixIts;
5415 FixIts.emplace_back(*AccessOpFixIt);
5416 CodeCompletionDeclConsumer Consumer(Results, RD, BaseType, std::move(FixIts));
5424 if (!Results.empty()) {
5428 bool IsDependent = BaseType->isDependentType();
5430 for (
Scope *DepScope = S; DepScope; DepScope = DepScope->
getParent())
5448 BaseType = Resolver.
simplifyType(BaseType,
nullptr,
false);
5449 return dyn_cast_if_present<RecordDecl>(
5485 const IdentifierInfo *Name =
nullptr;
5490 std::optional<SmallVector<QualType, 1>> ArgTypes;
5492 enum AccessOperator {
5498 const TypeConstraint *ResultType =
nullptr;
5504 CodeCompletionString *render(Sema &S, CodeCompletionAllocator &Alloc,
5505 CodeCompletionTUInfo &Info)
const {
5506 CodeCompletionBuilder B(Alloc, Info);
5509 std::string AsString;
5511 llvm::raw_string_ostream
OS(AsString);
5512 QualType ExactType = deduceType(*ResultType);
5518 B.AddResultTypeChunk(
Alloc.CopyString(AsString));
5521 B.AddTypedTextChunk(
Alloc.CopyString(Name->
getName()));
5526 for (QualType Arg : *ArgTypes) {
5533 B.AddPlaceholderChunk(
Alloc.CopyString(
5538 return B.TakeString();
5545 ConceptInfo(
const TemplateTypeParmType &BaseType, Scope *S) {
5546 auto *TemplatedEntity = getTemplatedEntity(BaseType.getDecl(), S);
5547 for (
const AssociatedConstraint &AC :
5548 constraintsForTemplatedEntity(TemplatedEntity))
5549 believe(AC.ConstraintExpr, &BaseType);
5552 std::vector<Member> members() {
5553 std::vector<Member> Results;
5554 for (
const auto &E : this->Results)
5555 Results.push_back(E.second);
5556 llvm::sort(Results, [](
const Member &L,
const Member &R) {
5557 return L.Name->getName() < R.Name->getName();
5564 void believe(
const Expr *E,
const TemplateTypeParmType *
T) {
5567 if (
auto *CSE = dyn_cast<ConceptSpecializationExpr>(E)) {
5578 ConceptDecl *CD = CSE->getNamedConcept();
5581 for (
const auto &Arg : CSE->getTemplateArguments()) {
5582 if (Index >= Params->
size())
5584 if (isApprox(Arg,
T)) {
5585 auto *TTPD = dyn_cast<TemplateTypeParmDecl>(Params->
getParam(Index));
5597 }
else if (
auto *BO = dyn_cast<BinaryOperator>(E)) {
5600 if (BO->getOpcode() == BO_LAnd || BO->getOpcode() == BO_LOr) {
5601 believe(BO->getLHS(),
T);
5602 believe(BO->getRHS(),
T);
5604 }
else if (
auto *RE = dyn_cast<RequiresExpr>(E)) {
5606 for (
const concepts::Requirement *Req : RE->getRequirements()) {
5607 if (!Req->isDependent())
5611 if (
auto *TR = dyn_cast<concepts::TypeRequirement>(Req)) {
5613 QualType AssertedType = TR->getType()->getType();
5614 ValidVisitor(
this,
T).TraverseType(AssertedType);
5615 }
else if (
auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) {
5616 ValidVisitor Visitor(
this,
T);
5620 if (ER->getReturnTypeRequirement().isTypeConstraint()) {
5622 ER->getReturnTypeRequirement().getTypeConstraint();
5623 Visitor.OuterExpr = ER->getExpr();
5625 Visitor.TraverseStmt(ER->getExpr());
5626 }
else if (
auto *NR = dyn_cast<concepts::NestedRequirement>(Req)) {
5627 believe(NR->getConstraintExpr(),
T);
5637 const TemplateTypeParmType *
T;
5639 CallExpr *Caller =
nullptr;
5644 Expr *OuterExpr =
nullptr;
5645 const TypeConstraint *OuterType =
nullptr;
5647 ValidVisitor(ConceptInfo *Outer,
const TemplateTypeParmType *
T)
5648 : Outer(Outer),
T(
T) {
5654 VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E)
override {
5657 if (
Base->isPointerType() && IsArrow) {
5659 Base =
Base->getPointeeType().getTypePtr();
5661 if (isApprox(Base,
T))
5662 addValue(E, E->
getMember(), IsArrow ? Member::Arrow : Member::Dot);
5667 bool VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E)
override {
5669 if (
Qualifier.getKind() == NestedNameSpecifier::Kind::Type &&
5676 bool VisitDependentNameType(DependentNameType *DNT)
override {
5677 NestedNameSpecifier Q = DNT->getQualifier();
5678 if (Q.
getKind() == NestedNameSpecifier::Kind::Type &&
5680 addType(DNT->getIdentifier());
5689 if (NNS.
getKind() == NestedNameSpecifier::Kind::Type) {
5691 if (NestedNameSpecifier Q = NNST->
getPrefix();
5692 Q.
getKind() == NestedNameSpecifier::Kind::Type &&
5694 if (
const auto *DNT = dyn_cast_or_null<DependentNameType>(NNST))
5695 addType(DNT->getIdentifier());
5706 bool VisitCallExpr(CallExpr *CE)
override {
5713 void addResult(
Member &&M) {
5714 auto R = Outer->Results.try_emplace(M.Name);
5715 Member &O = R.first->second;
5719 std::make_tuple(M.ArgTypes.has_value(), M.ResultType !=
nullptr,
5720 M.Operator) > std::make_tuple(O.ArgTypes.has_value(),
5721 O.ResultType !=
nullptr,
5726 void addType(
const IdentifierInfo *Name) {
5731 M.Operator = Member::Colons;
5732 addResult(std::move(M));
5735 void addValue(Expr *E, DeclarationName Name,
5736 Member::AccessOperator Operator) {
5741 Result.Operator = Operator;
5744 if (Caller !=
nullptr && Callee == E) {
5745 Result.ArgTypes.emplace();
5746 for (
const auto *Arg : Caller->
arguments())
5747 Result.ArgTypes->push_back(Arg->getType());
5748 if (Caller == OuterExpr) {
5749 Result.ResultType = OuterType;
5753 Result.ResultType = OuterType;
5755 addResult(std::move(
Result));
5759 static bool isApprox(
const TemplateArgument &Arg,
const Type *
T) {
5764 static bool isApprox(
const Type *T1,
const Type *T2) {
5773 static DeclContext *getTemplatedEntity(
const TemplateTypeParmDecl *D,
5777 Scope *Inner =
nullptr;
5780 return Inner ? Inner->
getEntity() :
nullptr;
5789 static SmallVector<AssociatedConstraint, 1>
5790 constraintsForTemplatedEntity(DeclContext *DC) {
5791 SmallVector<AssociatedConstraint, 1>
Result;
5796 TD->getAssociatedConstraints(
Result);
5798 if (
const auto *CTPSD =
5799 dyn_cast<ClassTemplatePartialSpecializationDecl>(DC))
5800 CTPSD->getAssociatedConstraints(
Result);
5801 if (
const auto *VTPSD = dyn_cast<VarTemplatePartialSpecializationDecl>(DC))
5802 VTPSD->getAssociatedConstraints(
Result);
5808 static QualType deduceType(
const TypeConstraint &
T) {
5811 DeclarationName DN =
T.getNamedConcept()->getDeclName();
5813 if (
const auto *Args =
T.getTemplateArgsAsWritten())
5814 if (Args->getNumTemplateArgs() == 1) {
5815 const auto &Arg = Args->arguments().front().getArgument();
5822 llvm::DenseMap<const IdentifierInfo *, Member> Results;
5829QualType getApproximateType(
const Expr *E, HeuristicResolver &Resolver) {
5843Expr *unwrapParenList(Expr *Base) {
5844 if (
auto *PLE = llvm::dyn_cast_or_null<ParenListExpr>(Base)) {
5845 if (PLE->getNumExprs() == 0)
5847 Base = PLE->getExpr(PLE->getNumExprs() - 1);
5856 bool IsBaseExprStatement,
QualType PreferredType) {
5858 OtherOpBase = unwrapParenList(OtherOpBase);
5863 SemaRef.PerformMemberExprBaseConversion(
Base, IsArrow);
5867 getApproximateType(ConvertedBase.
get(),
Resolver);
5873 !PointeeType.isNull()) {
5874 ConvertedBaseType = PointeeType;
5893 &ResultBuilder::IsMember);
5895 auto DoCompletion = [&](
Expr *
Base,
bool IsArrow,
5896 std::optional<FixItHint> AccessOpFixIt) ->
bool {
5901 SemaRef.PerformMemberExprBaseConversion(
Base, IsArrow);
5907 if (BaseType.isNull())
5913 !PointeeType.isNull()) {
5914 BaseType = PointeeType;
5916 }
else if (BaseType->isObjCObjectPointerType() ||
5917 BaseType->isTemplateTypeParmType()) {
5926 RD, std::move(AccessOpFixIt));
5927 }
else if (
const auto *TTPT =
5928 dyn_cast<TemplateTypeParmType>(BaseType.getTypePtr())) {
5930 IsArrow ? ConceptInfo::Member::Arrow : ConceptInfo::Member::Dot;
5931 for (
const auto &R : ConceptInfo(*TTPT, S).members()) {
5932 if (R.Operator != Operator)
5938 Result.FixIts.push_back(*AccessOpFixIt);
5939 Results.AddResult(std::move(
Result));
5941 }
else if (!IsArrow && BaseType->isObjCObjectPointerType()) {
5945 if (AccessOpFixIt) {
5953 assert(ObjCPtr &&
"Non-NULL pointer guaranteed above!");
5956 AddedProperties, Results, IsBaseExprStatement);
5962 SemaRef.CurContext, AddedProperties, Results,
5963 IsBaseExprStatement,
false,
5965 }
else if ((IsArrow && BaseType->isObjCObjectPointerType()) ||
5966 (!IsArrow && BaseType->isObjCObjectType())) {
5970 if (AccessOpFixIt) {
5976 Class = ObjCPtr->getInterfaceDecl();
5982 CodeCompletionDeclConsumer Consumer(Results,
Class, BaseType);
5983 Results.setFilter(&ResultBuilder::IsObjCIvar);
5995 Results.EnterNewScope();
5997 bool CompletionSucceded = DoCompletion(
Base, IsArrow, std::nullopt);
6001 CompletionSucceded |= DoCompletion(
6002 OtherOpBase, !IsArrow,
6006 Results.ExitScope();
6008 if (!CompletionSucceded)
6013 Results.getCompletionContext(), Results.data(),
6019 bool IsBaseExprStatement) {
6022 SemaRef.ObjC().getObjCInterfaceDecl(ClassNamePtr, ClassNameLoc);
6029 &ResultBuilder::IsMember);
6030 Results.EnterNewScope();
6034 AddedProperties, Results, IsBaseExprStatement,
6036 Results.ExitScope();
6038 Results.getCompletionContext(), Results.data(),
6046 ResultBuilder::LookupFilter Filter =
nullptr;
6051 Filter = &ResultBuilder::IsEnum;
6056 Filter = &ResultBuilder::IsUnion;
6063 Filter = &ResultBuilder::IsClassOrStruct;
6068 llvm_unreachable(
"Unknown type specifier kind in CodeCompleteTag");
6073 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
6076 Results.setFilter(Filter);
6083 Results.setFilter(&ResultBuilder::IsNestedNameSpecifier);
6090 Results.getCompletionContext(), Results.data(),
6097 Results.AddResult(
"const");
6099 Results.AddResult(
"volatile");
6101 Results.AddResult(
"restrict");
6103 Results.AddResult(
"_Atomic");
6105 Results.AddResult(
"__unaligned");
6112 Results.EnterNewScope();
6114 Results.ExitScope();
6116 Results.getCompletionContext(), Results.data(),
6125 Results.EnterNewScope();
6128 Results.AddResult(
"noexcept");
6132 Results.AddResult(
"final");
6134 Results.AddResult(
"override");
6137 Results.ExitScope();
6139 Results.getCompletionContext(), Results.data(),
6152 SemaRef.getCurFunction()->SwitchStack.back().getPointer();
6160 Data.IntegralConstantExpression =
true;
6169 CoveredEnumerators Enumerators;
6171 SC = SC->getNextSwitchCase()) {
6172 CaseStmt *Case = dyn_cast<CaseStmt>(SC);
6177 if (
auto *DRE = dyn_cast<DeclRefExpr>(CaseVal))
6179 dyn_cast<EnumConstantDecl>(DRE->getDecl())) {
6199 Enumerators.SuggestedQualifier = DRE->getQualifier();
6214 Results.getCompletionContext(), Results.data(),
6219 if (Args.size() && !Args.data())
6222 for (
unsigned I = 0; I != Args.size(); ++I)
6243 if (Candidate.Function) {
6244 if (Candidate.Function->isDeleted())
6247 Candidate.Function) &&
6248 Candidate.Function->getNumParams() <= ArgSize &&
6257 if (Candidate.Viable)
6271 for (
auto &Candidate : Candidates) {
6272 QualType CandidateParamType = Candidate.getParamType(N);
6273 if (CandidateParamType.
isNull())
6275 if (ParamType.
isNull()) {
6276 ParamType = CandidateParamType;
6293 if (Candidates.empty())
6297 SemaRef, CurrentArg, Candidates.data(), Candidates.size(), OpenParLoc,
6305 Fn = unwrapParenList(Fn);
6316 auto ArgsWithoutDependentTypes =
6321 Expr *NakedFn = Fn->IgnoreParenCasts();
6327 if (
auto ULE = dyn_cast<UnresolvedLookupExpr>(NakedFn)) {
6328 SemaRef.AddOverloadedCallCandidates(ULE, ArgsWithoutDependentTypes,
6331 }
else if (
auto UME = dyn_cast<UnresolvedMemberExpr>(NakedFn)) {
6333 if (UME->hasExplicitTemplateArgs()) {
6334 UME->copyTemplateArgumentsInto(TemplateArgsBuffer);
6335 TemplateArgs = &TemplateArgsBuffer;
6340 1, UME->isImplicitAccess() ?
nullptr : UME->getBase());
6341 ArgExprs.append(ArgsWithoutDependentTypes.begin(),
6342 ArgsWithoutDependentTypes.end());
6344 Decls.
append(UME->decls_begin(), UME->decls_end());
6345 const bool FirstArgumentIsBase = !UME->isImplicitAccess() && UME->getBase();
6346 SemaRef.AddFunctionCandidates(Decls, ArgExprs, CandidateSet, TemplateArgs,
6349 FirstArgumentIsBase);
6352 if (
auto *MCE = dyn_cast<MemberExpr>(NakedFn))
6353 FD = dyn_cast<FunctionDecl>(MCE->getMemberDecl());
6354 else if (
auto *DRE = dyn_cast<DeclRefExpr>(NakedFn))
6355 FD = dyn_cast<FunctionDecl>(DRE->getDecl());
6361 SemaRef.AddOverloadCandidate(FD,
6363 ArgsWithoutDependentTypes, CandidateSet,
6373 getASTContext().DeclarationNames.getCXXOperatorName(OO_Call);
6375 SemaRef.LookupQualifiedName(R, DC);
6378 ArgExprs.append(ArgsWithoutDependentTypes.begin(),
6379 ArgsWithoutDependentTypes.end());
6392 if (!
T->getPointeeType().isNull())
6393 T =
T->getPointeeType();
6396 if (!
SemaRef.TooManyArguments(FP->getNumParams(),
6397 ArgsWithoutDependentTypes.size(),
6433static std::optional<unsigned>
6436 static constexpr unsigned Invalid = std::numeric_limits<unsigned>::max();
6442 unsigned ArgsAfterDesignator = 0;
6443 for (
const Expr *Arg : Args) {
6444 if (
const auto *DIE = dyn_cast<DesignatedInitExpr>(Arg)) {
6445 if (DIE->size() == 1 && DIE->getDesignator(0)->isFieldDesignator()) {
6446 DesignatedFieldName = DIE->getDesignator(0)->getFieldName();
6447 ArgsAfterDesignator = 0;
6454 ++ArgsAfterDesignator;
6457 if (!DesignatedFieldName)
6458 return std::nullopt;
6462 unsigned DesignatedIndex = 0;
6463 const FieldDecl *DesignatedField =
nullptr;
6464 for (
const auto *Field :
Aggregate.getAggregate()->fields()) {
6465 if (Field->getIdentifier() == DesignatedFieldName) {
6466 DesignatedField = Field;
6471 if (!DesignatedField)
6475 unsigned AggregateSize =
Aggregate.getNumParams();
6476 while (DesignatedIndex < AggregateSize &&
6477 Aggregate.getParamDecl(DesignatedIndex) != DesignatedField)
6481 return DesignatedIndex + ArgsAfterDesignator + 1;
6504 if (Braced && !RD->
isUnion() &&
6509 if (
auto NextIndex =
6512 if (*NextIndex >= AggregateSize)
6514 Results.push_back(AggregateSig);
6520 if (Args.size() < AggregateSize)
6521 Results.push_back(AggregateSig);
6531 if (
auto *FD = dyn_cast<FunctionDecl>(
C)) {
6535 SemaRef.isInitListConstructor(FD))
6542 }
else if (
auto *FTD = dyn_cast<FunctionTemplateDecl>(
C)) {
6544 SemaRef.isInitListConstructor(FTD->getTemplatedDecl()))
6547 SemaRef.AddTemplateOverloadCandidate(
6549 nullptr, Args, CandidateSet,
6570 dyn_cast<CXXConstructorDecl>(ConstructorDecl);
6575 Constructor->getParent(), SS, TemplateTypeTy, II))
6577 MemberDecl->getLocation(), ArgExprs,
6578 OpenParLoc, Braced);
6586 if (Index < Params.
size())
6589 Param = Params.
asArray().back();
6595 return llvm::isa<TemplateTypeParmDecl>(Param);
6597 return llvm::isa<NonTypeTemplateParmDecl>(Param);
6599 return llvm::isa<TemplateTemplateParmDecl>(Param);
6601 llvm_unreachable(
"Unhandled switch case");
6613 bool Matches =
true;
6614 for (
unsigned I = 0; I < Args.size(); ++I) {
6621 Results.emplace_back(TD);
6625 if (
const auto *TD =
Template.getAsTemplateDecl()) {
6627 }
else if (
const auto *OTS =
Template.getAsOverloadedTemplate()) {
6629 if (
const auto *TD = llvm::dyn_cast<TemplateDecl>(ND))
6639 if (BaseType.isNull())
6643 if (D.isArrayDesignator() || D.isArrayRangeDesignator()) {
6644 if (BaseType->isArrayType())
6647 assert(D.isFieldDesignator());
6649 if (RD && RD->isCompleteDefinition()) {
6650 for (
const auto *
Member : RD->lookup(D.getFieldDecl()))
6652 NextType = FD->getType();
6657 BaseType = NextType;
6665 if (BaseType.isNull())
6668 if (!RD || RD->fields().empty())
6676 Results.EnterNewScope();
6677 for (
const Decl *D : RD->decls()) {
6679 if (
auto *IFD = dyn_cast<IndirectFieldDecl>(D))
6680 FD = IFD->getAnonField();
6681 else if (
auto *DFD = dyn_cast<FieldDecl>(D))
6688 ResultBuilder::Result
Result(FD, Results.getBasePriority(FD));
6691 Results.ExitScope();
6693 Results.getCompletionContext(), Results.data(),
6698 ValueDecl *VD = dyn_cast_or_null<ValueDecl>(D);
6707 Data.IgnoreDecls.push_back(VD);
6717 Results.getCodeCompletionTUInfo());
6719 if (!AfterExclaim) {
6720 if (Results.includeCodePatterns()) {
6721 Builder.AddTypedTextChunk(
"constexpr");
6724 Builder.AddPlaceholderChunk(
"condition");
6729 Builder.AddPlaceholderChunk(
"statements");
6732 Results.AddResult({Builder.TakeString()});
6734 Results.AddResult({
"constexpr"});
6739 if (Results.includeCodePatterns()) {
6740 Builder.AddTypedTextChunk(
"consteval");
6744 Builder.AddPlaceholderChunk(
"statements");
6747 Results.AddResult({Builder.TakeString()});
6749 Results.AddResult({
"consteval"});
6754 Results.getCompletionContext(), Results.data(),
6762 Results.setFilter(&ResultBuilder::IsOrdinaryName);
6763 Results.EnterNewScope();
6765 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
6774 Results.getCodeCompletionTUInfo());
6776 auto AddElseBodyPattern = [&] {
6781 Builder.AddPlaceholderChunk(
"statements");
6787 Builder.AddPlaceholderChunk(
"statement");
6791 Builder.AddTypedTextChunk(
"else");
6792 if (Results.includeCodePatterns())
6793 AddElseBodyPattern();
6794 Results.AddResult(Builder.TakeString());
6797 Builder.AddTypedTextChunk(
"else if");
6801 Builder.AddPlaceholderChunk(
"condition");
6803 Builder.AddPlaceholderChunk(
"expression");
6805 if (Results.includeCodePatterns()) {
6806 AddElseBodyPattern();
6808 Results.AddResult(Builder.TakeString());
6810 Results.ExitScope();
6819 Results.getCompletionContext(), Results.data(),
6824 bool EnteringContext,
6825 bool IsUsingDeclaration,
6845 if (!PreferredType.
isNull())
6846 DummyResults.setPreferredType(PreferredType);
6848 CodeCompletionDeclConsumer Consumer(DummyResults, S->
getEntity(),
6855 DummyResults.getCompletionContext(),
nullptr, 0);
6866 if (Ctx ==
nullptr ||
SemaRef.RequireCompleteDeclContext(SS, Ctx))
6872 if (!PreferredType.
isNull())
6873 Results.setPreferredType(PreferredType);
6874 Results.EnterNewScope();
6880 Results.AddResult(
"template");
6885 if (
const auto *TTPT = dyn_cast<TemplateTypeParmType>(NNS.
getAsType())) {
6886 for (
const auto &R : ConceptInfo(*TTPT, S).members()) {
6887 if (R.Operator != ConceptInfo::Member::Colons)
6901 if (Ctx && !EnteringContext)
6903 Results.ExitScope();
6907 CodeCompletionDeclConsumer Consumer(Results, Ctx, BaseType);
6915 Results.getCompletionContext(), Results.data(),
6926 Context.setIsUsingDeclaration(
true);
6930 &ResultBuilder::IsNestedNameSpecifier);
6931 Results.EnterNewScope();
6939 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
6943 Results.ExitScope();
6946 Results.getCompletionContext(), Results.data(),
6959 &ResultBuilder::IsNamespaceOrAlias);
6960 Results.EnterNewScope();
6961 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
6965 Results.ExitScope();
6967 Results.getCompletionContext(), Results.data(),
6979 bool SuppressedGlobalResults =
6984 SuppressedGlobalResults
6987 &ResultBuilder::IsNamespace);
6989 if (Ctx && Ctx->
isFileContext() && !SuppressedGlobalResults) {
6994 std::map<NamespaceDecl *, NamespaceDecl *> OrigToLatest;
6999 OrigToLatest[NS->getFirstDecl()] = *NS;
7003 Results.EnterNewScope();
7004 for (std::map<NamespaceDecl *, NamespaceDecl *>::iterator
7005 NS = OrigToLatest.begin(),
7006 NSEnd = OrigToLatest.end();
7011 SemaRef.CurContext,
nullptr,
false);
7012 Results.ExitScope();
7016 Results.getCompletionContext(), Results.data(),
7028 &ResultBuilder::IsNamespaceOrAlias);
7029 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
7034 Results.getCompletionContext(), Results.data(),
7046 &ResultBuilder::IsType);
7047 Results.EnterNewScope();
7051#define OVERLOADED_OPERATOR(Name, Spelling, Token, Unary, Binary, MemberOnly) \
7052 if (OO_##Name != OO_Conditional) \
7053 Results.AddResult(Result(Spelling));
7054#include "clang/Basic/OperatorKinds.def"
7057 Results.allowNestedNameSpecifiers();
7058 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
7065 Results.ExitScope();
7068 Results.getCompletionContext(), Results.data(),
7077 SemaRef.AdjustDeclIfTemplate(ConstructorD);
7079 auto *
Constructor = dyn_cast<CXXConstructorDecl>(ConstructorD);
7086 Results.EnterNewScope();
7091 for (
unsigned I = 0, E = Initializers.size(); I != E; ++I) {
7092 if (Initializers[I]->isBaseInitializer())
7094 QualType(Initializers[I]->getBaseClass(), 0)));
7096 InitializedFields.insert(
7102 bool SawLastInitializer = Initializers.empty();
7105 auto GenerateCCS = [&](
const NamedDecl *ND,
const char *Name) {
7107 Results.getCodeCompletionTUInfo());
7108 Builder.AddTypedTextChunk(Name);
7110 if (
const auto *
Function = dyn_cast<FunctionDecl>(ND))
7112 else if (
const auto *FunTemplDecl = dyn_cast<FunctionTemplateDecl>(ND))
7114 FunTemplDecl->getTemplatedDecl(), Builder);
7116 return Builder.TakeString();
7118 auto AddDefaultCtorInit = [&](
const char *Name,
const char *
Type,
7121 Results.getCodeCompletionTUInfo());
7122 Builder.AddTypedTextChunk(Name);
7124 Builder.AddPlaceholderChunk(
Type);
7128 Builder.TakeString(), ND,
7132 return Results.AddResult(CCR);
7135 Builder.TakeString(),
7138 auto AddCtorsWithName = [&](
const CXXRecordDecl *RD,
unsigned int Priority,
7139 const char *Name,
const FieldDecl *FD) {
7141 return AddDefaultCtorInit(Name,
7142 FD ? Results.getAllocator().CopyString(
7143 FD->getType().getAsString(Policy))
7147 if (Ctors.begin() == Ctors.end())
7148 return AddDefaultCtorInit(Name, Name, RD);
7152 Results.AddResult(CCR);
7156 const char *BaseName =
7157 Results.getAllocator().CopyString(
Base.getType().getAsString(Policy));
7158 const auto *RD =
Base.getType()->getAsCXXRecordDecl();
7163 auto AddField = [&](
const FieldDecl *FD) {
7164 const char *FieldName =
7165 Results.getAllocator().CopyString(FD->getIdentifier()->getName());
7166 const CXXRecordDecl *RD = FD->getType()->getAsCXXRecordDecl();
7172 for (
const auto &
Base : ClassDecl->
bases()) {
7173 if (!InitializedBases
7176 SawLastInitializer =
7177 !Initializers.empty() && Initializers.back()->isBaseInitializer() &&
7179 Base.getType(),
QualType(Initializers.back()->getBaseClass(), 0));
7184 SawLastInitializer =
false;
7188 for (
const auto &
Base : ClassDecl->
vbases()) {
7189 if (!InitializedBases
7192 SawLastInitializer =
7193 !Initializers.empty() && Initializers.back()->isBaseInitializer() &&
7195 Base.getType(),
QualType(Initializers.back()->getBaseClass(), 0));
7200 SawLastInitializer =
false;
7204 for (
auto *Field : ClassDecl->
fields()) {
7205 if (!InitializedFields.insert(
cast<FieldDecl>(Field->getCanonicalDecl()))
7207 SawLastInitializer = !Initializers.empty() &&
7208 Initializers.back()->isAnyMemberInitializer() &&
7209 Initializers.back()->getAnyMember() == Field;
7213 if (!Field->getDeclName())
7217 SawLastInitializer =
false;
7219 Results.ExitScope();
7222 Results.getCompletionContext(), Results.data(),
7237 bool AfterAmpersand) {
7241 Results.EnterNewScope();
7245 bool IncludedThis =
false;
7248 IncludedThis =
true;
7257 for (
const auto *D : S->
decls()) {
7258 const auto *Var = dyn_cast<VarDecl>(D);
7259 if (!Var || !Var->hasLocalStorage() || Var->hasAttr<BlocksAttr>())
7262 if (Known.insert(Var->getIdentifier()).second)
7264 SemaRef.CurContext,
nullptr,
false);
7272 Results.ExitScope();
7275 Results.getCompletionContext(), Results.data(),
7285 auto ShouldAddDefault = [&D,
this]() {
7297 auto Op = Id.OperatorFunctionId.Operator;
7300 if (Op == OverloadedOperatorKind::OO_Equal)
7303 (Op == OverloadedOperatorKind::OO_EqualEqual ||
7304 Op == OverloadedOperatorKind::OO_ExclaimEqual ||
7305 Op == OverloadedOperatorKind::OO_Less ||
7306 Op == OverloadedOperatorKind::OO_LessEqual ||
7307 Op == OverloadedOperatorKind::OO_Greater ||
7308 Op == OverloadedOperatorKind::OO_GreaterEqual ||
7309 Op == OverloadedOperatorKind::OO_Spaceship))
7315 Results.EnterNewScope();
7316 if (ShouldAddDefault())
7317 Results.AddResult(
"default");
7320 Results.AddResult(
"delete");
7321 Results.ExitScope();
7323 Results.getCompletionContext(), Results.data(),
7329#define OBJC_AT_KEYWORD_NAME(NeedAt, Keyword) ((NeedAt) ? "@" Keyword : Keyword)
7332 ResultBuilder &Results,
bool NeedAt) {
7338 Results.getCodeCompletionTUInfo());
7339 if (LangOpts.ObjC) {
7343 Builder.AddPlaceholderChunk(
"property");
7344 Results.AddResult(
Result(Builder.TakeString()));
7349 Builder.AddPlaceholderChunk(
"property");
7350 Results.AddResult(
Result(Builder.TakeString()));
7355 ResultBuilder &Results,
bool NeedAt) {
7361 if (LangOpts.ObjC) {
7376 Results.getCodeCompletionTUInfo());
7381 Builder.AddPlaceholderChunk(
"name");
7382 Results.AddResult(
Result(Builder.TakeString()));
7384 if (Results.includeCodePatterns()) {
7390 Builder.AddPlaceholderChunk(
"class");
7391 Results.AddResult(
Result(Builder.TakeString()));
7396 Builder.AddPlaceholderChunk(
"protocol");
7397 Results.AddResult(
Result(Builder.TakeString()));
7402 Builder.AddPlaceholderChunk(
"class");
7403 Results.AddResult(
Result(Builder.TakeString()));
7407 Builder.AddTypedTextChunk(
7410 Builder.AddPlaceholderChunk(
"alias");
7412 Builder.AddPlaceholderChunk(
"class");
7413 Results.AddResult(
Result(Builder.TakeString()));
7415 if (Results.getSema().getLangOpts().Modules) {
7419 Builder.AddPlaceholderChunk(
"module");
7420 Results.AddResult(
Result(Builder.TakeString()));
7428 Results.EnterNewScope();
7431 else if (
SemaRef.CurContext->isObjCContainer())
7435 Results.ExitScope();
7437 Results.getCompletionContext(), Results.data(),
7444 Results.getCodeCompletionTUInfo());
7447 const char *EncodeType =
"char[]";
7448 if (Results.getSema().getLangOpts().CPlusPlus ||
7449 Results.getSema().getLangOpts().ConstStrings)
7450 EncodeType =
"const char[]";
7451 Builder.AddResultTypeChunk(EncodeType);
7454 Builder.AddPlaceholderChunk(
"type-name");
7456 Results.AddResult(
Result(Builder.TakeString()));
7459 Builder.AddResultTypeChunk(
"Protocol *");
7462 Builder.AddPlaceholderChunk(
"protocol-name");
7464 Results.AddResult(
Result(Builder.TakeString()));
7467 Builder.AddResultTypeChunk(
"SEL");
7470 Builder.AddPlaceholderChunk(
"selector");
7472 Results.AddResult(
Result(Builder.TakeString()));
7475 Builder.AddResultTypeChunk(
"NSString *");
7477 Builder.AddPlaceholderChunk(
"string");
7478 Builder.AddTextChunk(
"\"");
7479 Results.AddResult(
Result(Builder.TakeString()));
7482 Builder.AddResultTypeChunk(
"NSArray *");
7484 Builder.AddPlaceholderChunk(
"objects, ...");
7486 Results.AddResult(
Result(Builder.TakeString()));
7489 Builder.AddResultTypeChunk(
"NSDictionary *");
7491 Builder.AddPlaceholderChunk(
"key");
7494 Builder.AddPlaceholderChunk(
"object, ...");
7496 Results.AddResult(
Result(Builder.TakeString()));
7499 Builder.AddResultTypeChunk(
"id");
7501 Builder.AddPlaceholderChunk(
"expression");
7503 Results.AddResult(
Result(Builder.TakeString()));
7509 Results.getCodeCompletionTUInfo());
7511 if (Results.includeCodePatterns()) {
7516 Builder.AddPlaceholderChunk(
"statements");
7518 Builder.AddTextChunk(
"@catch");
7520 Builder.AddPlaceholderChunk(
"parameter");
7523 Builder.AddPlaceholderChunk(
"statements");
7525 Builder.AddTextChunk(
"@finally");
7527 Builder.AddPlaceholderChunk(
"statements");
7529 Results.AddResult(
Result(Builder.TakeString()));
7535 Builder.AddPlaceholderChunk(
"expression");
7536 Results.AddResult(
Result(Builder.TakeString()));
7538 if (Results.includeCodePatterns()) {
7543 Builder.AddPlaceholderChunk(
"expression");
7546 Builder.AddPlaceholderChunk(
"statements");
7548 Results.AddResult(
Result(Builder.TakeString()));
7553 ResultBuilder &Results,
bool NeedAt) {
7566 Results.EnterNewScope();
7568 Results.ExitScope();
7570 Results.getCompletionContext(), Results.data(),
7578 Results.EnterNewScope();
7581 Results.ExitScope();
7583 Results.getCompletionContext(), Results.data(),
7591 Results.EnterNewScope();
7593 Results.ExitScope();
7595 Results.getCompletionContext(), Results.data(),
7603 if (Attributes & NewFlag)
7606 Attributes |= NewFlag;
7614 unsigned AssignCopyRetMask =
7620 if (AssignCopyRetMask &&
7642 Results.EnterNewScope();
7679 Results.getCodeCompletionTUInfo());
7688 Results.getCodeCompletionTUInfo());
7701 Results.ExitScope();
7703 Results.getCompletionContext(), Results.data(),
7717 bool AllowSameLength =
true) {
7718 unsigned NumSelIdents = SelIdents.size();
7731 if (!AllowSameLength && NumSelIdents && NumSelIdents == Sel.
getNumArgs())
7734 for (
unsigned I = 0; I != NumSelIdents; ++I)
7744 bool AllowSameLength =
true) {
7778 ResultBuilder &Results,
bool InOriginalClass =
true,
7779 bool IsRootClass =
false) {
7783 IsRootClass = IsRootClass || (IFace && !IFace->
getSuperClass());
7787 if (M->isInstanceMethod() == WantInstanceMethods ||
7788 (IsRootClass && !WantInstanceMethods)) {
7794 if (!Selectors.insert(M->getSelector()).second)
7798 Result(M, Results.getBasePriority(M), std::nullopt);
7799 R.StartParameter = SelIdents.size();
7800 R.AllParametersAreInformative = (WantKind !=
MK_Any);
7801 if (!InOriginalClass)
7803 Results.MaybeAddResult(R, CurContext);
7808 if (
const auto *Protocol = dyn_cast<ObjCProtocolDecl>(Container)) {
7809 if (Protocol->hasDefinition()) {
7811 Protocol->getReferencedProtocols();
7813 E = Protocols.
end();
7815 AddObjCMethods(*I, WantInstanceMethods, WantKind, SelIdents, CurContext,
7816 Selectors, AllowSameLength, Results,
false, IsRootClass);
7825 AddObjCMethods(I, WantInstanceMethods, WantKind, SelIdents, CurContext,
7826 Selectors, AllowSameLength, Results,
false, IsRootClass);
7830 AddObjCMethods(CatDecl, WantInstanceMethods, WantKind, SelIdents,
7831 CurContext, Selectors, AllowSameLength, Results,
7832 InOriginalClass, IsRootClass);
7836 CatDecl->getReferencedProtocols();
7838 E = Protocols.
end();
7840 AddObjCMethods(*I, WantInstanceMethods, WantKind, SelIdents, CurContext,
7841 Selectors, AllowSameLength, Results,
false, IsRootClass);
7845 AddObjCMethods(Impl, WantInstanceMethods, WantKind, SelIdents, CurContext,
7846 Selectors, AllowSameLength, Results, InOriginalClass,
7854 SelIdents, CurContext, Selectors, AllowSameLength, Results,
7859 AddObjCMethods(Impl, WantInstanceMethods, WantKind, SelIdents, CurContext,
7860 Selectors, AllowSameLength, Results, InOriginalClass,
7867 dyn_cast_or_null<ObjCInterfaceDecl>(
SemaRef.CurContext);
7870 dyn_cast_or_null<ObjCCategoryDecl>(
SemaRef.CurContext))
7871 Class = Category->getClassInterface();
7881 Results.EnterNewScope();
7887 Results.ExitScope();
7889 Results.getCompletionContext(), Results.data(),
7896 dyn_cast_or_null<ObjCInterfaceDecl>(
SemaRef.CurContext);
7899 dyn_cast_or_null<ObjCCategoryDecl>(
SemaRef.CurContext))
7900 Class = Category->getClassInterface();
7910 Results.EnterNewScope();
7917 Results.ExitScope();
7919 Results.getCompletionContext(), Results.data(),
7928 Results.EnterNewScope();
7931 bool AddedInOut =
false;
7934 Results.AddResult(
"in");
7935 Results.AddResult(
"inout");
7940 Results.AddResult(
"out");
7942 Results.AddResult(
"inout");
7947 Results.AddResult(
"bycopy");
7948 Results.AddResult(
"byref");
7949 Results.AddResult(
"oneway");
7952 Results.AddResult(
"nonnull");
7953 Results.AddResult(
"nullable");
7954 Results.AddResult(
"null_unspecified");
7962 SemaRef.PP.isMacroDefined(
"IBAction")) {
7964 Results.getCodeCompletionTUInfo(),
7966 Builder.AddTypedTextChunk(
"IBAction");
7968 Builder.AddPlaceholderChunk(
"selector");
7971 Builder.AddTextChunk(
"id");
7973 Builder.AddTextChunk(
"sender");
7984 Results.ExitScope();
7987 Results.setFilter(&ResultBuilder::IsOrdinaryNonValueName);
7988 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
7997 Results.getCompletionContext(), Results.data(),
8006 auto *Msg = dyn_cast_or_null<ObjCMessageExpr>(E);
8024 switch (Msg->getReceiverKind()) {
8028 IFace = ObjType->getInterface();
8032 QualType T = Msg->getInstanceReceiver()->getType();
8034 IFace = Ptr->getInterfaceDecl();
8047 if (Method->isInstanceMethod())
8048 return llvm::StringSwitch<ObjCInterfaceDecl *>(Id->
getName())
8049 .Case(
"retain", IFace)
8050 .Case(
"strong", IFace)
8051 .Case(
"autorelease", IFace)
8052 .Case(
"copy", IFace)
8053 .Case(
"copyWithZone", IFace)
8054 .Case(
"mutableCopy", IFace)
8055 .Case(
"mutableCopyWithZone", IFace)
8056 .Case(
"awakeFromCoder", IFace)
8057 .Case(
"replacementObjectFromCoder", IFace)
8058 .Case(
"class", IFace)
8059 .Case(
"classForCoder", IFace)
8060 .Case(
"superclass", Super)
8063 return llvm::StringSwitch<ObjCInterfaceDecl *>(Id->
getName())
8065 .Case(
"alloc", IFace)
8066 .Case(
"allocWithZone", IFace)
8067 .Case(
"class", IFace)
8068 .Case(
"superclass", Super)
8088static ObjCMethodDecl *
8091 ResultBuilder &Results) {
8102 while ((Class = Class->getSuperClass()) && !SuperMethod) {
8104 SuperMethod = Class->getMethod(CurMethod->
getSelector(),
8109 for (
const auto *Cat : Class->known_categories()) {
8110 if ((SuperMethod = Cat->getMethod(CurMethod->
getSelector(),
8128 CurP != CurPEnd; ++CurP, ++SuperP) {
8131 (*SuperP)->getType()))
8135 if (!(*CurP)->getIdentifier())
8141 Results.getCodeCompletionTUInfo());
8145 Results.getCompletionContext().getBaseType(), Builder);
8148 if (NeedSuperKeyword) {
8149 Builder.AddTypedTextChunk(
"super");
8155 if (NeedSuperKeyword)
8156 Builder.AddTextChunk(
8159 Builder.AddTypedTextChunk(
8163 for (
unsigned I = 0, N = Sel.
getNumArgs(); I != N; ++I, ++CurP) {
8164 if (I > SelIdents.size())
8167 if (I < SelIdents.size())
8168 Builder.AddInformativeChunk(
8170 else if (NeedSuperKeyword || I > SelIdents.size()) {
8171 Builder.AddTextChunk(
8173 Builder.AddPlaceholderChunk(Builder.getAllocator().CopyString(
8174 (*CurP)->getIdentifier()->getName()));
8176 Builder.AddTypedTextChunk(
8178 Builder.AddPlaceholderChunk(Builder.getAllocator().CopyString(
8179 (*CurP)->getIdentifier()->getName()));
8191 ResultBuilder Results(
8196 ? &ResultBuilder::IsObjCMessageReceiverOrLambdaCapture
8197 : &ResultBuilder::IsObjCMessageReceiver);
8199 CodeCompletionDeclConsumer Consumer(Results,
SemaRef.CurContext);
8200 Results.EnterNewScope();
8209 if (Iface->getSuperClass()) {
8210 Results.AddResult(
Result(
"super"));
8218 Results.ExitScope();
8223 Results.getCompletionContext(), Results.data(),
8233 CDecl = CurMethod->getClassInterface();
8242 if (CurMethod->isInstanceMethod()) {
8247 AtArgumentExpression, CDecl);
8257 if ((CDecl = dyn_cast_or_null<ObjCInterfaceDecl>(ND))) {
8259 }
else if (
TypeDecl *TD = dyn_cast_or_null<TypeDecl>(ND)) {
8261 getASTContext().getTypeDeclType(TD)->getAs<ObjCObjectType>())
8262 CDecl = Iface->getInterface();
8272 SemaRef.ActOnIdExpression(S, SS, TemplateKWLoc,
id,
8276 SelIdents, AtArgumentExpression);
8286 AtArgumentExpression,
8293 unsigned NumSelIdents) {
8295 ASTContext &Context = Results.getSema().Context;
8299 Result *ResultsData = Results.data();
8300 for (
unsigned I = 0, N = Results.size(); I != N; ++I) {
8301 Result &R = ResultsData[I];
8302 if (R.Kind == Result::RK_Declaration &&
8304 if (R.Priority <= BestPriority) {
8306 if (NumSelIdents <= Method->param_size()) {
8308 Method->parameters()[NumSelIdents - 1]->getType();
8309 if (R.Priority < BestPriority || PreferredType.
isNull()) {
8310 BestPriority = R.Priority;
8311 PreferredType = MyPreferredType;
8312 }
else if (!Context.hasSameUnqualifiedType(PreferredType,
8321 return PreferredType;
8327 bool AtArgumentExpression,
bool IsSuper,
8328 ResultBuilder &Results) {
8343 Results.EnterNewScope();
8350 Results.Ignore(SuperMethod);
8356 Results.setPreferredSelector(CurMethod->getSelector());
8361 Selectors, AtArgumentExpression, Results);
8368 for (uint32_t I = 0,
8379 for (SemaObjC::GlobalMethodPool::iterator
8384 MethList && MethList->getMethod(); MethList = MethList->getNext()) {
8388 Result R(MethList->getMethod(),
8389 Results.getBasePriority(MethList->getMethod()),
8391 R.StartParameter = SelIdents.size();
8392 R.AllParametersAreInformative =
false;
8393 Results.MaybeAddResult(R, SemaRef.
CurContext);
8398 Results.ExitScope();
8403 bool AtArgumentExpression,
bool IsSuper) {
8407 ResultBuilder Results(
8414 AtArgumentExpression, IsSuper, Results);
8421 if (AtArgumentExpression) {
8424 if (PreferredType.
isNull())
8432 Results.getCompletionContext(), Results.data(),
8448 RecExpr = Conv.
get();
8452 : Super ? Context.getObjCObjectPointerType(
8453 Context.getObjCInterfaceType(Super))
8454 : Context.getObjCIdType();
8464 AtArgumentExpression, Super);
8467 Context.getObjCObjectPointerType(Context.getObjCInterfaceType(IFace));
8472 RecExpr = Conv.
get();
8473 ReceiverType = RecExpr->
getType();
8478 ResultBuilder Results(
8482 ReceiverType, SelIdents));
8484 Results.EnterNewScope();
8491 Results.Ignore(SuperMethod);
8497 Results.setPreferredSelector(CurMethod->getSelector());
8510 Selectors, AtArgumentExpression, Results);
8517 for (
auto *I : QualID->quals())
8519 AtArgumentExpression, Results);
8526 SemaRef.CurContext, Selectors, AtArgumentExpression,
8530 for (
auto *I : IFacePtr->quals())
8532 AtArgumentExpression, Results);
8542 for (uint32_t I = 0,
8543 N =
SemaRef.ExternalSource->GetNumExternalSelectors();
8549 SemaRef.ObjC().ReadMethodPool(Sel);
8553 for (SemaObjC::GlobalMethodPool::iterator
8554 M =
SemaRef.ObjC().MethodPool.begin(),
8555 MEnd =
SemaRef.ObjC().MethodPool.end();
8558 MethList && MethList->getMethod(); MethList = MethList->getNext()) {
8562 if (!Selectors.insert(MethList->getMethod()->getSelector()).second)
8565 Result R(MethList->getMethod(),
8566 Results.getBasePriority(MethList->getMethod()),
8568 R.StartParameter = SelIdents.size();
8569 R.AllParametersAreInformative =
false;
8570 Results.MaybeAddResult(R,
SemaRef.CurContext);
8574 Results.ExitScope();
8581 if (AtArgumentExpression) {
8584 if (PreferredType.
isNull())
8592 Results.getCompletionContext(), Results.data(),
8599 Data.ObjCCollection =
true;
8605 Data.IgnoreDecls.push_back(*I);
8617 for (uint32_t I = 0, N =
SemaRef.ExternalSource->GetNumExternalSelectors();
8623 SemaRef.ObjC().ReadMethodPool(Sel);
8630 Results.EnterNewScope();
8631 for (SemaObjC::GlobalMethodPool::iterator
8632 M =
SemaRef.ObjC().MethodPool.begin(),
8633 MEnd =
SemaRef.ObjC().MethodPool.end();
8641 Results.getCodeCompletionTUInfo());
8643 Builder.AddTypedTextChunk(
8645 Results.AddResult(Builder.TakeString());
8649 std::string Accumulator;
8650 for (
unsigned I = 0, N = Sel.
getNumArgs(); I != N; ++I) {
8651 if (I == SelIdents.size()) {
8652 if (!Accumulator.empty()) {
8653 Builder.AddInformativeChunk(
8654 Builder.getAllocator().CopyString(Accumulator));
8655 Accumulator.clear();
8662 Builder.AddTypedTextChunk(Builder.getAllocator().CopyString(Accumulator));
8663 Results.AddResult(Builder.TakeString());
8665 Results.ExitScope();
8668 Results.getCompletionContext(), Results.data(),
8675 bool OnlyForwardDeclarations,
8676 ResultBuilder &Results) {
8679 for (
const auto *D : Ctx->
decls()) {
8681 if (
const auto *Proto = dyn_cast<ObjCProtocolDecl>(D))
8682 if (!OnlyForwardDeclarations || !Proto->hasDefinition())
8683 Results.AddResult(
Result(Proto, Results.getBasePriority(Proto),
8685 CurContext,
nullptr,
false);
8696 Results.EnterNewScope();
8703 Pair.getIdentifierInfo(), Pair.getLoc()))
8704 Results.Ignore(Protocol);
8708 SemaRef.CurContext,
false, Results);
8710 Results.ExitScope();
8714 Results.getCompletionContext(), Results.data(),
8724 Results.EnterNewScope();
8728 SemaRef.CurContext,
true, Results);
8730 Results.ExitScope();
8734 Results.getCompletionContext(), Results.data(),
8741 bool OnlyForwardDeclarations,
8742 bool OnlyUnimplemented,
8743 ResultBuilder &Results) {
8746 for (
const auto *D : Ctx->
decls()) {
8748 if (
const auto *Class = dyn_cast<ObjCInterfaceDecl>(D))
8749 if ((!OnlyForwardDeclarations || !Class->hasDefinition()) &&
8750 (!OnlyUnimplemented || !Class->getImplementation()))
8751 Results.AddResult(
Result(Class, Results.getBasePriority(Class),
8753 CurContext,
nullptr,
false);
8761 Results.EnterNewScope();
8766 SemaRef.CurContext,
false,
false, Results);
8769 Results.ExitScope();
8772 Results.getCompletionContext(), Results.data(),
8780 Results.EnterNewScope();
8785 SemaRef.CurContext,
false,
false, Results);
8788 Results.ExitScope();
8791 Results.getCompletionContext(), Results.data(),
8800 Results.EnterNewScope();
8806 Results.Ignore(CurClass);
8811 SemaRef.CurContext,
false,
false, Results);
8814 Results.ExitScope();
8817 Results.getCompletionContext(), Results.data(),
8825 Results.EnterNewScope();
8830 SemaRef.CurContext,
false,
true, Results);
8833 Results.ExitScope();
8836 Results.getCompletionContext(), Results.data(),
8854 dyn_cast_or_null<ObjCInterfaceDecl>(CurClass)) {
8855 for (
const auto *Cat :
Class->visible_categories())
8856 CategoryNames.insert(Cat->getIdentifier());
8860 Results.EnterNewScope();
8862 for (
const auto *D : TU->
decls())
8863 if (
const auto *Category = dyn_cast<ObjCCategoryDecl>(D))
8864 if (CategoryNames.insert(Category->getIdentifier()).second)
8865 Results.AddResult(
Result(Category, Results.getBasePriority(Category),
8867 SemaRef.CurContext,
nullptr,
false);
8868 Results.ExitScope();
8871 Results.getCompletionContext(), Results.data(),
8896 Results.EnterNewScope();
8897 bool IgnoreImplemented =
true;
8899 for (
const auto *Cat :
Class->visible_categories()) {
8900 if ((!IgnoreImplemented || !Cat->getImplementation()) &&
8901 CategoryNames.insert(Cat->getIdentifier()).second)
8902 Results.AddResult(
Result(Cat, Results.getBasePriority(Cat),
8904 SemaRef.CurContext,
nullptr,
false);
8908 IgnoreImplemented =
false;
8910 Results.ExitScope();
8913 Results.getCompletionContext(), Results.data(),
8924 dyn_cast_or_null<ObjCContainerDecl>(
SemaRef.CurContext);
8931 for (
const auto *D : Container->
decls())
8932 if (
const auto *PropertyImpl = dyn_cast<ObjCPropertyImplDecl>(D))
8933 Results.Ignore(PropertyImpl->getPropertyDecl());
8937 Results.EnterNewScope();
8939 dyn_cast<ObjCImplementationDecl>(Container))
8942 AddedProperties, Results);
8946 false,
false,
SemaRef.CurContext,
8947 AddedProperties, Results);
8948 Results.ExitScope();
8951 Results.getCompletionContext(), Results.data(),
8964 dyn_cast_or_null<ObjCContainerDecl>(
SemaRef.CurContext);
8972 dyn_cast<ObjCImplementationDecl>(Container))
8973 Class = ClassImpl->getClassInterface();
8977 ->getClassInterface();
8985 Property->getType().getNonReferenceType().getUnqualifiedType();
8988 Results.setPreferredType(PropertyType);
8993 Results.EnterNewScope();
8994 bool SawSimilarlyNamedIvar =
false;
8995 std::string NameWithPrefix;
8996 NameWithPrefix +=
'_';
8997 NameWithPrefix += PropertyName->getName();
8998 std::string NameWithSuffix = PropertyName->getName().str();
8999 NameWithSuffix +=
'_';
9002 Ivar = Ivar->getNextIvar()) {
9003 Results.AddResult(
Result(Ivar, Results.getBasePriority(Ivar),
9005 SemaRef.CurContext,
nullptr,
false);
9009 if ((PropertyName == Ivar->getIdentifier() ||
9010 NameWithPrefix == Ivar->getName() ||
9011 NameWithSuffix == Ivar->getName())) {
9012 SawSimilarlyNamedIvar =
true;
9016 if (Results.size() &&
9017 Results.data()[Results.size() - 1].Kind ==
9019 Results.data()[Results.size() - 1].Declaration == Ivar)
9020 Results.data()[Results.size() - 1].Priority--;
9025 if (!SawSimilarlyNamedIvar) {
9037 Builder.AddTypedTextChunk(Allocator.
CopyString(NameWithPrefix));
9042 Results.ExitScope();
9045 Results.getCompletionContext(), Results.data(),
9052 llvm::PointerIntPair<ObjCMethodDecl *, 1, bool>>
9061 std::optional<bool> WantInstanceMethods,
9064 bool InOriginalClass =
true) {
9067 if (!IFace->hasDefinition())
9070 IFace = IFace->getDefinition();
9074 IFace->getReferencedProtocols();
9076 E = Protocols.
end();
9079 KnownMethods, InOriginalClass);
9082 for (
auto *Cat : IFace->visible_categories()) {
9084 KnownMethods,
false);
9088 if (IFace->getSuperClass())
9090 WantInstanceMethods, ReturnType, KnownMethods,
9097 Category->getReferencedProtocols();
9099 E = Protocols.
end();
9102 KnownMethods, InOriginalClass);
9105 if (InOriginalClass && Category->getClassInterface())
9107 WantInstanceMethods, ReturnType, KnownMethods,
9113 if (!Protocol->hasDefinition())
9115 Protocol = Protocol->getDefinition();
9116 Container = Protocol;
9120 Protocol->getReferencedProtocols();
9122 E = Protocols.
end();
9125 KnownMethods,
false);
9131 for (
auto *M : Container->
methods()) {
9132 if (!WantInstanceMethods || M->isInstanceMethod() == *WantInstanceMethods) {
9133 if (!ReturnType.
isNull() &&
9134 !Context.hasSameUnqualifiedType(ReturnType, M->getReturnType()))
9137 KnownMethods[M->getSelector()] =
9138 KnownMethodsMap::mapped_type(M, InOriginalClass);
9152 Builder.AddTextChunk(Builder.getAllocator().CopyString(Quals));
9153 Builder.AddTextChunk(
9164 if (Class->getIdentifier() && Class->getIdentifier()->getName() == Name)
9173 bool IsInstanceMethod,
9176 ResultBuilder &Results) {
9178 if (!PropName || PropName->
getLength() == 0)
9196 const char *CopiedKey;
9199 : Allocator(Allocator), Key(Key), CopiedKey(
nullptr) {}
9201 operator const char *() {
9205 return CopiedKey = Allocator.
CopyString(Key);
9207 } Key(Allocator, PropName->
getName());
9210 std::string UpperKey = std::string(PropName->
getName());
9211 if (!UpperKey.empty())
9214 bool ReturnTypeMatchesProperty =
9217 Property->getType());
9218 bool ReturnTypeMatchesVoid = ReturnType.
isNull() || ReturnType->
isVoidType();
9221 if (IsInstanceMethod &&
9223 ReturnTypeMatchesProperty && !Property->getGetterMethodDecl()) {
9228 Builder.AddTypedTextChunk(Key);
9235 if (IsInstanceMethod &&
9236 ((!ReturnType.
isNull() &&
9238 (ReturnType.
isNull() && (Property->getType()->isIntegerType() ||
9239 Property->getType()->isBooleanType())))) {
9240 std::string SelectorName = (Twine(
"is") + UpperKey).str();
9244 if (ReturnType.
isNull()) {
9246 Builder.AddTextChunk(
"BOOL");
9257 if (IsInstanceMethod && ReturnTypeMatchesVoid &&
9258 !Property->getSetterMethodDecl()) {
9259 std::string SelectorName = (Twine(
"set") + UpperKey).str();
9261 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9262 if (ReturnType.
isNull()) {
9264 Builder.AddTextChunk(
"void");
9268 Builder.AddTypedTextChunk(
9272 Builder.AddTextChunk(Key);
9283 if (
const auto *ObjCPointer =
9308 if (IsInstanceMethod &&
9310 std::string SelectorName = (Twine(
"countOf") + UpperKey).str();
9314 if (ReturnType.
isNull()) {
9316 Builder.AddTextChunk(
"NSUInteger");
9322 Result(Builder.TakeString(),
9323 std::min(IndexedGetterPriority, UnorderedGetterPriority),
9330 if (IsInstanceMethod &&
9332 std::string SelectorName = (Twine(
"objectIn") + UpperKey +
"AtIndex").str();
9334 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9335 if (ReturnType.
isNull()) {
9337 Builder.AddTextChunk(
"id");
9341 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9343 Builder.AddTextChunk(
"NSUInteger");
9345 Builder.AddTextChunk(
"index");
9346 Results.AddResult(
Result(Builder.TakeString(), IndexedGetterPriority,
9352 if (IsInstanceMethod &&
9359 std::string SelectorName = (Twine(Property->getName()) +
"AtIndexes").str();
9361 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9362 if (ReturnType.
isNull()) {
9364 Builder.AddTextChunk(
"NSArray *");
9368 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9370 Builder.AddTextChunk(
"NSIndexSet *");
9372 Builder.AddTextChunk(
"indexes");
9373 Results.AddResult(
Result(Builder.TakeString(), IndexedGetterPriority,
9379 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9380 std::string SelectorName = (Twine(
"get") + UpperKey).str();
9381 const IdentifierInfo *SelectorIds[2] = {&Context.Idents.get(SelectorName),
9382 &Context.Idents.get(
"range")};
9384 if (KnownSelectors.insert(Selectors.
getSelector(2, SelectorIds)).second) {
9385 if (ReturnType.
isNull()) {
9387 Builder.AddTextChunk(
"void");
9391 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9393 Builder.AddPlaceholderChunk(
"object-type");
9394 Builder.AddTextChunk(
" **");
9396 Builder.AddTextChunk(
"buffer");
9398 Builder.AddTypedTextChunk(
"range:");
9400 Builder.AddTextChunk(
"NSRange");
9402 Builder.AddTextChunk(
"inRange");
9403 Results.AddResult(
Result(Builder.TakeString(), IndexedGetterPriority,
9411 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9412 std::string SelectorName = (Twine(
"in") + UpperKey +
"AtIndex").str();
9413 const IdentifierInfo *SelectorIds[2] = {&Context.Idents.get(
"insertObject"),
9414 &Context.Idents.get(SelectorName)};
9416 if (KnownSelectors.insert(Selectors.
getSelector(2, SelectorIds)).second) {
9417 if (ReturnType.
isNull()) {
9419 Builder.AddTextChunk(
"void");
9423 Builder.AddTypedTextChunk(
"insertObject:");
9425 Builder.AddPlaceholderChunk(
"object-type");
9426 Builder.AddTextChunk(
" *");
9428 Builder.AddTextChunk(
"object");
9430 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9432 Builder.AddPlaceholderChunk(
"NSUInteger");
9434 Builder.AddTextChunk(
"index");
9435 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9441 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9442 std::string SelectorName = (Twine(
"insert") + UpperKey).str();
9443 const IdentifierInfo *SelectorIds[2] = {&Context.Idents.get(SelectorName),
9444 &Context.Idents.get(
"atIndexes")};
9446 if (KnownSelectors.insert(Selectors.
getSelector(2, SelectorIds)).second) {
9447 if (ReturnType.
isNull()) {
9449 Builder.AddTextChunk(
"void");
9453 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9455 Builder.AddTextChunk(
"NSArray *");
9457 Builder.AddTextChunk(
"array");
9459 Builder.AddTypedTextChunk(
"atIndexes:");
9461 Builder.AddPlaceholderChunk(
"NSIndexSet *");
9463 Builder.AddTextChunk(
"indexes");
9464 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9470 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9471 std::string SelectorName =
9472 (Twine(
"removeObjectFrom") + UpperKey +
"AtIndex").str();
9473 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9474 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9475 if (ReturnType.
isNull()) {
9477 Builder.AddTextChunk(
"void");
9481 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9483 Builder.AddTextChunk(
"NSUInteger");
9485 Builder.AddTextChunk(
"index");
9486 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9492 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9493 std::string SelectorName = (Twine(
"remove") + UpperKey +
"AtIndexes").str();
9494 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9495 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9496 if (ReturnType.
isNull()) {
9498 Builder.AddTextChunk(
"void");
9502 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9504 Builder.AddTextChunk(
"NSIndexSet *");
9506 Builder.AddTextChunk(
"indexes");
9507 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9513 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9514 std::string SelectorName =
9515 (Twine(
"replaceObjectIn") + UpperKey +
"AtIndex").str();
9516 const IdentifierInfo *SelectorIds[2] = {&Context.Idents.get(SelectorName),
9517 &Context.Idents.get(
"withObject")};
9519 if (KnownSelectors.insert(Selectors.
getSelector(2, SelectorIds)).second) {
9520 if (ReturnType.
isNull()) {
9522 Builder.AddTextChunk(
"void");
9526 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9528 Builder.AddPlaceholderChunk(
"NSUInteger");
9530 Builder.AddTextChunk(
"index");
9532 Builder.AddTypedTextChunk(
"withObject:");
9534 Builder.AddTextChunk(
"id");
9536 Builder.AddTextChunk(
"object");
9537 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9543 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9544 std::string SelectorName1 =
9545 (Twine(
"replace") + UpperKey +
"AtIndexes").str();
9546 std::string SelectorName2 = (Twine(
"with") + UpperKey).str();
9547 const IdentifierInfo *SelectorIds[2] = {&Context.Idents.get(SelectorName1),
9548 &Context.Idents.get(SelectorName2)};
9550 if (KnownSelectors.insert(Selectors.
getSelector(2, SelectorIds)).second) {
9551 if (ReturnType.
isNull()) {
9553 Builder.AddTextChunk(
"void");
9557 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName1 +
":"));
9559 Builder.AddPlaceholderChunk(
"NSIndexSet *");
9561 Builder.AddTextChunk(
"indexes");
9563 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName2 +
":"));
9565 Builder.AddTextChunk(
"NSArray *");
9567 Builder.AddTextChunk(
"array");
9568 Results.AddResult(
Result(Builder.TakeString(), IndexedSetterPriority,
9575 if (IsInstanceMethod &&
9581 ->
getName() ==
"NSEnumerator"))) {
9582 std::string SelectorName = (Twine(
"enumeratorOf") + UpperKey).str();
9583 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9586 if (ReturnType.
isNull()) {
9588 Builder.AddTextChunk(
"NSEnumerator *");
9592 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName));
9593 Results.AddResult(
Result(Builder.TakeString(), UnorderedGetterPriority,
9599 if (IsInstanceMethod &&
9601 std::string SelectorName = (Twine(
"memberOf") + UpperKey).str();
9602 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9603 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9604 if (ReturnType.
isNull()) {
9606 Builder.AddPlaceholderChunk(
"object-type");
9607 Builder.AddTextChunk(
" *");
9611 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9613 if (ReturnType.
isNull()) {
9614 Builder.AddPlaceholderChunk(
"object-type");
9615 Builder.AddTextChunk(
" *");
9618 ReturnType, Context, Policy, Builder.getAllocator()));
9621 Builder.AddTextChunk(
"object");
9622 Results.AddResult(
Result(Builder.TakeString(), UnorderedGetterPriority,
9629 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9630 std::string SelectorName =
9631 (Twine(
"add") + UpperKey + Twine(
"Object")).str();
9632 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9633 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9634 if (ReturnType.
isNull()) {
9636 Builder.AddTextChunk(
"void");
9640 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9642 Builder.AddPlaceholderChunk(
"object-type");
9643 Builder.AddTextChunk(
" *");
9645 Builder.AddTextChunk(
"object");
9646 Results.AddResult(
Result(Builder.TakeString(), UnorderedSetterPriority,
9652 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9653 std::string SelectorName = (Twine(
"add") + UpperKey).str();
9654 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9655 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9656 if (ReturnType.
isNull()) {
9658 Builder.AddTextChunk(
"void");
9662 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9664 Builder.AddTextChunk(
"NSSet *");
9666 Builder.AddTextChunk(
"objects");
9667 Results.AddResult(
Result(Builder.TakeString(), UnorderedSetterPriority,
9673 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9674 std::string SelectorName =
9675 (Twine(
"remove") + UpperKey + Twine(
"Object")).str();
9676 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9677 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9678 if (ReturnType.
isNull()) {
9680 Builder.AddTextChunk(
"void");
9684 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9686 Builder.AddPlaceholderChunk(
"object-type");
9687 Builder.AddTextChunk(
" *");
9689 Builder.AddTextChunk(
"object");
9690 Results.AddResult(
Result(Builder.TakeString(), UnorderedSetterPriority,
9696 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9697 std::string SelectorName = (Twine(
"remove") + UpperKey).str();
9698 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9699 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9700 if (ReturnType.
isNull()) {
9702 Builder.AddTextChunk(
"void");
9706 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9708 Builder.AddTextChunk(
"NSSet *");
9710 Builder.AddTextChunk(
"objects");
9711 Results.AddResult(
Result(Builder.TakeString(), UnorderedSetterPriority,
9717 if (IsInstanceMethod && ReturnTypeMatchesVoid) {
9718 std::string SelectorName = (Twine(
"intersect") + UpperKey).str();
9719 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9720 if (KnownSelectors.insert(Selectors.
getUnarySelector(SelectorId)).second) {
9721 if (ReturnType.
isNull()) {
9723 Builder.AddTextChunk(
"void");
9727 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName +
":"));
9729 Builder.AddTextChunk(
"NSSet *");
9731 Builder.AddTextChunk(
"objects");
9732 Results.AddResult(
Result(Builder.TakeString(), UnorderedSetterPriority,
9739 if (!IsInstanceMethod &&
9746 std::string SelectorName =
9747 (Twine(
"keyPathsForValuesAffecting") + UpperKey).str();
9748 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9751 if (ReturnType.
isNull()) {
9753 Builder.AddTextChunk(
"NSSet<NSString *> *");
9757 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName));
9764 if (!IsInstanceMethod &&
9767 std::string SelectorName =
9768 (Twine(
"automaticallyNotifiesObserversOf") + UpperKey).str();
9769 const IdentifierInfo *SelectorId = &Context.Idents.get(SelectorName);
9772 if (ReturnType.
isNull()) {
9774 Builder.AddTextChunk(
"BOOL");
9778 Builder.AddTypedTextChunk(Allocator.
CopyString(SelectorName));
9786 Scope *S, std::optional<bool> IsInstanceMethod,
ParsedType ReturnTy) {
9791 Decl *IDecl =
nullptr;
9792 if (
SemaRef.CurContext->isObjCContainer()) {
9798 bool IsInImplementation =
false;
9799 if (
Decl *D = IDecl) {
9801 SearchDecl = Impl->getClassInterface();
9802 IsInImplementation =
true;
9804 dyn_cast<ObjCCategoryImplDecl>(D)) {
9805 SearchDecl = CatImpl->getCategoryDecl();
9806 IsInImplementation =
true;
9808 SearchDecl = dyn_cast<ObjCContainerDecl>(D);
9811 if (!SearchDecl && S) {
9813 SearchDecl = dyn_cast<ObjCContainerDecl>(DC);
9832 Results.EnterNewScope();
9834 for (KnownMethodsMap::iterator M = KnownMethods.begin(),
9835 MEnd = KnownMethods.end();
9839 Results.getCodeCompletionTUInfo());
9842 if (!IsInstanceMethod) {
9843 Builder.AddTextChunk(
Method->isInstanceMethod() ?
"-" :
"+");
9849 if (ReturnType.
isNull()) {
9850 QualType ResTy =
Method->getSendResultType().stripObjCKindOfType(Context);
9851 AttributedType::stripOuterNullability(ResTy);
9860 Builder.AddTypedTextChunk(
9866 PEnd =
Method->param_end();
9867 P != PEnd; (
void)++P, ++I) {
9870 Builder.AddTypedTextChunk(
9874 Builder.AddTypedTextChunk(
9882 ParamType = (*P)->getType();
9884 ParamType = (*P)->getOriginalType();
9887 AttributedType::stripOuterNullability(ParamType);
9889 Context, Policy, Builder);
9892 Builder.AddTextChunk(
9893 Builder.getAllocator().CopyString(Id->getName()));
9897 if (
Method->isVariadic()) {
9898 if (
Method->param_size() > 0)
9900 Builder.AddTextChunk(
"...");
9903 if (IsInImplementation && Results.includeCodePatterns()) {
9908 if (!
Method->getReturnType()->isVoidType()) {
9910 Builder.AddTextChunk(
"return");
9912 Builder.AddPlaceholderChunk(
"expression");
9915 Builder.AddPlaceholderChunk(
"statements");
9922 auto R =
Result(Builder.TakeString(),
Method, Priority);
9923 if (!M->second.getInt())
9925 Results.AddResult(std::move(R));
9930 if (Context.getLangOpts().ObjC) {
9932 Containers.push_back(SearchDecl);
9935 for (KnownMethodsMap::iterator M = KnownMethods.begin(),
9936 MEnd = KnownMethods.end();
9938 KnownSelectors.insert(M->first);
9943 IFace = Category->getClassInterface();
9948 if (IsInstanceMethod) {
9949 for (
unsigned I = 0, N = Containers.size(); I != N; ++I)
9950 for (
auto *P : Containers[I]->instance_properties())
9952 KnownSelectors, Results);
9956 Results.ExitScope();
9959 Results.getCompletionContext(), Results.data(),
9964 Scope *S,
bool IsInstanceMethod,
bool AtParameterName,
ParsedType ReturnTy,
9969 for (uint32_t I = 0, N =
SemaRef.ExternalSource->GetNumExternalSelectors();
9975 SemaRef.ObjC().ReadMethodPool(Sel);
9986 Results.setPreferredType(
9987 SemaRef.GetTypeFromParser(ReturnTy).getNonReferenceType());
9989 Results.EnterNewScope();
9990 for (SemaObjC::GlobalMethodPool::iterator
9991 M =
SemaRef.ObjC().MethodPool.begin(),
9992 MEnd =
SemaRef.ObjC().MethodPool.end();
9994 for (
ObjCMethodList *MethList = IsInstanceMethod ? &M->second.first
9995 : &M->second.second;
9996 MethList && MethList->getMethod(); MethList = MethList->getNext()) {
10000 if (AtParameterName) {
10002 unsigned NumSelIdents = SelIdents.size();
10003 if (NumSelIdents &&
10004 NumSelIdents <= MethList->getMethod()->param_size()) {
10006 MethList->getMethod()->parameters()[NumSelIdents - 1];
10007 if (Param->getIdentifier()) {
10009 Results.getCodeCompletionTUInfo());
10010 Builder.AddTypedTextChunk(Builder.getAllocator().CopyString(
10011 Param->getIdentifier()->getName()));
10012 Results.AddResult(Builder.TakeString());
10019 Result R(MethList->getMethod(),
10020 Results.getBasePriority(MethList->getMethod()),
10022 R.StartParameter = SelIdents.size();
10023 R.AllParametersAreInformative =
false;
10024 R.DeclaringEntity =
true;
10025 Results.MaybeAddResult(R,
SemaRef.CurContext);
10029 Results.ExitScope();
10031 if (!AtParameterName && !SelIdents.empty() &&
10032 SelIdents.front()->getName().starts_with(
"init")) {
10033 for (
const auto &M :
SemaRef.PP.macros()) {
10034 if (M.first->getName() !=
"NS_DESIGNATED_INITIALIZER")
10036 Results.EnterNewScope();
10038 Results.getCodeCompletionTUInfo());
10039 Builder.AddTypedTextChunk(
10040 Builder.getAllocator().CopyString(M.first->getName()));
10043 Results.ExitScope();
10048 Results.getCompletionContext(), Results.data(),
10056 Results.EnterNewScope();
10060 Results.getCodeCompletionTUInfo());
10061 Builder.AddTypedTextChunk(
"if");
10063 Builder.AddPlaceholderChunk(
"condition");
10064 Results.AddResult(Builder.TakeString());
10067 Builder.AddTypedTextChunk(
"ifdef");
10069 Builder.AddPlaceholderChunk(
"macro");
10070 Results.AddResult(Builder.TakeString());
10073 Builder.AddTypedTextChunk(
"ifndef");
10075 Builder.AddPlaceholderChunk(
"macro");
10076 Results.AddResult(Builder.TakeString());
10078 if (InConditional) {
10080 Builder.AddTypedTextChunk(
"elif");
10082 Builder.AddPlaceholderChunk(
"condition");
10083 Results.AddResult(Builder.TakeString());
10086 Builder.AddTypedTextChunk(
"elifdef");
10088 Builder.AddPlaceholderChunk(
"macro");
10089 Results.AddResult(Builder.TakeString());
10092 Builder.AddTypedTextChunk(
"elifndef");
10094 Builder.AddPlaceholderChunk(
"macro");
10095 Results.AddResult(Builder.TakeString());
10098 Builder.AddTypedTextChunk(
"else");
10099 Results.AddResult(Builder.TakeString());
10102 Builder.AddTypedTextChunk(
"endif");
10103 Results.AddResult(Builder.TakeString());
10107 Builder.AddTypedTextChunk(
"include");
10109 Builder.AddTextChunk(
"\"");
10110 Builder.AddPlaceholderChunk(
"header");
10111 Builder.AddTextChunk(
"\"");
10112 Results.AddResult(Builder.TakeString());
10115 Builder.AddTypedTextChunk(
"include");
10117 Builder.AddTextChunk(
"<");
10118 Builder.AddPlaceholderChunk(
"header");
10119 Builder.AddTextChunk(
">");
10120 Results.AddResult(Builder.TakeString());
10123 Builder.AddTypedTextChunk(
"define");
10125 Builder.AddPlaceholderChunk(
"macro");
10126 Results.AddResult(Builder.TakeString());
10129 Builder.AddTypedTextChunk(
"define");
10131 Builder.AddPlaceholderChunk(
"macro");
10133 Builder.AddPlaceholderChunk(
"args");
10135 Results.AddResult(Builder.TakeString());
10138 Builder.AddTypedTextChunk(
"undef");
10140 Builder.AddPlaceholderChunk(
"macro");
10141 Results.AddResult(Builder.TakeString());
10144 Builder.AddTypedTextChunk(
"line");
10146 Builder.AddPlaceholderChunk(
"number");
10147 Results.AddResult(Builder.TakeString());
10150 Builder.AddTypedTextChunk(
"line");
10152 Builder.AddPlaceholderChunk(
"number");
10154 Builder.AddTextChunk(
"\"");
10155 Builder.AddPlaceholderChunk(
"filename");
10156 Builder.AddTextChunk(
"\"");
10157 Results.AddResult(Builder.TakeString());
10160 Builder.AddTypedTextChunk(
"error");
10162 Builder.AddPlaceholderChunk(
"message");
10163 Results.AddResult(Builder.TakeString());
10166 Builder.AddTypedTextChunk(
"pragma");
10168 Builder.AddPlaceholderChunk(
"arguments");
10169 Results.AddResult(Builder.TakeString());
10173 Builder.AddTypedTextChunk(
"import");
10175 Builder.AddTextChunk(
"\"");
10176 Builder.AddPlaceholderChunk(
"header");
10177 Builder.AddTextChunk(
"\"");
10178 Results.AddResult(Builder.TakeString());
10181 Builder.AddTypedTextChunk(
"import");
10183 Builder.AddTextChunk(
"<");
10184 Builder.AddPlaceholderChunk(
"header");
10185 Builder.AddTextChunk(
">");
10186 Results.AddResult(Builder.TakeString());
10190 Builder.AddTypedTextChunk(
"include_next");
10192 Builder.AddTextChunk(
"\"");
10193 Builder.AddPlaceholderChunk(
"header");
10194 Builder.AddTextChunk(
"\"");
10195 Results.AddResult(Builder.TakeString());
10198 Builder.AddTypedTextChunk(
"include_next");
10200 Builder.AddTextChunk(
"<");
10201 Builder.AddPlaceholderChunk(
"header");
10202 Builder.AddTextChunk(
">");
10203 Results.AddResult(Builder.TakeString());
10206 Builder.AddTypedTextChunk(
"warning");
10208 Builder.AddPlaceholderChunk(
"message");
10209 Results.AddResult(Builder.TakeString());
10216 Results.ExitScope();
10219 Results.getCompletionContext(), Results.data(),
10238 Results.getCodeCompletionTUInfo());
10239 Results.EnterNewScope();
10241 MEnd =
SemaRef.PP.macro_end();
10243 Builder.AddTypedTextChunk(
10244 Builder.getAllocator().CopyString(M->first->getName()));
10248 Results.ExitScope();
10249 }
else if (IsDefinition) {
10254 Results.getCompletionContext(), Results.data(),
10267 Results.EnterNewScope();
10269 Results.getCodeCompletionTUInfo());
10270 Builder.AddTypedTextChunk(
"defined");
10273 Builder.AddPlaceholderChunk(
"macro");
10275 Results.AddResult(Builder.TakeString());
10276 Results.ExitScope();
10279 Results.getCompletionContext(), Results.data(),
10299 std::string RelDir = llvm::sys::path::convert_to_slash(Dir);
10302 llvm::sys::path::native(NativeRelDir);
10303 llvm::vfs::FileSystem &FS =
10304 SemaRef.getSourceManager().getFileManager().getVirtualFileSystem();
10309 llvm::DenseSet<StringRef> SeenResults;
10312 auto AddCompletion = [&](StringRef Filename,
bool IsDirectory) {
10315 TypedChunk.push_back(IsDirectory ?
'/' : Angled ?
'>' :
'"');
10316 auto R = SeenResults.insert(TypedChunk);
10318 const char *InternedTyped = Results.getAllocator().CopyString(TypedChunk);
10319 *R.first = InternedTyped;
10322 Builder.AddTypedTextChunk(InternedTyped);
10330 auto AddFilesFromIncludeDir = [&](StringRef IncludeDir,
10334 if (!NativeRelDir.empty()) {
10338 auto Begin = llvm::sys::path::begin(NativeRelDir);
10339 auto End = llvm::sys::path::end(NativeRelDir);
10341 llvm::sys::path::append(Dir, *Begin +
".framework",
"Headers");
10342 llvm::sys::path::append(Dir, ++Begin, End);
10344 llvm::sys::path::append(Dir, NativeRelDir);
10348 const StringRef &Dirname = llvm::sys::path::filename(Dir);
10349 const bool isQt = Dirname.starts_with(
"Qt") || Dirname ==
"ActiveQt";
10350 const bool ExtensionlessHeaders =
10351 IsSystem || isQt || Dir.ends_with(
".framework/Headers");
10352 std::error_code EC;
10353 unsigned Count = 0;
10354 for (
auto It = FS.dir_begin(Dir, EC);
10355 !EC && It != llvm::vfs::directory_iterator(); It.increment(EC)) {
10356 if (++Count == 2500)
10358 StringRef Filename = llvm::sys::path::filename(It->path());
10363 llvm::sys::fs::file_type
Type = It->type();
10364 if (
Type == llvm::sys::fs::file_type::symlink_file) {
10365 if (
auto FileStatus = FS.status(It->path()))
10366 Type = FileStatus->getType();
10369 case llvm::sys::fs::file_type::directory_file:
10373 NativeRelDir.empty() && !Filename.consume_back(
".framework"))
10376 AddCompletion(Filename,
true);
10378 case llvm::sys::fs::file_type::regular_file: {
10380 const bool IsHeader = Filename.ends_with_insensitive(
".h") ||
10381 Filename.ends_with_insensitive(
".hh") ||
10382 Filename.ends_with_insensitive(
".hpp") ||
10383 Filename.ends_with_insensitive(
".hxx") ||
10384 Filename.ends_with_insensitive(
".inc") ||
10385 (ExtensionlessHeaders && !Filename.contains(
'.'));
10388 AddCompletion(Filename,
false);
10400 switch (IncludeDir.getLookupType()) {
10405 AddFilesFromIncludeDir(IncludeDir.getDirRef()->getName(), IsSystem,
10409 AddFilesFromIncludeDir(IncludeDir.getFrameworkDirRef()->getName(),
10418 const auto &S =
SemaRef.PP.getHeaderSearchInfo();
10419 using llvm::make_range;
10422 if (
auto CurFile =
SemaRef.PP.getCurrentFileLexer()->getFileEntry())
10423 AddFilesFromIncludeDir(CurFile->getDir().getName(),
false,
10425 for (
const auto &D : make_range(S.quoted_dir_begin(), S.quoted_dir_end()))
10426 AddFilesFromDirLookup(D,
false);
10428 for (
const auto &D : make_range(S.angled_dir_begin(), S.angled_dir_end()))
10429 AddFilesFromDirLookup(D,
false);
10430 for (
const auto &D : make_range(S.system_dir_begin(), S.system_dir_end()))
10431 AddFilesFromDirLookup(D,
true);
10434 Results.getCompletionContext(), Results.data(),
10448 Results.EnterNewScope();
10449 static const char *Platforms[] = {
"macOS",
"iOS",
"watchOS",
"tvOS"};
10453 Twine(Platform) +
"ApplicationExtension")));
10455 Results.ExitScope();
10457 Results.getCompletionContext(), Results.data(),
10464 ResultBuilder Builder(
SemaRef, Allocator, CCTUInfo,
10467 CodeCompletionDeclConsumer Consumer(
10479 Results.insert(Results.end(), Builder.data(),
10480 Builder.data() + Builder.size());
This file provides AST data structures related to concepts.
bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc QualifierLoc)
llvm::DenseMap< const Stmt *, CFGBlock * > SMap
static Decl::Kind getKind(const Decl *D)
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
This file defines the classes used to store parsed information about declaration-specifiers and decla...
Defines the C++ template declaration subclasses.
Defines the ExceptionSpecificationType enumeration and various utility functions.
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines Expressions and AST nodes for C++2a concepts.
llvm::MachO::Record Record
Defines the clang::MacroInfo and clang::MacroDirective classes.
Defines an enumeration for C++ overloaded operators.
Defines the clang::Preprocessor interface.
static AccessResult IsAccessible(Sema &S, const EffectiveContext &EC, AccessTarget &Entity)
Determines whether the accessed entity is accessible.
static QualType getPreferredArgumentTypeForMessageSend(ResultBuilder &Results, unsigned NumSelIdents)
Given a set of code-completion results for the argument of a message send, determine the preferred ty...
static void printOverrideString(const CodeCompletionString &CCS, std::string &BeforeName, std::string &NameAndSignature)
static bool isConstructor(const Decl *ND)
static void findTypeLocationForBlockDecl(const TypeSourceInfo *TSInfo, FunctionTypeLoc &Block, FunctionProtoTypeLoc &BlockProto, bool SuppressBlock=false)
Tries to find the most appropriate type location for an Objective-C block placeholder.
static bool isObjCReceiverType(ASTContext &C, QualType T)
static void AddMacroResults(Preprocessor &PP, ResultBuilder &Results, bool LoadExternal, bool IncludeUndefined, bool TargetTypeIsPointer=false)
static std::string formatTemplateParameterPlaceholder(const NamedDecl *Param, bool &Optional, const PrintingPolicy &Policy)
static std::string formatBlockPlaceholder(const PrintingPolicy &Policy, const NamedDecl *BlockDecl, FunctionTypeLoc &Block, FunctionProtoTypeLoc &BlockProto, bool SuppressBlockName=false, bool SuppressBlock=false, std::optional< ArrayRef< QualType > > ObjCSubsts=std::nullopt)
Returns a placeholder string that corresponds to an Objective-C block declaration.
static void AddTemplateParameterChunks(ASTContext &Context, const PrintingPolicy &Policy, const TemplateDecl *Template, CodeCompletionBuilder &Result, unsigned MaxParameters=0, unsigned Start=0, bool InDefaultArg=false)
Add template parameter chunks to the given code completion string.
static void AddQualifierToCompletionString(CodeCompletionBuilder &Result, NestedNameSpecifier Qualifier, bool QualifierIsInformative, ASTContext &Context, const PrintingPolicy &Policy)
Add a qualifier to the given code-completion string, if the provided nested-name-specifier is non-NUL...
static void AddObjCTopLevelResults(ResultBuilder &Results, bool NeedAt)
static void AddFunctionParameterChunks(Preprocessor &PP, const PrintingPolicy &Policy, const FunctionDecl *Function, CodeCompletionBuilder &Result, unsigned Start=0, bool InOptional=false)
Add function parameter chunks to the given code completion string.
llvm::SmallPtrSet< const IdentifierInfo *, 16 > AddedPropertiesSet
The set of properties that have already been added, referenced by property name.
static bool argMatchesTemplateParams(const ParsedTemplateArgument &Arg, unsigned Index, const TemplateParameterList &Params)
static void setInBaseClass(ResultBuilder::Result &R)
static void AddObjCMethods(ObjCContainerDecl *Container, bool WantInstanceMethods, ObjCMethodKind WantKind, ArrayRef< const IdentifierInfo * > SelIdents, DeclContext *CurContext, VisitedSelectorSet &Selectors, bool AllowSameLength, ResultBuilder &Results, bool InOriginalClass=true, bool IsRootClass=false)
Add all of the Objective-C methods in the given Objective-C container to the set of results.
static bool shouldIgnoreDueToReservedName(const NamedDecl *ND, Sema &SemaRef)
static CodeCompletionString * createTemplateSignatureString(const TemplateDecl *TD, CodeCompletionBuilder &Builder, unsigned CurrentArg, const PrintingPolicy &Policy)
static QualType getParamType(Sema &SemaRef, ArrayRef< ResultCandidate > Candidates, unsigned N)
Get the type of the Nth parameter from a given set of overload candidates.
static void AddStorageSpecifiers(SemaCodeCompletion::ParserCompletionContext CCC, const LangOptions &LangOpts, ResultBuilder &Results)
static const NamedDecl * extractFunctorCallOperator(const NamedDecl *ND)
static void AddFunctionSpecifiers(SemaCodeCompletion::ParserCompletionContext CCC, const LangOptions &LangOpts, ResultBuilder &Results)
static QualType ProduceSignatureHelp(Sema &SemaRef, MutableArrayRef< ResultCandidate > Candidates, unsigned CurrentArg, SourceLocation OpenParLoc, bool Braced)
static std::string FormatFunctionParameter(const PrintingPolicy &Policy, const DeclaratorDecl *Param, bool SuppressName=false, bool SuppressBlock=false, std::optional< ArrayRef< QualType > > ObjCSubsts=std::nullopt)
static RecordDecl * getAsRecordDecl(QualType BaseType, HeuristicResolver &Resolver)
static void AddOverrideResults(ResultBuilder &Results, const CodeCompletionContext &CCContext, CodeCompletionBuilder &Builder)
static std::string formatObjCParamQualifiers(unsigned ObjCQuals, QualType &Type)
llvm::SmallPtrSet< Selector, 16 > VisitedSelectorSet
A set of selectors, which is used to avoid introducing multiple completions with the same selector in...
static void AddOverloadAggregateChunks(const RecordDecl *RD, const PrintingPolicy &Policy, CodeCompletionBuilder &Result, unsigned CurrentArg)
static void AddTypedefResult(ResultBuilder &Results)
static void AddPrettyFunctionResults(const LangOptions &LangOpts, ResultBuilder &Results)
static void AddObjCPassingTypeChunk(QualType Type, unsigned ObjCDeclQuals, ASTContext &Context, const PrintingPolicy &Policy, CodeCompletionBuilder &Builder)
Add the parenthesized return or parameter type chunk to a code completion string.
static void AddObjCKeyValueCompletions(ObjCPropertyDecl *Property, bool IsInstanceMethod, QualType ReturnType, ASTContext &Context, VisitedSelectorSet &KnownSelectors, ResultBuilder &Results)
Add code completions for Objective-C Key-Value Coding (KVC) and Key-Value Observing (KVO).
static void AddObjCStatementResults(ResultBuilder &Results, bool NeedAt)
static bool ObjCPropertyFlagConflicts(unsigned Attributes, unsigned NewFlag)
Determine whether the addition of the given flag to an Objective-C property's attributes will cause a...
static void AddEnumerators(ResultBuilder &Results, ASTContext &Context, EnumDecl *Enum, DeclContext *CurContext, const CoveredEnumerators &Enumerators)
llvm::DenseMap< Selector, llvm::PointerIntPair< ObjCMethodDecl *, 1, bool > > KnownMethodsMap
static const FunctionProtoType * TryDeconstructFunctionLike(QualType T)
Try to find a corresponding FunctionProtoType for function-like types (e.g.
static DeclContext::lookup_result getConstructors(ASTContext &Context, const CXXRecordDecl *Record)
static void AddResultTypeChunk(ASTContext &Context, const PrintingPolicy &Policy, const NamedDecl *ND, QualType BaseType, CodeCompletionBuilder &Result)
If the given declaration has an associated type, add it as a result type chunk.
static void AddObjCVisibilityResults(const LangOptions &LangOpts, ResultBuilder &Results, bool NeedAt)
static void addThisCompletion(Sema &S, ResultBuilder &Results)
Add a completion for "this", if we're in a member function.
static NestedNameSpecifier getRequiredQualification(ASTContext &Context, const DeclContext *CurContext, const DeclContext *TargetContext)
Compute the qualification required to get from the current context (CurContext) to the target context...
static void AddObjCImplementationResults(const LangOptions &LangOpts, ResultBuilder &Results, bool NeedAt)
static ObjCMethodDecl * AddSuperSendCompletion(Sema &S, bool NeedSuperKeyword, ArrayRef< const IdentifierInfo * > SelIdents, ResultBuilder &Results)
static void AddRecordMembersCompletionResults(Sema &SemaRef, ResultBuilder &Results, Scope *S, QualType BaseType, ExprValueKind BaseKind, RecordDecl *RD, std::optional< FixItHint > AccessOpFixIt)
static void AddObjCBlockCall(ASTContext &Context, const PrintingPolicy &Policy, CodeCompletionBuilder &Builder, const NamedDecl *BD, const FunctionTypeLoc &BlockLoc, const FunctionProtoTypeLoc &BlockProtoLoc)
Adds a block invocation code completion result for the given block declaration BD.
static void AddLambdaCompletion(ResultBuilder &Results, llvm::ArrayRef< QualType > Parameters, const LangOptions &LangOpts)
Adds a pattern completion for a lambda expression with the specified parameter types and placeholders...
static void AddFunctionTypeQuals(CodeCompletionBuilder &Result, const Qualifiers Quals)
static void AddTypeSpecifierResults(const LangOptions &LangOpts, ResultBuilder &Results)
Add type specifiers for the current language as keyword results.
static std::optional< unsigned > getNextAggregateIndexAfterDesignatedInit(const ResultCandidate &Aggregate, ArrayRef< Expr * > Args)
static std::string GetDefaultValueString(const ParmVarDecl *Param, const SourceManager &SM, const LangOptions &LangOpts)
static CodeCompletionContext mapCodeCompletionContext(Sema &S, SemaCodeCompletion::ParserCompletionContext PCC)
static void AddInterfaceResults(DeclContext *Ctx, DeclContext *CurContext, bool OnlyForwardDeclarations, bool OnlyUnimplemented, ResultBuilder &Results)
Add all of the Objective-C interface declarations that we find in the given (translation unit) contex...
static OverloadCompare compareOverloads(const CXXMethodDecl &Candidate, const CXXMethodDecl &Incumbent, const Qualifiers &ObjectQuals, ExprValueKind ObjectKind, const ASTContext &Ctx)
static void FindImplementableMethods(ASTContext &Context, ObjCContainerDecl *Container, std::optional< bool > WantInstanceMethods, QualType ReturnType, KnownMethodsMap &KnownMethods, bool InOriginalClass=true)
Find all of the methods that reside in the given container (and its superclasses, protocols,...
static bool anyNullArguments(ArrayRef< Expr * > Args)
static const char * noUnderscoreAttrScope(llvm::StringRef Scope)
static void AddFunctionTypeQualsToCompletionString(CodeCompletionBuilder &Result, const FunctionDecl *Function)
static void MaybeAddSentinel(Preprocessor &PP, const NamedDecl *FunctionOrMethod, CodeCompletionBuilder &Result)
static void AddOverloadParameterChunks(ASTContext &Context, const PrintingPolicy &Policy, const FunctionDecl *Function, const FunctionProtoType *Prototype, FunctionProtoTypeLoc PrototypeLoc, CodeCompletionBuilder &Result, unsigned CurrentArg, unsigned Start=0, bool InOptional=false)
Add function overload parameter chunks to the given code completion string.
static void AddObjCProperties(const CodeCompletionContext &CCContext, ObjCContainerDecl *Container, bool AllowCategories, bool AllowNullaryMethods, DeclContext *CurContext, AddedPropertiesSet &AddedProperties, ResultBuilder &Results, bool IsBaseExprStatement=false, bool IsClassProperty=false, bool InOriginalClass=true)
static void HandleCodeCompleteResults(Sema *S, CodeCompleteConsumer *CodeCompleter, const CodeCompletionContext &Context, CodeCompletionResult *Results, unsigned NumResults)
static void AddTypeQualifierResults(DeclSpec &DS, ResultBuilder &Results, const LangOptions &LangOpts)
static void MaybeAddOverrideCalls(Sema &S, DeclContext *InContext, ResultBuilder &Results)
If we're in a C++ virtual member function, add completion results that invoke the functions we overri...
static ObjCContainerDecl * getContainerDef(ObjCContainerDecl *Container)
Retrieve the container definition, if any?
static const char * underscoreAttrScope(llvm::StringRef Scope)
static bool isAcceptableObjCMethod(ObjCMethodDecl *Method, ObjCMethodKind WantKind, ArrayRef< const IdentifierInfo * > SelIdents, bool AllowSameLength=true)
static void AddFunctionExceptSpecToCompletionString(std::string &NameAndSignature, const FunctionDecl *Function)
static void AddObjCExpressionResults(ResultBuilder &Results, bool NeedAt)
static bool WantTypesInContext(SemaCodeCompletion::ParserCompletionContext CCC, const LangOptions &LangOpts)
CodeCompleteConsumer::OverloadCandidate ResultCandidate
static std::string templateResultType(const TemplateDecl *TD, const PrintingPolicy &Policy)
static void AddTypedNameChunk(ASTContext &Context, const PrintingPolicy &Policy, const NamedDecl *ND, CodeCompletionBuilder &Result)
Add the name of the given declaration.
static void AddClassMessageCompletions(Sema &SemaRef, Scope *S, ParsedType Receiver, ArrayRef< const IdentifierInfo * > SelIdents, bool AtArgumentExpression, bool IsSuper, ResultBuilder &Results)
static const char * GetCompletionTypeString(QualType T, ASTContext &Context, const PrintingPolicy &Policy, CodeCompletionAllocator &Allocator)
Retrieve the string representation of the given type as a string that has the appropriate lifetime fo...
static bool InheritsFromClassNamed(ObjCInterfaceDecl *Class, StringRef Name)
Determine whether the given class is or inherits from a class by the given name.
#define OBJC_AT_KEYWORD_NAME(NeedAt, Keyword)
Macro that optionally prepends an "@" to the string literal passed in via Keyword,...
static bool isAcceptableObjCSelector(Selector Sel, ObjCMethodKind WantKind, ArrayRef< const IdentifierInfo * > SelIdents, bool AllowSameLength=true)
static QualType getPreferredTypeOfBinaryRHS(Sema &S, Expr *LHS, tok::TokenKind Op)
static void AddOrdinaryNameResults(SemaCodeCompletion::ParserCompletionContext CCC, Scope *S, Sema &SemaRef, ResultBuilder &Results)
Add language constructs that show up for "ordinary" names.
static QualType getPreferredTypeOfUnaryArg(Sema &S, QualType ContextType, tok::TokenKind Op)
Get preferred type for an argument of an unary expression.
static void AddUsingAliasResult(CodeCompletionBuilder &Builder, ResultBuilder &Results)
static ObjCInterfaceDecl * GetAssumedMessageSendExprType(Expr *E)
When we have an expression with type "id", we may assume that it has some more-specific class type ba...
ObjCMethodKind
Describes the kind of Objective-C method that we want to find via code completion.
@ MK_OneArgSelector
One-argument selector.
@ MK_ZeroArgSelector
Zero-argument (unary) selector.
@ MK_Any
Any kind of method, provided it means other specified criteria.
static void mergeCandidatesWithResults(Sema &SemaRef, SmallVectorImpl< ResultCandidate > &Results, OverloadCandidateSet &CandidateSet, SourceLocation Loc, size_t ArgSize)
static void AddProtocolResults(DeclContext *Ctx, DeclContext *CurContext, bool OnlyForwardDeclarations, ResultBuilder &Results)
Add all of the protocol declarations that we find in the given (translation unit) context.
static void AddStaticAssertResult(CodeCompletionBuilder &Builder, ResultBuilder &Results, const LangOptions &LangOpts)
static QualType getDesignatedType(QualType BaseType, const Designation &Desig, HeuristicResolver &Resolver)
static void AddObjCInterfaceResults(const LangOptions &LangOpts, ResultBuilder &Results, bool NeedAt)
static bool isNamespaceScope(Scope *S)
Determine whether this scope denotes a namespace.
static PrintingPolicy getCompletionPrintingPolicy(const ASTContext &Context, const Preprocessor &PP)
This file declares facilities that support code completion.
This file declares semantic analysis for Objective-C.
static TemplateDecl * getDescribedTemplate(Decl *Templated)
Defines various enumerations that describe declaration and type specifiers.
C Language Family Type Representation.
pointer(const DeclIndexPair &Value)
const DeclIndexPair * operator->() const
pointer operator->() const
reference operator*() const
std::ptrdiff_t difference_type
friend bool operator!=(const iterator &X, const iterator &Y)
iterator(const NamedDecl *SingleDecl, unsigned Index)
std::input_iterator_tag iterator_category
iterator(const DeclIndexPair *Iterator)
friend bool operator==(const iterator &X, const iterator &Y)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
QualType getBaseElementType(const ArrayType *VAT) const
Return the innermost element type of an array type.
QualType getPointerDiffType() const
Return the unique type for "ptrdiff_t" (C99 7.17) defined in <stddef.h>.
const RawComment * getRawCommentForAnyRedecl(const Decl *D, const Decl **OriginalDecl=nullptr) const
Return the documentation comment attached to a given declaration.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
QualType getTagType(ElaboratedTypeKeyword Keyword, NestedNameSpecifier Qualifier, const TagDecl *TD, bool OwnsTag) const
QualType getElementType() const
Syntax
The style used to specify an attribute.
Type source information for an attributed type.
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Wrapper for source info for block pointers.
This class is used for builtin types like 'int'.
Represents a base class of a C++ class.
Represents a C++ constructor within a class.
bool isArrow() const
Determine whether this member expression used the '->' operator; otherwise, it used the '.
QualType getBaseType() const
DeclarationName getMember() const
Retrieve the name of the member that this expression refers to.
Represents a static or instance method of a struct/union/class.
overridden_method_range overridden_methods() const
RefQualifierKind getRefQualifier() const
Retrieve the ref-qualifier associated with this method.
Qualifiers getMethodQualifiers() const
Represents a C++ struct/union/class.
bool isAggregate() const
Determine whether this class is an aggregate (C++ [dcl.init.aggr]), which is a class with no user-dec...
CXXRecordDecl * getDefinition() const
base_class_range vbases()
CXXRecordDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
bool isDerivedFrom(const CXXRecordDecl *Base) const
Determine whether this class is derived from the class Base.
Represents a C++ nested-name-specifier or a global scope specifier.
NestedNameSpecifier getScopeRep() const
Retrieve the representation of the nested-name-specifier.
bool isInvalid() const
An error occurred during parsing of the scope specifier.
bool isEmpty() const
No scope specifier.
CaseStmt - Represent a case statement.
Represents a character-granular source range.
static CharSourceRange getTokenRange(SourceRange R)
Declaration of a class template.
CodeCompletionString * CreateSignatureString(unsigned CurrentArg, Sema &S, CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo, bool IncludeBriefComments, bool Braced) const
Create a new code-completion string that describes the function signature of this overload candidate.
const FunctionType * getFunctionType() const
Retrieve the function type of the entity, regardless of how the function is stored.
const TemplateDecl * getTemplate() const
CandidateKind getKind() const
Determine the kind of overload candidate.
const RecordDecl * getAggregate() const
Retrieve the aggregate type being initialized.
FunctionDecl * getFunction() const
Retrieve the function overload candidate or the templated function declaration for a function templat...
const FunctionProtoTypeLoc getFunctionProtoTypeLoc() const
Retrieve the function ProtoTypeLoc candidate.
@ CK_Aggregate
The candidate is aggregate initialization of a record type.
@ CK_Template
The candidate is a template, template arguments are being completed.
unsigned getNumParams() const
Get the number of parameters in this signature.
Abstract interface for a consumer of code-completion information.
bool includeGlobals() const
Whether to include global (top-level) declaration results.
virtual void ProcessCodeCompleteResults(Sema &S, CodeCompletionContext Context, CodeCompletionResult *Results, unsigned NumResults)
Process the finalized code-completion results.
bool loadExternal() const
Hint whether to load data from the external AST in order to provide full results.
virtual void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg, OverloadCandidate *Candidates, unsigned NumCandidates, SourceLocation OpenParLoc, bool Braced)
An allocator used specifically for the purpose of code completion.
const char * CopyString(const Twine &String)
Copy the given string into this allocator.
A builder class used to construct new code-completion strings.
CodeCompletionString * TakeString()
Take the resulting completion string.
void AddPlaceholderChunk(const char *Placeholder)
Add a new placeholder chunk.
void AddTextChunk(const char *Text)
Add a new text chunk.
void AddCurrentParameterChunk(const char *CurrentParameter)
Add a new current-parameter chunk.
void AddOptionalChunk(CodeCompletionString *Optional)
Add a new optional chunk.
void AddTypedTextChunk(const char *Text)
Add a new typed-text chunk.
void AddChunk(CodeCompletionString::ChunkKind CK, const char *Text="")
Add a new chunk.
CodeCompletionAllocator & getAllocator() const
Retrieve the allocator into which the code completion strings should be allocated.
The context in which code completion occurred, so that the code-completion consumer can process the r...
Kind getKind() const
Retrieve the kind of code-completion context.
void setCXXScopeSpecifier(CXXScopeSpec SS)
Sets the scope specifier that comes before the completion token.
@ CCC_TypeQualifiers
Code completion within a type-qualifier list.
@ CCC_ObjCMessageReceiver
Code completion occurred where an Objective-C message receiver is expected.
@ CCC_PreprocessorExpression
Code completion occurred within a preprocessor expression.
@ CCC_ObjCCategoryName
Code completion where an Objective-C category name is expected.
@ CCC_ObjCIvarList
Code completion occurred within the instance variable list of an Objective-C interface,...
@ CCC_Statement
Code completion occurred where a statement (or declaration) is expected in a function,...
@ CCC_Type
Code completion occurred where a type name is expected.
@ CCC_ArrowMemberAccess
Code completion occurred on the right-hand side of a member access expression using the arrow operato...
@ CCC_ClassStructUnion
Code completion occurred within a class, struct, or union.
@ CCC_ObjCInterface
Code completion occurred within an Objective-C interface, protocol, or category interface.
@ CCC_ObjCPropertyAccess
Code completion occurred on the right-hand side of an Objective-C property access expression.
@ CCC_Expression
Code completion occurred where an expression is expected.
@ CCC_SelectorName
Code completion for a selector, as in an @selector expression.
@ CCC_TopLevelOrExpression
Code completion at a top level, i.e.
@ CCC_EnumTag
Code completion occurred after the "enum" keyword, to indicate an enumeration name.
@ CCC_UnionTag
Code completion occurred after the "union" keyword, to indicate a union name.
@ CCC_ParenthesizedExpression
Code completion in a parenthesized expression, which means that we may also have types here in C and ...
@ CCC_TopLevel
Code completion occurred within a "top-level" completion context, e.g., at namespace or global scope.
@ CCC_ClassOrStructTag
Code completion occurred after the "struct" or "class" keyword, to indicate a struct or class name.
@ CCC_ObjCClassMessage
Code completion where an Objective-C class message is expected.
@ CCC_ObjCImplementation
Code completion occurred within an Objective-C implementation or category implementation.
@ CCC_IncludedFile
Code completion inside the filename part of a include directive.
@ CCC_ObjCInstanceMessage
Code completion where an Objective-C instance message is expected.
@ CCC_SymbolOrNewName
Code completion occurred where both a new name and an existing symbol is permissible.
@ CCC_Recovery
An unknown context, in which we are recovering from a parsing error and don't know which completions ...
@ CCC_ObjCProtocolName
Code completion occurred where a protocol name is expected.
@ CCC_NewName
Code completion occurred where a new name is expected.
@ CCC_MacroNameUse
Code completion occurred where a macro name is expected (without any arguments, in the case of a func...
@ CCC_Symbol
Code completion occurred where an existing name(such as type, functionor variable) is expected.
@ CCC_Attribute
Code completion of an attribute name.
@ CCC_Other
An unspecified code-completion context.
@ CCC_DotMemberAccess
Code completion occurred on the right-hand side of a member access expression using the dot operator.
@ CCC_MacroName
Code completion occurred where an macro is being defined.
@ CCC_Namespace
Code completion occurred where a namespace or namespace alias is expected.
@ CCC_PreprocessorDirective
Code completion occurred where a preprocessor directive is expected.
@ CCC_NaturalLanguage
Code completion occurred in a context where natural language is expected, e.g., a comment or string l...
@ CCC_ObjCInterfaceName
Code completion where the name of an Objective-C class is expected.
@ CCC_ObjCClassForwardDecl
QualType getBaseType() const
Retrieve the type of the base object in a member-access expression.
void setPreferredType(QualType T)
bool wantConstructorResults() const
Determines whether we want C++ constructors as results within this context.
void setIsUsingDeclaration(bool V)
Captures a result of code completion.
bool DeclaringEntity
Whether we're completing a declaration of the given entity, rather than a use of that entity.
ResultKind Kind
The kind of result stored here.
const char * Keyword
When Kind == RK_Keyword, the string representing the keyword or symbol's spelling.
CXAvailabilityKind Availability
The availability of this result.
CodeCompletionString * CreateCodeCompletionString(Sema &S, const CodeCompletionContext &CCContext, CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo, bool IncludeBriefComments)
Create a new code-completion string that describes how to insert this result into a program.
bool QualifierIsInformative
Whether this result was found via lookup into a base class.
NestedNameSpecifier Qualifier
If the result should have a nested-name-specifier, this is it.
const NamedDecl * Declaration
When Kind == RK_Declaration or RK_Pattern, the declaration we are referring to.
CodeCompletionString * createCodeCompletionStringForDecl(Preprocessor &PP, ASTContext &Ctx, CodeCompletionBuilder &Result, bool IncludeBriefComments, const CodeCompletionContext &CCContext, PrintingPolicy &Policy)
CodeCompletionString * CreateCodeCompletionStringForMacro(Preprocessor &PP, CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo)
Creates a new code-completion string for the macro result.
unsigned StartParameter
Specifies which parameter (of a function, Objective-C method, macro, etc.) we should start with when ...
bool InBaseClass
Whether this is a class member from base class.
unsigned Priority
The priority of this particular code-completion result.
bool StartsNestedNameSpecifier
Whether this declaration is the beginning of a nested-name-specifier and, therefore,...
CodeCompletionString * Pattern
When Kind == RK_Pattern, the code-completion string that describes the completion text to insert.
bool FunctionCanBeCall
When completing a function, whether it can be a call.
bool AllParametersAreInformative
Whether all parameters (of a function, Objective-C method, etc.) should be considered "informative".
CodeCompletionString * createCodeCompletionStringForOverride(Preprocessor &PP, ASTContext &Ctx, CodeCompletionBuilder &Result, bool IncludeBriefComments, const CodeCompletionContext &CCContext, PrintingPolicy &Policy)
const IdentifierInfo * Macro
When Kind == RK_Macro, the identifier that refers to a macro.
@ RK_Pattern
Refers to a precomputed pattern.
@ RK_Declaration
Refers to a declaration.
@ RK_Macro
Refers to a macro.
@ RK_Keyword
Refers to a keyword or symbol.
A "string" used to describe how code completion can be performed for an entity.
@ CK_Optional
A code completion string that is entirely optional.
@ CK_CurrentParameter
A piece of text that describes the parameter that corresponds to the code-completion location within ...
@ CK_Comma
A comma separator (',').
@ CK_Placeholder
A string that acts as a placeholder for, e.g., a function call argument.
@ CK_LeftParen
A left parenthesis ('(').
@ CK_HorizontalSpace
Horizontal whitespace (' ').
@ CK_RightAngle
A right angle bracket ('>').
@ CK_LeftBracket
A left bracket ('[').
@ CK_RightParen
A right parenthesis (')').
@ CK_RightBrace
A right brace ('}').
@ CK_VerticalSpace
Vertical whitespace ('\n' or '\r\n', depending on the platform).
@ CK_SemiColon
A semicolon (';').
@ CK_TypedText
The piece of text that the user is expected to type to match the code-completion string,...
@ CK_RightBracket
A right bracket (']').
@ CK_LeftBrace
A left brace ('{').
@ CK_LeftAngle
A left angle bracket ('<').
Expr * getConstraintExpr() const
const TypeClass * getTypePtr() const
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
specific_decl_iterator - Iterates over a subrange of declarations stored in a DeclContext,...
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
DeclContext * getParent()
getParent - Returns the containing DeclContext.
bool Equals(const DeclContext *DC) const
Determine whether this declaration context is equivalent to the declaration context DC.
bool isRequiresExprBody() const
bool isFileContext() const
DeclContextLookupResult lookup_result
ASTContext & getParentASTContext() const
bool isDependentContext() const
Determines whether this context is dependent on a template parameter.
bool isTranslationUnit() const
DeclContext * getRedeclContext()
getRedeclContext - Retrieve the context in which an entity conflicts with other entities of the same ...
decl_iterator decls_end() const
decl_range decls() const
decls_begin/decls_end - Iterate over the declarations stored in this context.
bool isFunctionOrMethod() const
bool Encloses(const DeclContext *DC) const
Determine whether this declaration context semantically encloses the declaration context DC.
decl_iterator decls_begin() const
Captures information about "declaration specifiers".
static const TST TST_typename
TST getTypeSpecType() const
static const TST TST_interface
unsigned getTypeQualifiers() const
getTypeQualifiers - Return a set of TQs.
static const TST TST_union
TSC getTypeSpecComplex() const
ParsedType getRepAsType() const
static const TST TST_enum
static const TST TST_class
unsigned getParsedSpecifiers() const
Return a bitmask of which flavors of specifiers this DeclSpec includes.
bool isTypeAltiVecVector() const
TypeSpecifierSign getTypeSpecSign() const
static const TST TST_struct
Decl - This represents one declaration (or definition), e.g.
FriendObjectKind getFriendObjectKind() const
Determines whether this declaration is the object of a friend declaration and, if so,...
ASTContext & getASTContext() const LLVM_READONLY
@ FOK_Undeclared
A friend of a previously-undeclared entity.
FunctionDecl * getAsFunction() LLVM_READONLY
Returns the function itself, or the templated function if this is a function template.
ObjCDeclQualifier
ObjCDeclQualifier - 'Qualifiers' written next to the return and parameter types in method declaration...
@ OBJC_TQ_CSNullability
The nullability qualifier is set when the nullability of the result or parameter was expressed via a ...
unsigned getIdentifierNamespace() const
llvm::iterator_range< specific_attr_iterator< T > > specific_attrs() const
SourceLocation getLocation() const
@ IDNS_Ordinary
Ordinary names.
@ IDNS_Member
Members, declared with object declarations within tag definitions.
@ IDNS_ObjCProtocol
Objective C @protocol.
@ IDNS_Namespace
Namespaces, declared with 'namespace foo {}'.
@ IDNS_LocalExtern
This declaration is a function-local extern declaration of a variable or function.
@ IDNS_Tag
Tags, declared with 'struct foo;' and referenced with 'struct foo'.
DeclContext * getDeclContext()
AccessSpecifier getAccess() const
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
The name of a declaration.
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
void print(raw_ostream &OS, const PrintingPolicy &Policy) const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
@ CXXConversionFunctionName
QualType getCXXNameType() const
If this name is one of the C++ names (of a constructor, destructor, or conversion function),...
NameKind getNameKind() const
Determine what kind of name this is.
bool isIdentifier() const
Predicate functions for querying what type of name this is.
Represents a ValueDecl that came out of a declarator.
Information about one declarator, including the parsed type information and the identifier.
bool isFunctionDeclarator(unsigned &idx) const
isFunctionDeclarator - This method returns true if the declarator is a function declarator (looking t...
DeclaratorContext getContext() const
bool isCtorOrDtor()
Returns true if this declares a constructor or a destructor.
UnqualifiedId & getName()
Retrieve the name specified by this declarator.
bool isStaticMember()
Returns true if this declares a static member.
DeclaratorChunk::FunctionTypeInfo & getFunctionTypeInfo()
getFunctionTypeInfo - Retrieves the function type info object (looking through parentheses).
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies this declaration.
DeclarationName getDeclName() const
Retrieve the name that this expression refers to.
Designation - Represent a full designation, which is a sequence of designators.
const Designator & getDesignator(unsigned Idx) const
unsigned getNumDesignators() const
DirectoryLookup - This class represents one entry in the search list that specifies the search order ...
virtual bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS)
This represents one expression.
Expr * IgnoreParenCasts() LLVM_READONLY
Skip past any parentheses and casts which might surround this expression until reaching a fixed point...
bool isTypeDependent() const
Determines whether the type of this expression depends on.
virtual Selector GetExternalSelector(uint32_t ID)
Resolve a selector ID into a selector.
virtual uint32_t GetNumExternalSelectors()
Returns the number of selectors known to the external AST source.
Represents a member of a struct/union/class.
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
Represents a function declaration or definition.
unsigned getMinRequiredArguments() const
Returns the minimum number of arguments needed to call this function.
ArrayRef< ParmVarDecl * > parameters() const
bool isVariadic() const
Whether this function is variadic.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
Represents a prototype with parameter type info, e.g.
ExceptionSpecInfo getExceptionSpecInfo() const
Return all the available information about this type's exception spec.
bool isVariadic() const
Whether this function prototype is variadic.
Declaration of a template function.
Wrapper for source info for functions.
unsigned getNumParams() const
ParmVarDecl * getParam(unsigned i) const
TypeLoc getReturnLoc() const
FunctionType - C99 6.7.5.3 - Function Declarators.
QualType getReturnType() const
QualType simplifyType(QualType Type, const Expr *E, bool UnwrapPointer)
TagDecl * resolveTypeToTagDecl(QualType T) const
QualType resolveExprToType(const Expr *E) const
One of these records is kept for each identifier that is lexed.
unsigned getLength() const
Efficiently return the length of this identifier info.
bool isStr(const char(&Str)[StrLen]) const
Return true if this is the identifier for the specified string.
StringRef deuglifiedName() const
If the identifier is an "uglified" reserved name, return a cleaned form.
StringRef getName() const
Return the actual identifier string.
A simple pair of identifier info and location.
const TypeClass * getTypePtr() const
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
static StringRef getSourceText(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts, bool *Invalid=nullptr)
Returns a string for the source that the range encompasses.
Represents the results of name lookup.
const UnresolvedSetImpl & asUnresolvedSet() const
void suppressDiagnostics()
Suppress the diagnostics that would normally fire because of this lookup.
Encapsulates the data about a macro definition (e.g.
bool isC99Varargs() const
bool isFunctionLike() const
param_iterator param_begin() const
IdentifierInfo *const * param_iterator
Parameters - The list of parameters for a function-like macro.
param_iterator param_end() const
bool isUsedForHeaderGuard() const
Determine whether this macro was used for a header guard.
Describes a module or submodule.
@ AllVisible
All of the names in this module are visible.
ModuleKind Kind
The kind of this module.
llvm::iterator_range< submodule_iterator > submodules()
@ ImplicitGlobalModuleFragment
This is an implicit fragment of the global module which contains only language linkage declarations (...
@ ModulePartitionInterface
This is a C++20 module partition interface.
@ ModuleInterfaceUnit
This is a C++20 module interface unit.
@ PrivateModuleFragment
This is the private module fragment within some C++ module.
@ ExplicitGlobalModuleFragment
This is the explicit Global Module Fragment of a modular TU.
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
std::string getNameAsString() const
Get a human-readable name for the declaration, even if it is one of the special kinds of names (C++ c...
ReservedIdentifierStatus isReserved(const LangOptions &LangOpts) const
Determine if the declaration obeys the reserved identifier rules of the given language.
Represent a C++ namespace.
NestedNameSpecifier getNestedNameSpecifier() const
Retrieve the nested-name-specifier to which this instance refers.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
void print(raw_ostream &OS, const PrintingPolicy &Policy, bool ResolveTemplateArguments=false, bool PrintFinalScopeResOp=true) const
Print this nested name specifier to the given output stream.
bool isDependent() const
Whether this nested name specifier refers to a dependent type or not.
const Type * getAsType() const
@ Type
A type, stored as a Type*.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
ObjCCategoryDecl - Represents a category declaration.
ObjCCategoryImplDecl - An object of this class encapsulates a category @implementation declaration.
ObjCContainerDecl - Represents a container for method declarations.
method_range methods() const
instprop_range instance_properties() const
classprop_range class_properties() const
Captures information about "declaration specifiers" specific to Objective-C.
ObjCPropertyAttribute::Kind getPropertyAttributes() const
ObjCDeclQualifier getObjCDeclQualifier() const
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Represents an ObjC class declaration.
bool hasDefinition() const
Determine whether this class has been defined.
protocol_range protocols() const
known_categories_range known_categories() const
ObjCImplementationDecl * getImplementation() const
visible_categories_range visible_categories() const
ObjCInterfaceDecl * getSuperClass() const
ObjCIvarDecl - Represents an ObjC instance variable.
ObjCList - This is a simple template class used to hold various lists of decls etc,...
@ SuperInstance
The receiver is the instance of the superclass object.
@ Instance
The receiver is an object instance.
@ SuperClass
The receiver is a superclass.
@ Class
The receiver is a class.
ObjCMethodDecl - Represents an instance or class method declaration.
unsigned param_size() const
param_const_iterator param_end() const
param_const_iterator param_begin() const
const ParmVarDecl *const * param_const_iterator
Selector getSelector() const
bool isInstanceMethod() const
ParmVarDecl *const * param_iterator
ObjCInterfaceDecl * getClassInterface()
Represents a pointer to an Objective C object.
ObjCInterfaceDecl * getInterfaceDecl() const
If this pointer points to an Objective @interface type, gets the declaration for that interface.
Represents one property declaration in an Objective-C interface.
static ObjCPropertyDecl * findPropertyDecl(const DeclContext *DC, const IdentifierInfo *propertyID, ObjCPropertyQueryKind queryKind)
Lookup a property by name in the specified DeclContext.
Selector getGetterName() const
Represents an Objective-C protocol declaration.
void * getAsOpaquePtr() const
static OpaquePtr make(QualType P)
OverloadCandidateSet - A set of overload candidates, used in C++ overload resolution (C++ 13....
@ CSK_CodeCompletion
When doing overload resolution during code completion, we want to show all viable candidates,...
CandidateSetKind getKind() const
Represents a parameter to a function.
Represents the parsed form of a C++ template argument.
KindType getKind() const
Determine what kind of template argument we have.
@ Type
A template type parameter, stored as a type.
@ Template
A template template argument, stored as a template name.
@ NonType
A non-type template parameter, stored as an expression.
PointerType - C99 6.7.5.1 - Pointer Declarators.
void enterFunctionArgument(SourceLocation Tok, llvm::function_ref< QualType()> ComputeType)
Computing a type for the function argument may require running overloading, so we postpone its comput...
void enterCondition(Sema &S, SourceLocation Tok)
void enterTypeCast(SourceLocation Tok, QualType CastType)
Handles all type casts, including C-style cast, C++ casts, etc.
void enterMemAccess(Sema &S, SourceLocation Tok, Expr *Base)
void enterSubscript(Sema &S, SourceLocation Tok, Expr *LHS)
void enterUnary(Sema &S, SourceLocation Tok, tok::TokenKind OpKind, SourceLocation OpLoc)
void enterReturn(Sema &S, SourceLocation Tok)
void enterDesignatedInitializer(SourceLocation Tok, QualType BaseType, const Designation &D)
Handles e.g. BaseType{ .D = Tok...
void enterBinary(Sema &S, SourceLocation Tok, Expr *LHS, tok::TokenKind Op)
void enterParenExpr(SourceLocation Tok, SourceLocation LParLoc)
void enterVariableInit(SourceLocation Tok, Decl *D)
QualType get(SourceLocation Tok) const
Get the expected type associated with this location, if any.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
const MacroInfo * getMacroInfo(const IdentifierInfo *II) const
macro_iterator macro_begin(bool IncludeExternalMacros=true) const
macro_iterator macro_end(bool IncludeExternalMacros=true) const
SourceManager & getSourceManager() const
MacroDefinition getMacroDefinition(const IdentifierInfo *II)
bool isMacroDefined(StringRef Id)
MacroMap::const_iterator macro_iterator
const LangOptions & getLangOpts() const
bool isCodeCompletionReached() const
Returns true if code-completion is enabled and we have hit the code-completion point.
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
void getAsStringInternal(std::string &Str, const PrintingPolicy &Policy) const
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
QualType substObjCTypeArgs(ASTContext &ctx, ArrayRef< QualType > typeArgs, ObjCSubstitutionContext context) const
Substitute type arguments for the Objective-C type parameters used in the subject type.
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
Wrapper of type source information for a type with non-trivial direct qualifiers.
The collection of all-type qualifiers we support.
bool hasOnlyConst() const
bool compatiblyIncludes(Qualifiers other, const ASTContext &Ctx) const
Determines if these qualifiers compatibly include another set.
bool hasOnlyVolatile() const
bool hasOnlyRestrict() const
Represents a struct/union/class.
bool isLambda() const
Determine whether this record is a class describing a lambda function object.
field_range fields() const
Base for LValueReferenceType and RValueReferenceType.
QualType getPointeeType() const
Scope - A scope is a transient data structure that is used while parsing the program.
bool isClassScope() const
isClassScope - Return true if this scope is a class/struct/union scope.
const Scope * getFnParent() const
getFnParent - Return the closest scope that is a function body.
unsigned getFlags() const
getFlags - Return the flags for this scope.
Scope * getContinueParent()
getContinueParent - Return the closest scope that a continue statement would be affected by.
bool isDeclScope(const Decl *D) const
isDeclScope - Return true if this is the scope that the specified decl is declared in.
DeclContext * getEntity() const
Get the entity corresponding to this scope.
bool isTemplateParamScope() const
isTemplateParamScope - Return true if this scope is a C++ template parameter scope.
Scope * getBreakParent()
getBreakParent - Return the closest scope that a break statement would be affected by.
const Scope * getParent() const
getParent - Return the scope that this is nested in.
bool isClassInheritanceScope() const
Determines whether this scope is between inheritance colon and the real class/struct definition.
@ FunctionPrototypeScope
This is a scope that corresponds to the parameters within a function prototype.
@ AtCatchScope
This is a scope that corresponds to the Objective-C @catch statement.
@ TemplateParamScope
This is a scope that corresponds to the template parameters of a C++ template.
@ ClassScope
The scope of a struct/union/class definition.
@ DeclScope
This is a scope that can contain a declaration.
This table allows us to fully hide how we implement multi-keyword caching.
Selector getNullarySelector(const IdentifierInfo *ID)
Selector getSelector(unsigned NumArgs, const IdentifierInfo **IIV)
Can create any sort of selector.
Selector getUnarySelector(const IdentifierInfo *ID)
Smart pointer class that efficiently represents Objective-C method names.
StringRef getNameForSlot(unsigned argIndex) const
Retrieve the name at a given position in the selector.
const IdentifierInfo * getIdentifierInfoForSlot(unsigned argIndex) const
Retrieve the identifier at a given position in the selector.
bool isUnarySelector() const
bool isNull() const
Determine whether this is the empty selector.
unsigned getNumArgs() const
ASTContext & getASTContext() const
const LangOptions & getLangOpts() const
void CodeCompleteObjCInstanceMessage(Scope *S, Expr *Receiver, ArrayRef< const IdentifierInfo * > SelIdents, bool AtArgumentExpression, ObjCInterfaceDecl *Super=nullptr)
void CodeCompleteObjCPropertySynthesizeIvar(Scope *S, IdentifierInfo *PropertyName)
void CodeCompleteAttribute(AttributeCommonInfo::Syntax Syntax, AttributeCompletion Completion=AttributeCompletion::Attribute, const IdentifierInfo *Scope=nullptr)
QualType ProduceTemplateArgumentSignatureHelp(TemplateTy, ArrayRef< ParsedTemplateArgument >, SourceLocation LAngleLoc)
QualType ProduceCtorInitMemberSignatureHelp(Decl *ConstructorDecl, CXXScopeSpec SS, ParsedType TemplateTypeTy, ArrayRef< Expr * > ArgExprs, IdentifierInfo *II, SourceLocation OpenParLoc, bool Braced)
void CodeCompleteObjCClassForwardDecl(Scope *S)
void CodeCompleteNamespaceAliasDecl(Scope *S)
void GatherGlobalCodeCompletions(CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo, SmallVectorImpl< CodeCompletionResult > &Results)
void CodeCompleteObjCAtStatement(Scope *S)
void CodeCompleteUsing(Scope *S)
void CodeCompleteObjCMessageReceiver(Scope *S)
void CodeCompleteOperatorName(Scope *S)
void CodeCompleteUsingDirective(Scope *S)
void CodeCompleteObjCProtocolDecl(Scope *S)
void CodeCompleteObjCPropertyFlags(Scope *S, ObjCDeclSpec &ODS)
ParserCompletionContext
Describes the context in which code completion occurs.
@ PCC_LocalDeclarationSpecifiers
Code completion occurs within a sequence of declaration specifiers within a function,...
@ PCC_MemberTemplate
Code completion occurs following one or more template headers within a class.
@ PCC_Condition
Code completion occurs within the condition of an if, while, switch, or for statement.
@ PCC_ParenthesizedExpression
Code completion occurs in a parenthesized expression, which might also be a type cast.
@ PCC_TopLevelOrExpression
Code completion occurs at top-level in a REPL session.
@ PCC_Class
Code completion occurs within a class, struct, or union.
@ PCC_ForInit
Code completion occurs at the beginning of the initialization statement (or expression) in a for loop...
@ PCC_Type
Code completion occurs where only a type is permitted.
@ PCC_ObjCImplementation
Code completion occurs within an Objective-C implementation or category implementation.
@ PCC_ObjCInterface
Code completion occurs within an Objective-C interface, protocol, or category.
@ PCC_Namespace
Code completion occurs at top-level or namespace context.
@ PCC_Expression
Code completion occurs within an expression.
@ PCC_RecoveryInFunction
Code completion occurs within the body of a function on a recovery path, where we do not have a speci...
@ PCC_ObjCInstanceVariableList
Code completion occurs within the list of instance variables in an Objective-C interface,...
@ PCC_Template
Code completion occurs following one or more template headers.
@ PCC_Statement
Code completion occurs within a statement, which may also be an expression or a declaration.
void CodeCompleteObjCAtDirective(Scope *S)
void CodeCompleteObjCPropertySetter(Scope *S)
void CodeCompleteLambdaIntroducer(Scope *S, LambdaIntroducer &Intro, bool AfterAmpersand)
void CodeCompleteCase(Scope *S)
void CodeCompleteObjCImplementationCategory(Scope *S, IdentifierInfo *ClassName, SourceLocation ClassNameLoc)
void CodeCompleteObjCInterfaceDecl(Scope *S)
void CodeCompleteFunctionQualifiers(DeclSpec &DS, Declarator &D, const VirtSpecifiers *VS=nullptr)
void CodeCompletePreprocessorMacroName(bool IsDefinition)
void CodeCompleteInPreprocessorConditionalExclusion(Scope *S)
void CodeCompleteObjCAtExpression(Scope *S)
void CodeCompletePreprocessorExpression()
void CodeCompleteTypeQualifiers(DeclSpec &DS)
void CodeCompleteObjCPropertyDefinition(Scope *S)
void CodeCompleteObjCSuperMessage(Scope *S, SourceLocation SuperLoc, ArrayRef< const IdentifierInfo * > SelIdents, bool AtArgumentExpression)
CodeCompleteConsumer * CodeCompleter
Code-completion consumer.
void CodeCompleteAfterFunctionEquals(Declarator &D)
QualType ProduceConstructorSignatureHelp(QualType Type, SourceLocation Loc, ArrayRef< Expr * > Args, SourceLocation OpenParLoc, bool Braced)
OpaquePtr< TemplateName > TemplateTy
void CodeCompleteExpression(Scope *S, const CodeCompleteExpressionData &Data)
Perform code-completion in an expression context when we know what type we're looking for.
HeuristicResolver Resolver
QualType ProduceCallSignatureHelp(Expr *Fn, ArrayRef< Expr * > Args, SourceLocation OpenParLoc)
Determines the preferred type of the current function argument, by examining the signatures of all po...
void CodeCompleteObjCMethodDeclSelector(Scope *S, bool IsInstanceMethod, bool AtParameterName, ParsedType ReturnType, ArrayRef< const IdentifierInfo * > SelIdents)
void CodeCompleteQualifiedId(Scope *S, CXXScopeSpec &SS, bool EnteringContext, bool IsUsingDeclaration, QualType BaseType, QualType PreferredType)
void CodeCompleteIncludedFile(llvm::StringRef Dir, bool IsAngled)
void CodeCompletePreprocessorMacroArgument(Scope *S, IdentifierInfo *Macro, MacroInfo *MacroInfo, unsigned Argument)
void CodeCompleteModuleImport(SourceLocation ImportLoc, ModuleIdPath Path)
void CodeCompleteObjCInterfaceCategory(Scope *S, IdentifierInfo *ClassName, SourceLocation ClassNameLoc)
void CodeCompleteObjCSelector(Scope *S, ArrayRef< const IdentifierInfo * > SelIdents)
void CodeCompleteConstructorInitializer(Decl *Constructor, ArrayRef< CXXCtorInitializer * > Initializers)
void CodeCompleteObjCImplementationDecl(Scope *S)
void CodeCompleteAfterIf(Scope *S, bool IsBracedThen)
void CodeCompleteObjCMethodDecl(Scope *S, std::optional< bool > IsInstanceMethod, ParsedType ReturnType)
void CodeCompleteOrdinaryName(Scope *S, ParserCompletionContext CompletionContext)
OpaquePtr< DeclGroupRef > DeclGroupPtrTy
void CodeCompleteNaturalLanguage()
void CodeCompleteObjCClassPropertyRefExpr(Scope *S, const IdentifierInfo &ClassName, SourceLocation ClassNameLoc, bool IsBaseExprStatement)
void CodeCompleteInitializer(Scope *S, Decl *D)
void CodeCompleteObjCProtocolReferences(ArrayRef< IdentifierLoc > Protocols)
void CodeCompleteNamespaceDecl(Scope *S)
void CodeCompleteDesignator(const QualType BaseType, llvm::ArrayRef< Expr * > InitExprs, const Designation &D)
Trigger code completion for a record of BaseType.
void CodeCompletePreprocessorDirective(bool InConditional)
SemaCodeCompletion(Sema &S, CodeCompleteConsumer *CompletionConsumer)
void CodeCompleteBracketDeclarator(Scope *S)
void CodeCompleteObjCSuperclass(Scope *S, IdentifierInfo *ClassName, SourceLocation ClassNameLoc)
void CodeCompleteKeywordAfterIf(bool AfterExclaim) const
void CodeCompleteObjCAtVisibility(Scope *S)
void CodeCompleteTag(Scope *S, unsigned TagSpec)
void CodeCompleteObjCClassMessage(Scope *S, ParsedType Receiver, ArrayRef< const IdentifierInfo * > SelIdents, bool AtArgumentExpression, bool IsSuper=false)
void CodeCompleteObjCForCollection(Scope *S, DeclGroupPtrTy IterationVar)
void CodeCompleteAvailabilityPlatformName()
void CodeCompleteMemberReferenceExpr(Scope *S, Expr *Base, Expr *OtherOpBase, SourceLocation OpLoc, bool IsArrow, bool IsBaseExprStatement, QualType PreferredType)
void CodeCompleteObjCPassingType(Scope *S, ObjCDeclSpec &DS, bool IsParameter)
void CodeCompleteObjCPropertyGetter(Scope *S)
void CodeCompleteDeclSpec(Scope *S, DeclSpec &DS, bool AllowNonIdentifiers, bool AllowNestedNameSpecifiers)
void CodeCompletePostfixExpression(Scope *S, ExprResult LHS, QualType PreferredType)
GlobalMethodPool MethodPool
Method Pool - allows efficient lookup when typechecking messages to "id".
void ReadMethodPool(Selector Sel)
Read the contents of the method pool for a given selector from external storage.
Sema - This implements semantic analysis and AST building for C.
QualType getCurrentThisType()
Try to retrieve the type of the 'this' pointer.
bool IsOverload(FunctionDecl *New, FunctionDecl *Old, bool UseMemberUsingDeclRules, bool ConsiderCudaAttrs=true)
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
@ LookupNestedNameSpecifierName
Look up of a name that precedes the '::' scope resolution operator in C++.
@ LookupMemberName
Member name lookup, which finds the names of class/struct/union members.
@ LookupTagName
Tag name lookup, which finds the names of enums, classes, structs, and unions.
@ LookupAnyName
Look up any declaration with any name.
Preprocessor & getPreprocessor() const
ASTContext & getASTContext() const
PrintingPolicy getPrintingPolicy() const
Retrieve a suitable printing policy for diagnostics.
ObjCMethodDecl * getCurMethodDecl()
getCurMethodDecl - If inside of a method body, this returns a pointer to the method decl for the meth...
const LangOptions & getLangOpts() const
void LookupVisibleDecls(Scope *S, LookupNameKind Kind, VisibleDeclConsumer &Consumer, bool IncludeGlobalScope=true, bool LoadExternal=true)
SemaCodeCompletion & CodeCompletion()
sema::FunctionScopeInfo * getCurFunction() const
Module * getCurrentModule() const
Get the module unit whose scope we are currently within.
sema::BlockScopeInfo * getCurBlock()
Retrieve the current block, if any.
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
ExternalSemaSource * getExternalSource() const
bool isAcceptableNestedNameSpecifier(const NamedDecl *SD, bool *CanCorrect=nullptr)
Determines whether the given declaration is an valid acceptable result for name lookup of a nested-na...
SourceManager & SourceMgr
static QualType GetTypeFromParser(ParsedType Ty, TypeSourceInfo **TInfo=nullptr)
void MarkDeducedTemplateParameters(const FunctionTemplateDecl *FunctionTemplate, llvm::SmallBitVector &Deduced)
Encodes a location in the source.
This class handles loading and caching of source files into memory.
SourceLocation getSpellingLoc(SourceLocation Loc) const
Given a SourceLocation object, return the spelling location referenced by the ID.
bool isInSystemHeader(SourceLocation Loc) const
Returns if a SourceLocation is in a system header.
A trivial tuple used to represent a source range.
SwitchStmt - This represents a 'switch' stmt.
Represents the declaration of a struct/union/class/enum.
A convenient class for passing around template argument information.
Represents a template argument.
QualType getAsType() const
Retrieve the type for a type template argument.
@ Type
The template argument is a type.
ArgKind getKind() const
Return the kind of stored template argument.
The base class of all kinds of template declarations (e.g., class, function, etc.).
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a C++ template name within the type system.
Stores a list of template parameters for a TemplateDecl and its derived classes.
NamedDecl * getParam(unsigned Idx)
NamedDecl ** iterator
Iterates through the template parameters in this list.
bool hasParameterPack() const
Determine whether this template parameter list contains a parameter pack.
ArrayRef< NamedDecl * > asArray()
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
bool hasDefaultArgument() const
Determine whether this template parameter has a default argument.
Declaration of a template type parameter.
The top declaration context.
void print(llvm::raw_ostream &OS, const PrintingPolicy &Policy) const
Represents a declaration of a type.
Base wrapper for a particular "section" of type source info.
UnqualTypeLoc getUnqualifiedLoc() const
Skips past any qualifiers, if this is qualified.
QualType getType() const
Get the type for which this source info wrapper provides information.
T getAs() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
TypeLoc IgnoreParens() const
T getAsAdjusted() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
A container of type source information.
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
The base class of the type hierarchy.
bool isBlockPointerType() const
bool isBooleanType() const
const ObjCObjectPointerType * getAsObjCQualifiedIdType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isPointerType() const
CanQualType getCanonicalTypeUnqualified() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
const ObjCObjectPointerType * getAsObjCInterfacePointerType() const
NestedNameSpecifier getPrefix() const
If this type represents a qualified-id, this returns its nested name specifier.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isObjCObjectOrInterfaceType() const
bool isMemberPointerType() const
bool isObjCIdType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isObjCObjectPointerType() const
bool isObjCQualifiedClassType() const
bool isObjCClassType() const
std::optional< ArrayRef< QualType > > getObjCSubstitutions(const DeclContext *dc) const
Retrieve the set of substitutions required when accessing a member of the Objective-C receiver type t...
const T * getAs() const
Member-template getAs<specific type>'.
Wrapper for source info for typedefs.
Represents a C++ unqualified-id that has been parsed.
void setIdentifier(const IdentifierInfo *Id, SourceLocation IdLoc)
Specify that this unqualified-id was parsed as an identifier.
void append(iterator I, iterator E)
A set of unresolved declarations.
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Represents a C++11 virt-specifier-seq.
bool isOverrideSpecified() const
bool isFinalSpecified() const
Consumes visible declarations found when searching for all visible names within a given scope or cont...
Retains information about a block that is currently being parsed.
QualType ReturnType
ReturnType - The target type of return statements in this context, or null if unknown.
SmallVector< SwitchInfo, 8 > SwitchStack
SwitchStack - This is the current set of active switch statements in the block.
@ CXCursor_ObjCInterfaceDecl
An Objective-C @interface.
@ CXCursor_Namespace
A C++ namespace.
@ CXCursor_TypedefDecl
A typedef.
@ CXCursor_CXXAccessSpecifier
An access specifier.
@ CXCursor_EnumConstantDecl
An enumerator constant.
@ CXCursor_ConversionFunction
A C++ conversion function.
@ CXCursor_ConceptDecl
a concept declaration.
@ CXCursor_ClassTemplate
A C++ class template.
@ CXCursor_UnionDecl
A C or C++ union.
@ CXCursor_ObjCSynthesizeDecl
An Objective-C @synthesize definition.
@ CXCursor_ParmDecl
A function or method parameter.
@ CXCursor_FieldDecl
A field (in C) or non-static data member (in C++) in a struct, union, or C++ class.
@ CXCursor_CXXMethod
A C++ class method.
@ CXCursor_EnumDecl
An enumeration.
@ CXCursor_ObjCClassMethodDecl
An Objective-C class method.
@ CXCursor_TranslationUnit
Cursor that represents the translation unit itself.
@ CXCursor_ClassTemplatePartialSpecialization
A C++ class template partial specialization.
@ CXCursor_ObjCProtocolDecl
An Objective-C @protocol declaration.
@ CXCursor_FunctionTemplate
A C++ function template.
@ CXCursor_ObjCImplementationDecl
An Objective-C @implementation.
@ CXCursor_NonTypeTemplateParameter
A C++ non-type template parameter.
@ CXCursor_FunctionDecl
A function.
@ CXCursor_ObjCPropertyDecl
An Objective-C @property declaration.
@ CXCursor_Destructor
A C++ destructor.
@ CXCursor_ObjCIvarDecl
An Objective-C instance variable.
@ CXCursor_TypeAliasTemplateDecl
@ CXCursor_ObjCCategoryImplDecl
An Objective-C @implementation for a category.
@ CXCursor_ObjCDynamicDecl
An Objective-C @dynamic definition.
@ CXCursor_MacroDefinition
@ CXCursor_VarDecl
A variable.
@ CXCursor_TemplateTypeParameter
A C++ template type parameter.
@ CXCursor_TemplateTemplateParameter
A C++ template template parameter.
@ CXCursor_UnexposedDecl
A declaration whose specific kind is not exposed via this interface.
@ CXCursor_ObjCInstanceMethodDecl
An Objective-C instance method.
@ CXCursor_StructDecl
A C or C++ struct.
@ CXCursor_UsingDeclaration
A C++ using declaration.
@ CXCursor_LinkageSpec
A linkage specification, e.g.
@ CXCursor_ClassDecl
A C++ class.
@ CXCursor_ObjCCategoryDecl
An Objective-C @interface for a category.
@ CXCursor_StaticAssert
A static_assert or _Static_assert node.
@ CXCursor_ModuleImportDecl
A module import declaration.
@ CXCursor_MemberRef
A reference to a member of a struct, union, or class that occurs in some non-expression context,...
@ CXCursor_NamespaceAlias
A C++ namespace alias declaration.
@ CXCursor_Constructor
A C++ constructor.
@ CXCursor_FriendDecl
a friend declaration.
@ CXCursor_TypeAliasDecl
A C++ alias declaration.
@ CXCursor_UsingDirective
A C++ using directive.
@ CXAvailability_Available
The entity is available.
@ CXAvailability_Deprecated
The entity is available, but has been deprecated (and its use is not recommended).
@ CXAvailability_NotAvailable
The entity is not available; any use of it will be an error.
@ kind_nullability
Indicates that the nullability of the type was spelled with a property attribute rather than a type q...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
@ OS
Indicates that the tracking object is a descendant of a referenced-counted OSObject,...
bool Alloc(InterpState &S, CodePtr OpPC, const Descriptor *Desc)
bool Add(InterpState &S, CodePtr OpPC)
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
@ OO_None
Not an overloaded operator.
@ NUM_OVERLOADED_OPERATORS
bool isa(CodeGen::Address addr)
@ CCP_Type
Priority for a type.
@ CCP_ObjC_cmd
Priority for the Objective-C "_cmd" implicit parameter.
@ CCP_Keyword
Priority for a language keyword (that isn't any of the other categories).
@ CCP_Macro
Priority for a preprocessor macro.
@ CCP_LocalDeclaration
Priority for a declaration that is in the local scope.
@ CCP_Unlikely
Priority for a result that isn't likely to be what the user wants, but is included for completeness.
@ CCP_NestedNameSpecifier
Priority for a nested-name-specifier.
@ CCP_SuperCompletion
Priority for a send-to-super completion.
@ CCP_NextInitializer
Priority for the next initialization in a constructor initializer list.
@ CCP_Declaration
Priority for a non-type declaration.
@ CCP_Constant
Priority for a constant value (e.g., enumerator).
@ CCP_MemberDeclaration
Priority for a member declaration found from the current method or member function.
@ CCP_EnumInCase
Priority for an enumeration constant inside a switch whose condition is of the enumeration type.
@ CCP_CodePattern
Priority for a code pattern.
@ Specialization
We are substituting template parameters for template arguments in order to form a template specializa...
bool isBetterOverloadCandidate(Sema &S, const OverloadCandidate &Cand1, const OverloadCandidate &Cand2, SourceLocation Loc, OverloadCandidateSet::CandidateSetKind Kind, bool PartialOverloading=false)
isBetterOverloadCandidate - Determines whether the first overload candidate is a better candidate tha...
bool isReservedInAllContexts(ReservedIdentifierStatus Status)
Determine whether an identifier is reserved in all contexts.
ArrayRef< IdentifierLoc > ModuleIdPath
A sequence of identifier/location pairs used to describe a particular module or submodule,...
@ Nullable
Values of this type can be null.
@ Unspecified
Whether values of this type can be null is (explicitly) unspecified.
@ NonNull
Values of this type can never be null.
CXCursorKind getCursorKindForDecl(const Decl *D)
Determine the libclang cursor kind associated with the given declaration.
RefQualifierKind
The kind of C++11 ref-qualifier associated with a function type.
@ RQ_None
No ref-qualifier was provided.
@ RQ_LValue
An lvalue ref-qualifier was provided (&).
@ RQ_RValue
An rvalue ref-qualifier was provided (&&).
const RawComment * getParameterComment(const ASTContext &Ctx, const CodeCompleteConsumer::OverloadCandidate &Result, unsigned ArgIndex)
Get the documentation comment used to produce CodeCompletionString::BriefComment for OverloadCandidat...
@ LCK_This
Capturing the *this object by reference.
@ CCD_SelectorMatch
The selector of the given message exactly matches the selector of the current method,...
@ CCD_ObjectQualifierMatch
The result is a C++ non-static member function whose qualifiers exactly match the object type on whic...
@ CCD_bool_in_ObjC
Adjustment to the "bool" type in Objective-C, where the typedef "BOOL" is preferred.
@ CCD_InBaseClass
The result is in a base class.
@ CCD_ProbablyNotObjCCollection
Adjustment for KVC code pattern priorities when it doesn't look like the.
@ CCD_BlockPropertySetter
An Objective-C block property completed as a setter with a block placeholder.
@ CCD_MethodAsProperty
An Objective-C method being used as a property.
@ IK_ConstructorName
A constructor name.
@ IK_DestructorName
A destructor name.
@ IK_OperatorFunctionId
An overloaded operator name, e.g., operator+.
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
@ Property
The type of a property.
@ Parameter
The parameter type of a method or function.
@ Result
The result type of a method or function.
SimplifiedTypeClass
A simplified classification of types used when determining "similar" types for code completion.
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
const RawComment * getPatternCompletionComment(const ASTContext &Ctx, const NamedDecl *Decl)
Get the documentation comment used to produce CodeCompletionString::BriefComment for RK_Pattern.
@ Interface
The "__interface" keyword.
@ Struct
The "struct" keyword.
@ Class
The "class" keyword.
@ Union
The "union" keyword.
@ Enum
The "enum" keyword.
LLVM_READONLY char toUppercase(char c)
Converts the given ASCII character to its uppercase equivalent.
@ NonType
The name was classified as a specific non-type, non-template declaration.
@ Type
The name was classified as a type.
@ OverloadSet
The name was classified as an overload set, and an expression representing that overload set has been...
const RawComment * getCompletionComment(const ASTContext &Ctx, const NamedDecl *Decl)
Get the documentation comment used to produce CodeCompletionString::BriefComment for RK_Declaration.
@ CCF_ExactTypeMatch
Divide by this factor when a code-completion result's type exactly matches the type we expect.
@ CCF_SimilarTypeMatch
Divide by this factor when a code-completion result's type is similar to the type we expect (e....
SimplifiedTypeClass getSimplifiedTypeClass(CanQualType T)
Determine the simplified type class of the given canonical type.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
@ VK_XValue
An x-value expression is a reference to an object with independent storage but which can be "moved",...
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
unsigned getMacroUsagePriority(StringRef MacroName, const LangOptions &LangOpts, bool PreferredTypeIsPointer=false)
Determine the priority to be given to a macro code completion result with the given name.
bool shouldEnforceArgLimit(bool PartialOverloading, FunctionDecl *Function)
llvm::StringRef getAsString(SyncScope S)
DynamicRecursiveASTVisitorBase< false > DynamicRecursiveASTVisitor
U cast(CodeGen::Address addr)
@ Enumerator
Enumerator value with fixed underlying type.
QualType getDeclUsageType(ASTContext &C, NestedNameSpecifier Qualifier, const NamedDecl *ND)
Determine the type that this declaration will have if it is used as a type or in an expression.
OpaquePtr< QualType > ParsedType
An opaque type for threading parsed type information through the parser.
@ Interface
The "__interface" keyword introduces the elaborated-type-specifier.
@ None
No keyword precedes the qualified type name.
@ Class
The "class" keyword introduces the elaborated-type-specifier.
@ Enum
The "enum" keyword introduces the elaborated-type-specifier.
@ StartsWithDoubleUnderscore
ActionResult< Expr * > ExprResult
@ EST_BasicNoexcept
noexcept
@ EST_NoexceptTrue
noexcept(expression), evals to 'true'
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
bool IntegralConstantExpression
SmallVector< Decl *, 4 > IgnoreDecls
CodeCompleteExpressionData(QualType PreferredType=QualType(), bool IsParenthesized=false)
unsigned NumParams
NumParams - This is the number of formal parameters specified by the declarator.
Represents a complete lambda introducer.
SmallVector< LambdaCapture, 4 > Captures
LambdaCaptureDefault Default
a linked list of methods with the same selector name but different signatures.
OverloadCandidate - A single candidate in an overload set (C++ 13.3).
static ArrayRef< const ParsedAttrInfo * > getAllBuiltin()
Describes how types, statements, expressions, and declarations should be printed.
unsigned SuppressUnwrittenScope
Suppress printing parts of scope specifiers that are never written, e.g., for anonymous namespaces.
unsigned AnonymousTagLocations
When printing an anonymous tag name, also print the location of that entity (e.g.,...
unsigned CleanUglifiedParameters
Whether to strip underscores when printing reserved parameter names.
unsigned SuppressStrongLifetime
When true, suppress printing of the __strong lifetime qualifier in ARC.
unsigned SuppressTemplateArgsInCXXConstructors
When true, suppresses printing template arguments in names of C++ constructors.