Argyrios Kyrtzidis | 4e7064f | 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 | dec35a9 | 2012-05-07 22:16:46 +0000 | [diff] [blame] | 11 | #include "RecursiveASTVisitor.h" |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 12 | |
| 13 | using namespace clang; |
| 14 | using namespace cxindex; |
| 15 | |
| 16 | namespace { |
| 17 | |
Argyrios Kyrtzidis | 98180d4 | 2012-05-07 22:22:58 +0000 | [diff] [blame] | 18 | class BodyIndexer : public cxindex::RecursiveASTVisitor<BodyIndexer> { |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 19 | IndexingContext &IndexCtx; |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 20 | const NamedDecl *Parent; |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 21 | const DeclContext *ParentDC; |
| 22 | |
Argyrios Kyrtzidis | b395c63 | 2011-11-18 00:26:51 +0000 | [diff] [blame] | 23 | typedef RecursiveASTVisitor<BodyIndexer> base; |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 24 | public: |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 25 | BodyIndexer(IndexingContext &indexCtx, |
| 26 | const NamedDecl *Parent, const DeclContext *DC) |
Argyrios Kyrtzidis | 746f5bc | 2012-01-12 02:34:39 +0000 | [diff] [blame] | 27 | : IndexCtx(indexCtx), Parent(Parent), ParentDC(DC) { } |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 28 | |
| 29 | bool shouldWalkTypesOfTypeLocs() const { return false; } |
| 30 | |
| 31 | bool TraverseTypeLoc(TypeLoc TL) { |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 32 | IndexCtx.indexTypeLoc(TL, Parent, ParentDC); |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 33 | return true; |
| 34 | } |
| 35 | |
Argyrios Kyrtzidis | 55fa1d9 | 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 | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 41 | bool VisitDeclRefExpr(DeclRefExpr *E) { |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 42 | IndexCtx.handleReference(E->getDecl(), E->getLocation(), |
| 43 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 44 | return true; |
| 45 | } |
| 46 | |
| 47 | bool VisitMemberExpr(MemberExpr *E) { |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 48 | IndexCtx.handleReference(E->getMemberDecl(), E->getMemberLoc(), |
| 49 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 50 | return true; |
| 51 | } |
| 52 | |
Argyrios Kyrtzidis | e0d92a4 | 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 | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 64 | bool VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 65 | IndexCtx.handleReference(E->getDecl(), E->getLocation(), |
| 66 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 67 | return true; |
| 68 | } |
Argyrios Kyrtzidis | 9fbbf14 | 2011-10-18 15:13:11 +0000 | [diff] [blame] | 69 | |
| 70 | bool VisitObjCMessageExpr(ObjCMessageExpr *E) { |
Argyrios Kyrtzidis | b395c63 | 2011-11-18 00:26:51 +0000 | [diff] [blame] | 71 | if (TypeSourceInfo *Cls = E->getClassReceiverTypeInfo()) |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 72 | IndexCtx.indexTypeSourceInfo(Cls, Parent, ParentDC); |
Argyrios Kyrtzidis | b395c63 | 2011-11-18 00:26:51 +0000 | [diff] [blame] | 73 | |
Argyrios Kyrtzidis | 9fbbf14 | 2011-10-18 15:13:11 +0000 | [diff] [blame] | 74 | if (ObjCMethodDecl *MD = E->getMethodDecl()) |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 75 | IndexCtx.handleReference(MD, E->getSelectorStartLoc(), |
| 76 | Parent, ParentDC, E, |
Argyrios Kyrtzidis | 746f5bc | 2012-01-12 02:34:39 +0000 | [diff] [blame] | 77 | E->isImplicit() ? CXIdxEntityRef_Implicit |
| 78 | : CXIdxEntityRef_Direct); |
Argyrios Kyrtzidis | 9fbbf14 | 2011-10-18 15:13:11 +0000 | [diff] [blame] | 79 | return true; |
| 80 | } |
Argyrios Kyrtzidis | aca19be | 2011-10-18 15:50:50 +0000 | [diff] [blame] | 81 | |
| 82 | bool VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { |
Ted Kremenek | b3f7542 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 83 | if (E->isExplicitProperty()) |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 84 | IndexCtx.handleReference(E->getExplicitProperty(), E->getLocation(), |
| 85 | Parent, ParentDC, E); |
Ted Kremenek | b3f7542 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 86 | |
| 87 | // No need to do a handleReference for the objc method, because there will |
| 88 | // be a message expr as part of PseudoObjectExpr. |
| 89 | return true; |
| 90 | } |
| 91 | |
John McCall | 76da55d | 2013-04-16 07:28:30 +0000 | [diff] [blame] | 92 | bool VisitMSPropertyRefExpr(MSPropertyRefExpr *E) { |
| 93 | IndexCtx.handleReference(E->getPropertyDecl(), E->getMemberLoc(), Parent, |
| 94 | ParentDC, E, CXIdxEntityRef_Direct); |
| 95 | return true; |
| 96 | } |
| 97 | |
Argyrios Kyrtzidis | 7d24e28 | 2012-05-16 00:50:02 +0000 | [diff] [blame] | 98 | bool VisitObjCProtocolExpr(ObjCProtocolExpr *E) { |
| 99 | IndexCtx.handleReference(E->getProtocol(), E->getProtocolIdLoc(), |
| 100 | Parent, ParentDC, E, CXIdxEntityRef_Direct); |
| 101 | return true; |
| 102 | } |
| 103 | |
Patrick Beard | eb382ec | 2012-04-19 00:25:12 +0000 | [diff] [blame] | 104 | bool VisitObjCBoxedExpr(ObjCBoxedExpr *E) { |
| 105 | if (ObjCMethodDecl *MD = E->getBoxingMethod()) |
Ted Kremenek | b3f7542 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 106 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 107 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
| 108 | return true; |
| 109 | } |
Patrick Beard | eb382ec | 2012-04-19 00:25:12 +0000 | [diff] [blame] | 110 | |
Ted Kremenek | b3f7542 | 2012-03-06 20:06:06 +0000 | [diff] [blame] | 111 | bool VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) { |
| 112 | if (ObjCMethodDecl *MD = E->getDictWithObjectsMethod()) |
| 113 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 114 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
| 115 | return true; |
| 116 | } |
| 117 | |
| 118 | bool VisitObjCArrayLiteral(ObjCArrayLiteral *E) { |
| 119 | if (ObjCMethodDecl *MD = E->getArrayWithObjectsMethod()) |
| 120 | IndexCtx.handleReference(MD, E->getLocStart(), |
| 121 | Parent, ParentDC, E, CXIdxEntityRef_Implicit); |
Argyrios Kyrtzidis | aca19be | 2011-10-18 15:50:50 +0000 | [diff] [blame] | 122 | return true; |
| 123 | } |
Argyrios Kyrtzidis | b395c63 | 2011-11-18 00:26:51 +0000 | [diff] [blame] | 124 | |
Argyrios Kyrtzidis | 2957e6f | 2011-11-22 07:24:51 +0000 | [diff] [blame] | 125 | bool VisitCXXConstructExpr(CXXConstructExpr *E) { |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 126 | IndexCtx.handleReference(E->getConstructor(), E->getLocation(), |
| 127 | Parent, ParentDC, E); |
Argyrios Kyrtzidis | 2957e6f | 2011-11-22 07:24:51 +0000 | [diff] [blame] | 128 | return true; |
| 129 | } |
Argyrios Kyrtzidis | 2249074 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 130 | |
Argyrios Kyrtzidis | e377d71 | 2012-05-07 22:16:49 +0000 | [diff] [blame] | 131 | bool TraverseCXXOperatorCallExpr(CXXOperatorCallExpr *E) { |
| 132 | if (E->getOperatorLoc().isInvalid()) |
| 133 | return true; // implicit. |
| 134 | return base::TraverseCXXOperatorCallExpr(E); |
| 135 | } |
| 136 | |
Argyrios Kyrtzidis | 2249074 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 137 | bool VisitDeclStmt(DeclStmt *S) { |
Argyrios Kyrtzidis | 3bed3d1 | 2012-09-10 22:58:04 +0000 | [diff] [blame] | 138 | if (IndexCtx.shouldIndexFunctionLocalSymbols()) { |
Argyrios Kyrtzidis | 2249074 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 139 | IndexCtx.indexDeclGroupRef(S->getDeclGroup()); |
Argyrios Kyrtzidis | 3bed3d1 | 2012-09-10 22:58:04 +0000 | [diff] [blame] | 140 | return true; |
| 141 | } |
| 142 | |
| 143 | DeclGroupRef DG = S->getDeclGroup(); |
| 144 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) { |
| 145 | const Decl *D = *I; |
| 146 | if (!D) |
| 147 | continue; |
| 148 | if (!IndexCtx.isFunctionLocalDecl(D)) |
| 149 | IndexCtx.indexTopLevelDecl(D); |
| 150 | } |
| 151 | |
Argyrios Kyrtzidis | 2249074 | 2012-01-14 00:11:49 +0000 | [diff] [blame] | 152 | return true; |
| 153 | } |
Richard Smith | 5677eaf | 2012-02-15 02:07:05 +0000 | [diff] [blame] | 154 | |
Douglas Gregor | 011d8b9 | 2012-02-15 00:54:55 +0000 | [diff] [blame] | 155 | bool TraverseLambdaCapture(LambdaExpr::Capture C) { |
| 156 | if (C.capturesThis()) |
| 157 | return true; |
Richard Smith | 5677eaf | 2012-02-15 02:07:05 +0000 | [diff] [blame] | 158 | |
| 159 | if (IndexCtx.shouldIndexFunctionLocalSymbols()) |
Douglas Gregor | 011d8b9 | 2012-02-15 00:54:55 +0000 | [diff] [blame] | 160 | IndexCtx.handleReference(C.getCapturedVar(), C.getLocation(), |
| 161 | Parent, ParentDC); |
| 162 | return true; |
| 163 | } |
| 164 | |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 165 | }; |
| 166 | |
| 167 | } // anonymous namespace |
| 168 | |
Argyrios Kyrtzidis | e422e45 | 2011-12-13 18:47:41 +0000 | [diff] [blame] | 169 | void IndexingContext::indexBody(const Stmt *S, const NamedDecl *Parent, |
| 170 | const DeclContext *DC) { |
| 171 | if (!S) |
| 172 | return; |
| 173 | |
| 174 | if (DC == 0) |
| 175 | DC = Parent->getLexicalDeclContext(); |
| 176 | BodyIndexer(*this, Parent, DC).TraverseStmt(const_cast<Stmt*>(S)); |
Argyrios Kyrtzidis | 4e7064f | 2011-10-17 19:48:19 +0000 | [diff] [blame] | 177 | } |