Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 1 | //===- CIndexHigh.cpp - Higher level API functions ------------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | #include "IndexingContext.h" |
Argyrios Kyrtzidis | 561fe54 | 2013-12-20 02:02:54 +0000 | [diff] [blame] | 11 | #include "clang/AST/DataRecursiveASTVisitor.h" |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 12 | |
| 13 | using namespace clang; |
| 14 | using namespace cxindex; |
| 15 | |
| 16 | namespace { |
| 17 | |
Argyrios Kyrtzidis | 561fe54 | 2013-12-20 02:02:54 +0000 | [diff] [blame] | 18 | class BodyIndexer : public DataRecursiveASTVisitor<BodyIndexer> { |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 19 | IndexingContext &IndexCtx; |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 20 | const NamedDecl *Parent; |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 21 | const DeclContext *ParentDC; |
| 22 | |
Argyrios Kyrtzidis | 561fe54 | 2013-12-20 02:02:54 +0000 | [diff] [blame] | 23 | typedef DataRecursiveASTVisitor<BodyIndexer> base; |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 24 | public: |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 25 | BodyIndexer(IndexingContext &indexCtx, |
| 26 | const NamedDecl *Parent, const DeclContext *DC) |
Argyrios Kyrtzidis | a80f1bf | 2012-01-12 02:34:39 +0000 | [diff] [blame] | 27 | : IndexCtx(indexCtx), Parent(Parent), ParentDC(DC) { } |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 28 | |
| 29 | bool shouldWalkTypesOfTypeLocs() const { return false; } |
| 30 | |
| 31 | bool TraverseTypeLoc(TypeLoc TL) { |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 32 | IndexCtx.indexTypeLoc(TL, Parent, ParentDC); |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 33 | return true; |
| 34 | } |
| 35 | |
Argyrios Kyrtzidis | 9f77735 | 2012-01-23 16:58:38 +0000 | [diff] [blame] | 36 | bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS) { |
| 37 | IndexCtx.indexNestedNameSpecifierLoc(NNS, Parent, ParentDC); |
| 38 | return true; |
| 39 | } |
| 40 | |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 41 | bool VisitDeclRefExpr(DeclRefExpr *E) { |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 42 | IndexCtx.handleReference(E->getDecl(), E->getLocation(), |
| 43 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 44 | return true; |
| 45 | } |
| 46 | |
| 47 | bool VisitMemberExpr(MemberExpr *E) { |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 48 | IndexCtx.handleReference(E->getMemberDecl(), E->getMemberLoc(), |
| 49 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 50 | return true; |
| 51 | } |
| 52 | |
Argyrios Kyrtzidis | a1bed4c | 2012-02-22 02:10:41 +0000 | [diff] [blame] | 53 | bool VisitDesignatedInitExpr(DesignatedInitExpr *E) { |
| 54 | for (DesignatedInitExpr::reverse_designators_iterator |
| 55 | D = E->designators_rbegin(), DEnd = E->designators_rend(); |
| 56 | D != DEnd; ++D) { |
| 57 | if (D->isFieldDesignator()) |
| 58 | IndexCtx.handleReference(D->getField(), D->getFieldLoc(), |
| 59 | Parent, ParentDC, E); |
| 60 | } |
| 61 | return true; |
| 62 | } |
| 63 | |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 64 | bool VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 65 | IndexCtx.handleReference(E->getDecl(), E->getLocation(), |
| 66 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 67 | return true; |
| 68 | } |
Argyrios Kyrtzidis | 321e302 | 2011-10-18 15:13:11 +0000 | [diff] [blame] | 69 | |
| 70 | bool VisitObjCMessageExpr(ObjCMessageExpr *E) { |
| 71 | if (ObjCMethodDecl *MD = E->getMethodDecl()) |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 72 | IndexCtx.handleReference(MD, E->getSelectorStartLoc(), |
| 73 | Parent, ParentDC, E, |
Argyrios Kyrtzidis | a80f1bf | 2012-01-12 02:34:39 +0000 | [diff] [blame] | 74 | E->isImplicit() ? CXIdxEntityRef_Implicit |
| 75 | : CXIdxEntityRef_Direct); |
Argyrios Kyrtzidis | 321e302 | 2011-10-18 15:13:11 +0000 | [diff] [blame] | 76 | return true; |
| 77 | } |
Argyrios Kyrtzidis | 0c7735e5 | 2011-10-18 15:50:50 +0000 | [diff] [blame] | 78 | |
| 79 | bool VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { |
Ted Kremenek | 77006f6 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 80 | if (E->isExplicitProperty()) |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 81 | IndexCtx.handleReference(E->getExplicitProperty(), E->getLocation(), |
| 82 | Parent, ParentDC, E); |
Ted Kremenek | 77006f6 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 83 | |
| 84 | // No need to do a handleReference for the objc method, because there will |
| 85 | // be a message expr as part of PseudoObjectExpr. |
| 86 | return true; |
| 87 | } |
| 88 | |
John McCall | 5e77d76 | 2013-04-16 07:28:30 +0000 | [diff] [blame] | 89 | bool VisitMSPropertyRefExpr(MSPropertyRefExpr *E) { |
| 90 | IndexCtx.handleReference(E->getPropertyDecl(), E->getMemberLoc(), Parent, |
| 91 | ParentDC, E, CXIdxEntityRef_Direct); |
| 92 | return true; |
| 93 | } |
| 94 | |
Argyrios Kyrtzidis | b7e4367 | 2012-05-16 00:50:02 +0000 | [diff] [blame] | 95 | bool VisitObjCProtocolExpr(ObjCProtocolExpr *E) { |
| 96 | IndexCtx.handleReference(E->getProtocol(), E->getProtocolIdLoc(), |
| 97 | Parent, ParentDC, E, CXIdxEntityRef_Direct); |
| 98 | return true; |
| 99 | } |
| 100 | |
Patrick Beard | 0caa394 | 2012-04-19 00:25:12 +0000 | [diff] [blame] | 101 | bool VisitObjCBoxedExpr(ObjCBoxedExpr *E) { |
| 102 | if (ObjCMethodDecl *MD = E->getBoxingMethod()) |
Ted Kremenek | 77006f6 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 103 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 104 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
| 105 | return true; |
| 106 | } |
Patrick Beard | 0caa394 | 2012-04-19 00:25:12 +0000 | [diff] [blame] | 107 | |
Ted Kremenek | 77006f6 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 108 | bool VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) { |
| 109 | if (ObjCMethodDecl *MD = E->getDictWithObjectsMethod()) |
| 110 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 111 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
| 112 | return true; |
| 113 | } |
| 114 | |
| 115 | bool VisitObjCArrayLiteral(ObjCArrayLiteral *E) { |
| 116 | if (ObjCMethodDecl *MD = E->getArrayWithObjectsMethod()) |
| 117 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 118 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
Argyrios Kyrtzidis | 0c7735e5 | 2011-10-18 15:50:50 +0000 | [diff] [blame] | 119 | return true; |
| 120 | } |
Argyrios Kyrtzidis | effdbf5 | 2011-11-18 00:26:51 +0000 | [diff] [blame] | 121 | |
Argyrios Kyrtzidis | 4c910b1 | 2011-11-22 07:24:51 +0000 | [diff] [blame] | 122 | bool VisitCXXConstructExpr(CXXConstructExpr *E) { |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 123 | IndexCtx.handleReference(E->getConstructor(), E->getLocation(), |
| 124 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | 4c910b1 | 2011-11-22 07:24:51 +0000 | [diff] [blame] | 125 | return true; |
| 126 | } |
Argyrios Kyrtzidis | fb7d145 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 127 | |
Argyrios Kyrtzidis | 93e1d1c | 2012-05-07 22:16:49 +0000 | [diff] [blame] | 128 | bool TraverseCXXOperatorCallExpr(CXXOperatorCallExpr *E) { |
| 129 | if (E->getOperatorLoc().isInvalid()) |
| 130 | return true; // implicit. |
| 131 | return base::TraverseCXXOperatorCallExpr(E); |
| 132 | } |
| 133 | |
Argyrios Kyrtzidis | fb7d145 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 134 | bool VisitDeclStmt(DeclStmt *S) { |
Argyrios Kyrtzidis | 68e87e1 | 2012-09-10 22:58:04 +0000 | [diff] [blame] | 135 | if (IndexCtx.shouldIndexFunctionLocalSymbols()) { |
Argyrios Kyrtzidis | fb7d145 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 136 | IndexCtx.indexDeclGroupRef(S->getDeclGroup()); |
Argyrios Kyrtzidis | 68e87e1 | 2012-09-10 22:58:04 +0000 | [diff] [blame] | 137 | return true; |
| 138 | } |
| 139 | |
| 140 | DeclGroupRef DG = S->getDeclGroup(); |
| 141 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) { |
| 142 | const Decl *D = *I; |
| 143 | if (!D) |
| 144 | continue; |
| 145 | if (!IndexCtx.isFunctionLocalDecl(D)) |
| 146 | IndexCtx.indexTopLevelDecl(D); |
| 147 | } |
| 148 | |
Argyrios Kyrtzidis | fb7d145 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 149 | return true; |
| 150 | } |
Richard Smith | 19582e8 | 2012-02-15 02:07:05 +0000 | [diff] [blame] | 151 | |
Alp Toker | fdafb94 | 2014-05-20 22:03:39 +0000 | [diff] [blame] | 152 | bool TraverseLambdaCapture(LambdaExpr *LE, const LambdaCapture *C) { |
| 153 | if (C->capturesThis()) |
Douglas Gregor | 3009383 | 2012-02-15 00:54:55 +0000 | [diff] [blame] | 154 | return true; |
Richard Smith | 19582e8 | 2012-02-15 02:07:05 +0000 | [diff] [blame] | 155 | |
Alp Toker | fdafb94 | 2014-05-20 22:03:39 +0000 | [diff] [blame] | 156 | if (C->capturesVariable() && IndexCtx.shouldIndexFunctionLocalSymbols()) |
| 157 | IndexCtx.handleReference(C->getCapturedVar(), C->getLocation(), Parent, |
| 158 | ParentDC); |
Richard Smith | ba71c08 | 2013-05-16 06:20:58 +0000 | [diff] [blame] | 159 | |
| 160 | // FIXME: Lambda init-captures. |
Douglas Gregor | 3009383 | 2012-02-15 00:54:55 +0000 | [diff] [blame] | 161 | return true; |
| 162 | } |
| 163 | |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 164 | }; |
| 165 | |
| 166 | } // anonymous namespace |
| 167 | |
Argyrios Kyrtzidis | 25cb0ff | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 168 | void IndexingContext::indexBody(const Stmt *S, const NamedDecl *Parent, |
| 169 | const DeclContext *DC) { |
| 170 | if (!S) |
| 171 | return; |
| 172 | |
| 173 | if (DC == 0) |
| 174 | DC = Parent->getLexicalDeclContext(); |
| 175 | BodyIndexer(*this, Parent, DC).TraverseStmt(const_cast<Stmt*>(S)); |
Argyrios Kyrtzidis | dc199a3 | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 176 | } |