blob: dff0bb9aef54abe2e0454d5f1f5be2c62aac194f [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) {
Manuel Klimekde237262014-08-20 01:39:05 +000063 const auto *Decl = Expr->getFoundDecl();
64 return setResult(Decl, Expr->getLocation(),
65 Decl->getNameAsString().length());
66 }
67
68 bool VisitMemberExpr(const MemberExpr *Expr) {
69 const auto *Decl = Expr->getFoundDecl().getDecl();
70 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) {
77 const auto TypeBeginLoc = Loc.getBeginLoc();
78 const auto TypeEndLoc = Lexer::getLocForEndOfToken(
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +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
Manuel Klimekde237262014-08-20 01:39:05 +000093 // Other:
94
Kirill Bobyreva3432fa2016-07-22 13:41:09 +000095 const NamedDecl *getNamedDecl() { return Result; }
96
97 // \brief Determines if a namespace qualifier contains the point.
98 // \returns false on success and sets Result.
99 void handleNestedNameSpecifierLoc(NestedNameSpecifierLoc NameLoc) {
100 while (NameLoc) {
101 const auto *Decl = NameLoc.getNestedNameSpecifier()->getAsNamespace();
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000102 setResult(Decl, NameLoc.getLocalBeginLoc(), NameLoc.getLocalEndLoc());
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000103 NameLoc = NameLoc.getPrefix();
104 }
Manuel Klimekde237262014-08-20 01:39:05 +0000105 }
106
107private:
Manuel Klimekde237262014-08-20 01:39:05 +0000108 // \brief Sets Result to Decl if the Point is within Start and End.
109 // \returns false on success.
110 bool setResult(const NamedDecl *Decl, SourceLocation Start,
111 SourceLocation End) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000112 if (!Decl) {
113 return true;
114 }
Miklos Vajna47bd4632016-06-21 19:48:57 +0000115 if (Name.empty()) {
116 // Offset is used to find the declaration.
117 if (!Start.isValid() || !Start.isFileID() || !End.isValid() ||
118 !End.isFileID() || !isPointWithin(Start, End)) {
119 return true;
120 }
121 } else {
122 // Fully qualified name is used to find the declaration.
123 if (Name != Decl->getQualifiedNameAsString()) {
124 return true;
125 }
Manuel Klimekde237262014-08-20 01:39:05 +0000126 }
127 Result = Decl;
128 return false;
129 }
130
131 // \brief Sets Result to Decl if Point is within Loc and Loc + Offset.
132 // \returns false on success.
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000133 bool setResult(const NamedDecl *Decl, SourceLocation Loc, unsigned Offset) {
Manuel Klimekde237262014-08-20 01:39:05 +0000134 // FIXME: Add test for Offset == 0. Add test for Offset - 1 (vs -2 etc).
135 return Offset == 0 ||
136 setResult(Decl, Loc, Loc.getLocWithOffset(Offset - 1));
137 }
138
139 // \brief Determines if the Point is within Start and End.
140 bool isPointWithin(const SourceLocation Start, const SourceLocation End) {
141 // FIXME: Add tests for Point == End.
142 return Point == Start || Point == End ||
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000143 (Context.getSourceManager().isBeforeInTranslationUnit(Start,
144 Point) &&
145 Context.getSourceManager().isBeforeInTranslationUnit(Point, End));
Manuel Klimekde237262014-08-20 01:39:05 +0000146 }
147
148 const NamedDecl *Result;
Manuel Klimekde237262014-08-20 01:39:05 +0000149 const SourceLocation Point; // The location to find the NamedDecl.
Miklos Vajna47bd4632016-06-21 19:48:57 +0000150 const std::string Name;
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000151 const ASTContext &Context;
Manuel Klimekde237262014-08-20 01:39:05 +0000152};
Kirill Bobyrev32db7692016-07-15 11:29:16 +0000153} // namespace
Manuel Klimekde237262014-08-20 01:39:05 +0000154
155const NamedDecl *getNamedDeclAt(const ASTContext &Context,
156 const SourceLocation Point) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000157 const auto SearchFile = Context.getSourceManager().getFilename(Point);
158 NamedDeclFindingASTVisitor Visitor(Point, Context);
Manuel Klimekde237262014-08-20 01:39:05 +0000159
160 // We only want to search the decls that exist in the same file as the point.
161 auto Decls = Context.getTranslationUnitDecl()->decls();
162 for (auto &CurrDecl : Decls) {
163 const auto FileLoc = CurrDecl->getLocStart();
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000164 const auto FileName = Context.getSourceManager().getFilename(FileLoc);
Manuel Klimekde237262014-08-20 01:39:05 +0000165 // FIXME: Add test.
166 if (FileName == SearchFile) {
167 Visitor.TraverseDecl(CurrDecl);
Manuel Klimekde237262014-08-20 01:39:05 +0000168 }
169 }
170
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000171 NestedNameSpecifierLocFinder Finder(const_cast<ASTContext &>(Context));
172 for (const auto &Location : Finder.getNestedNameSpecifierLocations()) {
173 Visitor.handleNestedNameSpecifierLoc(Location);
174 }
175
176 return Visitor.getNamedDecl();
Manuel Klimekde237262014-08-20 01:39:05 +0000177}
178
Miklos Vajna47bd4632016-06-21 19:48:57 +0000179const NamedDecl *getNamedDeclFor(const ASTContext &Context,
180 const std::string &Name) {
Kirill Bobyrev1f0ea352016-07-28 09:05:06 +0000181 NamedDeclFindingASTVisitor Visitor(Name, Context);
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000182 Visitor.TraverseDecl(Context.getTranslationUnitDecl());
Miklos Vajna47bd4632016-06-21 19:48:57 +0000183
Kirill Bobyreva3432fa2016-07-22 13:41:09 +0000184 return Visitor.getNamedDecl();
Miklos Vajna47bd4632016-06-21 19:48:57 +0000185}
186
Manuel Klimekde237262014-08-20 01:39:05 +0000187std::string getUSRForDecl(const Decl *Decl) {
188 llvm::SmallVector<char, 128> Buff;
189
190 // FIXME: Add test for the nullptr case.
191 if (Decl == nullptr || index::generateUSRForDecl(Decl, Buff))
192 return "";
193
194 return std::string(Buff.data(), Buff.size());
195}
196
Manuel Klimekde237262014-08-20 01:39:05 +0000197} // namespace rename
Kirill Bobyrev32db7692016-07-15 11:29:16 +0000198} // namespace clang