blob: e869707f4d2d6d4981bb0dc5ed243075ec4fe46c [file] [log] [blame]
Argyrios Kyrtzidisccbcb702009-07-06 21:34:47 +00001//===--- ASTLocation.cpp - A <Decl, Stmt> pair ------------------*- C++ -*-===//
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Argyrios Kyrtzidis874012b2009-07-06 21:34:20 +000010// ASTLocation is Decl or a Stmt and its immediate Decl parent.
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000011//
12//===----------------------------------------------------------------------===//
13
Argyrios Kyrtzidisccbcb702009-07-06 21:34:47 +000014#include "clang/Index/ASTLocation.h"
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000015#include "clang/AST/Decl.h"
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000016#include "clang/AST/DeclObjC.h"
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000017#include "clang/AST/Stmt.h"
18#include "clang/AST/Expr.h"
19using namespace clang;
Argyrios Kyrtzidisccbcb702009-07-06 21:34:47 +000020using namespace idx;
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000021
Argyrios Kyrtzidisdc50c642009-07-18 21:17:58 +000022static Decl *getDeclFromExpr(Stmt *E) {
23 if (DeclRefExpr *RefExpr = dyn_cast<DeclRefExpr>(E))
24 return RefExpr->getDecl();
25 if (MemberExpr *ME = dyn_cast<MemberExpr>(E))
26 return ME->getMemberDecl();
27 if (CallExpr *CE = dyn_cast<CallExpr>(E))
28 return getDeclFromExpr(CE->getCallee());
29 if (CastExpr *CE = dyn_cast<CastExpr>(E))
30 return getDeclFromExpr(CE->getSubExpr());
31
32 return 0;
33}
34
35Decl *ASTLocation::getReferencedDecl() {
36 if (isInvalid())
37 return 0;
38 if (isDecl())
39 return getDecl();
40
41 assert(getStmt());
42 return getDeclFromExpr(getStmt());
43}
44
45
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000046static bool isContainedInStatement(Stmt *Node, Stmt *Parent) {
47 assert(Node && Parent && "Passed null Node or Parent");
48
49 if (Node == Parent)
50 return true;
51
52 for (Stmt::child_iterator
53 I = Parent->child_begin(), E = Parent->child_end(); I != E; ++I) {
Zhongxing Xu89021b02009-07-20 08:28:49 +000054 if (*I)
55 if (isContainedInStatement(Node, *I))
56 return true;
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000057 }
58
59 return false;
60}
61
Zhongxing Xu7f66bd22009-07-17 07:36:20 +000062Decl *ASTLocation::FindImmediateParent(Decl *D, Stmt *Node) {
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000063 assert(D && Node && "Passed null Decl or null Stmt");
64
65 if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
66 Expr *Init = VD->getInit();
67 if (Init == 0)
68 return 0;
69 return isContainedInStatement(Node, Init) ? D : 0;
70 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000071
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000072 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
73 if (!FD->isThisDeclarationADefinition())
74 return 0;
75
76 for (DeclContext::decl_iterator
77 I = FD->decls_begin(), E = FD->decls_end(); I != E; ++I) {
78 Decl *Child = FindImmediateParent(*I, Node);
79 if (Child)
80 return Child;
81 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000082
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000083 assert(FD->getBody() && "If not definition we should have exited already");
84 return isContainedInStatement(Node, FD->getBody()) ? D : 0;
85 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000086
87 if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) {
88 if (!MD->getBody())
89 return 0;
90
91 for (DeclContext::decl_iterator
92 I = MD->decls_begin(), E = MD->decls_end(); I != E; ++I) {
93 Decl *Child = FindImmediateParent(*I, Node);
94 if (Child)
95 return Child;
96 }
97
98 assert(MD->getBody() && "If not definition we should have exited already");
99 return isContainedInStatement(Node, MD->getBody()) ? D : 0;
100 }
101
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000102 return 0;
103}
104
Argyrios Kyrtzidis874012b2009-07-06 21:34:20 +0000105bool ASTLocation::isImmediateParent(Decl *D, Stmt *Node) {
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000106 assert(D && Node && "Passed null Decl or null Stmt");
107 return D == FindImmediateParent(D, Node);
108}
109
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000110SourceRange ASTLocation::getSourceRange() const {
Argyrios Kyrtzidis9b9685d2009-07-18 21:17:43 +0000111 if (isInvalid())
112 return SourceRange();
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000113 return isDecl() ? getDecl()->getSourceRange() : getStmt()->getSourceRange();
114}
115
Argyrios Kyrtzidis874012b2009-07-06 21:34:20 +0000116void ASTLocation::print(llvm::raw_ostream &OS) {
Argyrios Kyrtzidis9b9685d2009-07-18 21:17:43 +0000117 if (isInvalid()) {
118 OS << "<< Invalid ASTLocation >>\n";
119 return;
120 }
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000121
122 OS << "[Decl: " << getDecl()->getDeclKindName() << " ";
123 if (NamedDecl *ND = dyn_cast<NamedDecl>(getDecl()))
124 OS << ND->getNameAsString();
125
126 if (getStmt()) {
127 ASTContext &Ctx = getDecl()->getASTContext();
128 OS << " | Stmt: " << getStmt()->getStmtClassName() << " ";
129 getStmt()->printPretty(OS, Ctx, 0, PrintingPolicy(Ctx.getLangOptions()));
130 }
131
132 OS << "] <";
133
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000134 SourceRange Range = getSourceRange();
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000135 SourceManager &SourceMgr = getDecl()->getASTContext().getSourceManager();
136 Range.getBegin().print(OS, SourceMgr);
137 OS << ", ";
138 Range.getEnd().print(OS, SourceMgr);
139 OS << ">\n";
140}