blob: 84d79363ef88459e71cf1999d9bfc05054b0efbe [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) {
54 if (isContainedInStatement(Node, *I))
55 return true;
56 }
57
58 return false;
59}
60
Zhongxing Xu7f66bd22009-07-17 07:36:20 +000061Decl *ASTLocation::FindImmediateParent(Decl *D, Stmt *Node) {
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000062 assert(D && Node && "Passed null Decl or null Stmt");
63
64 if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
65 Expr *Init = VD->getInit();
66 if (Init == 0)
67 return 0;
68 return isContainedInStatement(Node, Init) ? D : 0;
69 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000070
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000071 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
72 if (!FD->isThisDeclarationADefinition())
73 return 0;
74
75 for (DeclContext::decl_iterator
76 I = FD->decls_begin(), E = FD->decls_end(); I != E; ++I) {
77 Decl *Child = FindImmediateParent(*I, Node);
78 if (Child)
79 return Child;
80 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000081
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +000082 assert(FD->getBody() && "If not definition we should have exited already");
83 return isContainedInStatement(Node, FD->getBody()) ? D : 0;
84 }
Argyrios Kyrtzidiscc1ccb72009-07-18 00:33:46 +000085
86 if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) {
87 if (!MD->getBody())
88 return 0;
89
90 for (DeclContext::decl_iterator
91 I = MD->decls_begin(), E = MD->decls_end(); I != E; ++I) {
92 Decl *Child = FindImmediateParent(*I, Node);
93 if (Child)
94 return Child;
95 }
96
97 assert(MD->getBody() && "If not definition we should have exited already");
98 return isContainedInStatement(Node, MD->getBody()) ? D : 0;
99 }
100
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000101 return 0;
102}
103
Argyrios Kyrtzidis874012b2009-07-06 21:34:20 +0000104bool ASTLocation::isImmediateParent(Decl *D, Stmt *Node) {
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000105 assert(D && Node && "Passed null Decl or null Stmt");
106 return D == FindImmediateParent(D, Node);
107}
108
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000109SourceRange ASTLocation::getSourceRange() const {
Argyrios Kyrtzidis9b9685d2009-07-18 21:17:43 +0000110 if (isInvalid())
111 return SourceRange();
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000112 return isDecl() ? getDecl()->getSourceRange() : getStmt()->getSourceRange();
113}
114
Argyrios Kyrtzidis874012b2009-07-06 21:34:20 +0000115void ASTLocation::print(llvm::raw_ostream &OS) {
Argyrios Kyrtzidis9b9685d2009-07-18 21:17:43 +0000116 if (isInvalid()) {
117 OS << "<< Invalid ASTLocation >>\n";
118 return;
119 }
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000120
121 OS << "[Decl: " << getDecl()->getDeclKindName() << " ";
122 if (NamedDecl *ND = dyn_cast<NamedDecl>(getDecl()))
123 OS << ND->getNameAsString();
124
125 if (getStmt()) {
126 ASTContext &Ctx = getDecl()->getASTContext();
127 OS << " | Stmt: " << getStmt()->getStmtClassName() << " ";
128 getStmt()->printPretty(OS, Ctx, 0, PrintingPolicy(Ctx.getLangOptions()));
129 }
130
131 OS << "] <";
132
Argyrios Kyrtzidis755c6b42009-07-06 21:35:20 +0000133 SourceRange Range = getSourceRange();
Argyrios Kyrtzidisc0824632009-07-05 22:21:28 +0000134 SourceManager &SourceMgr = getDecl()->getASTContext().getSourceManager();
135 Range.getBegin().print(OS, SourceMgr);
136 OS << ", ";
137 Range.getEnd().print(OS, SourceMgr);
138 OS << ">\n";
139}