blob: 2766b5ae53e9bbe3d997295d7beb143ebf96cbcc [file] [log] [blame]
Manuel Klimekde237262014-08-20 01:39:05 +00001//===--- tools/extra/clang-rename/USRFinder.cpp - Clang rename tool -------===//
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/// \file Implements a recursive AST visitor that finds the USR of a symbol at a
11/// point.
12///
13//===----------------------------------------------------------------------===//
14
15#include "USRFinder.h"
16#include "clang/AST/AST.h"
17#include "clang/AST/ASTContext.h"
18#include "clang/AST/RecursiveASTVisitor.h"
Manuel Klimekde237262014-08-20 01:39:05 +000019#include "clang/Index/USRGeneration.h"
Chandler Carruth3cbd71c2015-01-14 11:24:38 +000020#include "clang/Lex/Lexer.h"
Manuel Klimekde237262014-08-20 01:39:05 +000021#include "llvm/ADT/SmallVector.h"
22
23using namespace llvm;
24
25namespace clang {
26namespace rename {
27
28// NamedDeclFindingASTVisitor recursively visits each AST node to find the
29// symbol underneath the cursor.
30// FIXME: move to seperate .h/.cc file if this gets too large.
31namespace {
32class NamedDeclFindingASTVisitor
33 : public clang::RecursiveASTVisitor<NamedDeclFindingASTVisitor> {
34public:
35 // \brief Finds the NamedDecl at a point in the source.
36 // \param Point the location in the source to search for the NamedDecl.
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +000037 explicit NamedDeclFindingASTVisitor(const SourceLocation Point,
38 const ASTContext &Context)
39 : Result(nullptr), Point(Point), Context(Context) {}
Manuel Klimekde237262014-08-20 01:39:05 +000040
Miklos Vajna47bd4632016-06-21 19:48:57 +000041 // \brief Finds the NamedDecl for a name in the source.
42 // \param Name the fully qualified name.
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +000043 explicit NamedDeclFindingASTVisitor(const std::string &Name,
44 const ASTContext &Context)
45 : Result(nullptr), Name(Name), Context(Context) {}
Miklos Vajna47bd4632016-06-21 19:48:57 +000046
Manuel Klimekde237262014-08-20 01:39:05 +000047 // Declaration visitors:
48
49 // \brief Checks if the point falls within the NameDecl. This covers every
50 // declaration of a named entity that we may come across. Usually, just
51 // checking if the point lies within the length of the name of the declaration
52 // and the start location is sufficient.
53 bool VisitNamedDecl(const NamedDecl *Decl) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +000054 return dyn_cast<CXXConversionDecl>(Decl)
55 ? true
56 : setResult(Decl, Decl->getLocation(),
57 Decl->getNameAsString().length());
Manuel Klimekde237262014-08-20 01:39:05 +000058 }
59
60 // Expression visitors:
61
62 bool VisitDeclRefExpr(const DeclRefExpr *Expr) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +000063 const NamedDecl *Decl = Expr->getFoundDecl();
Manuel Klimekde237262014-08-20 01:39:05 +000064 return setResult(Decl, Expr->getLocation(),
65 Decl->getNameAsString().length());
66 }
67
68 bool VisitMemberExpr(const MemberExpr *Expr) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +000069 const NamedDecl *Decl = Expr->getFoundDecl().getDecl();
Manuel Klimekde237262014-08-20 01:39:05 +000070 return setResult(Decl, Expr->getMemberLoc(),
71 Decl->getNameAsString().length());
72 }
73
Kirill Bobyreva3432fa2016-07-22 13:41:09 +000074 // Other visitors:
75
76 bool VisitTypeLoc(const TypeLoc Loc) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +000077 const SourceLocation TypeBeginLoc = Loc.getBeginLoc();
78 const SourceLocation TypeEndLoc = Lexer::getLocForEndOfToken(
Miklos Vajna5a992072016-08-30 07:24:57 +000079 TypeBeginLoc, 0, Context.getSourceManager(), Context.getLangOpts());
Kirill Bobyrev9e0dab92016-08-02 09:38:38 +000080 if (const auto *TemplateTypeParm =
81 dyn_cast<TemplateTypeParmType>(Loc.getType())) {
82 return setResult(TemplateTypeParm->getDecl(), TypeBeginLoc, TypeEndLoc);
83 }
Kirill Bobyrevd6ab7d42016-08-03 23:00:32 +000084 if (const auto *TemplateSpecType =
85 dyn_cast<TemplateSpecializationType>(Loc.getType())) {
86 return setResult(TemplateSpecType->getTemplateName().getAsTemplateDecl(),
87 TypeBeginLoc, TypeEndLoc);
88 }
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +000089 return setResult(Loc.getType()->getAsCXXRecordDecl(), TypeBeginLoc,
90 TypeEndLoc);
Kirill Bobyreva3432fa2016-07-22 13:41:09 +000091 }
92
Kirill Bobyrev31fd7fb2016-08-09 07:14:48 +000093 bool VisitCXXConstructorDecl(clang::CXXConstructorDecl *ConstructorDecl) {
Kirill Bobyrev7fa33952016-08-09 10:03:33 +000094 for (const auto *Initializer : ConstructorDecl->inits()) {
95 if (!Initializer->isWritten()) {
Kirill Bobyrev31fd7fb2016-08-09 07:14:48 +000096 // Ignore implicit initializers.
97 continue;
98 }
99 if (const clang::FieldDecl *FieldDecl = Initializer->getMember()) {
100 const SourceLocation InitBeginLoc = Initializer->getSourceLocation(),
101 InitEndLoc = Lexer::getLocForEndOfToken(
102 InitBeginLoc, 0, Context.getSourceManager(),
103 Context.getLangOpts());
104 if (!setResult(FieldDecl, InitBeginLoc, InitEndLoc)) {
105 return false;
106 }
107 }
108 }
109 return true;
110 }
111
Manuel Klimekde237262014-08-20 01:39:05 +0000112 // Other:
113
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000114 const NamedDecl *getNamedDecl() { return Result; }
115
116 // \brief Determines if a namespace qualifier contains the point.
117 // \returns false on success and sets Result.
118 void handleNestedNameSpecifierLoc(NestedNameSpecifierLoc NameLoc) {
119 while (NameLoc) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +0000120 const NamespaceDecl *Decl =
121 NameLoc.getNestedNameSpecifier()->getAsNamespace();
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000122 setResult(Decl, NameLoc.getLocalBeginLoc(), NameLoc.getLocalEndLoc());
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000123 NameLoc = NameLoc.getPrefix();
124 }
Manuel Klimekde237262014-08-20 01:39:05 +0000125 }
126
127private:
Manuel Klimekde237262014-08-20 01:39:05 +0000128 // \brief Sets Result to Decl if the Point is within Start and End.
129 // \returns false on success.
130 bool setResult(const NamedDecl *Decl, SourceLocation Start,
131 SourceLocation End) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000132 if (!Decl) {
133 return true;
134 }
Miklos Vajna47bd4632016-06-21 19:48:57 +0000135 if (Name.empty()) {
136 // Offset is used to find the declaration.
137 if (!Start.isValid() || !Start.isFileID() || !End.isValid() ||
138 !End.isFileID() || !isPointWithin(Start, End)) {
139 return true;
140 }
141 } else {
142 // Fully qualified name is used to find the declaration.
143 if (Name != Decl->getQualifiedNameAsString()) {
144 return true;
145 }
Manuel Klimekde237262014-08-20 01:39:05 +0000146 }
147 Result = Decl;
148 return false;
149 }
150
151 // \brief Sets Result to Decl if Point is within Loc and Loc + Offset.
152 // \returns false on success.
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000153 bool setResult(const NamedDecl *Decl, SourceLocation Loc, unsigned Offset) {
Manuel Klimekde237262014-08-20 01:39:05 +0000154 // FIXME: Add test for Offset == 0. Add test for Offset - 1 (vs -2 etc).
155 return Offset == 0 ||
156 setResult(Decl, Loc, Loc.getLocWithOffset(Offset - 1));
157 }
158
159 // \brief Determines if the Point is within Start and End.
160 bool isPointWithin(const SourceLocation Start, const SourceLocation End) {
161 // FIXME: Add tests for Point == End.
162 return Point == Start || Point == End ||
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000163 (Context.getSourceManager().isBeforeInTranslationUnit(Start,
164 Point) &&
165 Context.getSourceManager().isBeforeInTranslationUnit(Point, End));
Manuel Klimekde237262014-08-20 01:39:05 +0000166 }
167
168 const NamedDecl *Result;
Manuel Klimekde237262014-08-20 01:39:05 +0000169 const SourceLocation Point; // The location to find the NamedDecl.
Miklos Vajna47bd4632016-06-21 19:48:57 +0000170 const std::string Name;
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000171 const ASTContext &Context;
Manuel Klimekde237262014-08-20 01:39:05 +0000172};
Kirill Bobyrev32db7692016-07-15 11:29:16 +0000173} // namespace
Manuel Klimekde237262014-08-20 01:39:05 +0000174
175const NamedDecl *getNamedDeclAt(const ASTContext &Context,
176 const SourceLocation Point) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +0000177 StringRef SearchFile = Context.getSourceManager().getFilename(Point);
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000178 NamedDeclFindingASTVisitor Visitor(Point, Context);
Manuel Klimekde237262014-08-20 01:39:05 +0000179
180 // We only want to search the decls that exist in the same file as the point.
Kirill Bobyrevbc84fc92016-08-16 06:19:06 +0000181 for (auto *CurrDecl : Context.getTranslationUnitDecl()->decls()) {
Kirill Bobyrev6b7d8c22016-08-15 23:20:05 +0000182 const SourceLocation FileLoc = CurrDecl->getLocStart();
183 StringRef FileName = Context.getSourceManager().getFilename(FileLoc);
Manuel Klimekde237262014-08-20 01:39:05 +0000184 // FIXME: Add test.
185 if (FileName == SearchFile) {
186 Visitor.TraverseDecl(CurrDecl);
Manuel Klimekde237262014-08-20 01:39:05 +0000187 }
188 }
189
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000190 NestedNameSpecifierLocFinder Finder(const_cast<ASTContext &>(Context));
191 for (const auto &Location : Finder.getNestedNameSpecifierLocations()) {
192 Visitor.handleNestedNameSpecifierLoc(Location);
193 }
194
195 return Visitor.getNamedDecl();
Manuel Klimekde237262014-08-20 01:39:05 +0000196}
197
Miklos Vajna47bd4632016-06-21 19:48:57 +0000198const NamedDecl *getNamedDeclFor(const ASTContext &Context,
199 const std::string &Name) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000200 NamedDeclFindingASTVisitor Visitor(Name, Context);
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000201 Visitor.TraverseDecl(Context.getTranslationUnitDecl());
Miklos Vajna47bd4632016-06-21 19:48:57 +0000202
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000203 return Visitor.getNamedDecl();
Miklos Vajna47bd4632016-06-21 19:48:57 +0000204}
205
Manuel Klimekde237262014-08-20 01:39:05 +0000206std::string getUSRForDecl(const Decl *Decl) {
207 llvm::SmallVector<char, 128> Buff;
208
209 // FIXME: Add test for the nullptr case.
210 if (Decl == nullptr || index::generateUSRForDecl(Decl, Buff))
211 return "";
212
213 return std::string(Buff.data(), Buff.size());
214}
215
Manuel Klimekde237262014-08-20 01:39:05 +0000216} // namespace rename
Kirill Bobyrev32db7692016-07-15 11:29:16 +0000217} // namespace clang