blob: c6f18fa39339796c48b4283e804695132df0b787 [file] [log] [blame]
Eric Liuc5105f92018-02-16 14:15:55 +00001//===--- Headers.cpp - Include headers ---------------------------*- C++-*-===//
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 "Headers.h"
11#include "Compiler.h"
12#include "Logger.h"
Eric Liu155f5a42018-05-14 12:19:16 +000013#include "SourceCode.h"
Eric Liuc5105f92018-02-16 14:15:55 +000014#include "clang/Frontend/CompilerInstance.h"
15#include "clang/Frontend/CompilerInvocation.h"
16#include "clang/Frontend/FrontendActions.h"
17#include "clang/Lex/HeaderSearch.h"
Eric Liu709bde82018-02-19 18:48:44 +000018#include "llvm/Support/Path.h"
Eric Liuc5105f92018-02-16 14:15:55 +000019
20namespace clang {
21namespace clangd {
22namespace {
23
24class RecordHeaders : public PPCallbacks {
25public:
Eric Liu155f5a42018-05-14 12:19:16 +000026 RecordHeaders(const SourceManager &SM,
27 std::function<void(Inclusion)> Callback)
28 : SM(SM), Callback(std::move(Callback)) {}
Eric Liuc5105f92018-02-16 14:15:55 +000029
Eric Liu155f5a42018-05-14 12:19:16 +000030 // Record existing #includes - both written and resolved paths. Only #includes
31 // in the main file are collected.
32 void InclusionDirective(SourceLocation HashLoc, const Token & /*IncludeTok*/,
Eric Liu6c8e8582018-02-26 08:32:13 +000033 llvm::StringRef FileName, bool IsAngled,
Eric Liu155f5a42018-05-14 12:19:16 +000034 CharSourceRange FilenameRange, const FileEntry *File,
35 llvm::StringRef /*SearchPath*/,
Eric Liuc5105f92018-02-16 14:15:55 +000036 llvm::StringRef /*RelativePath*/,
Julie Hockett546943f2018-05-10 19:13:14 +000037 const Module * /*Imported*/,
38 SrcMgr::CharacteristicKind /*FileType*/) override {
Eric Liu155f5a42018-05-14 12:19:16 +000039 // Only inclusion directives in the main file make sense. The user cannot
40 // select directives not in the main file.
41 if (HashLoc.isInvalid() || !SM.isInMainFile(HashLoc))
42 return;
43 std::string Written =
44 (IsAngled ? "<" + FileName + ">" : "\"" + FileName + "\"").str();
45 std::string Resolved = (!File || File->tryGetRealPathName().empty())
46 ? ""
47 : File->tryGetRealPathName();
48 Callback({halfOpenToRange(SM, FilenameRange), Written, Resolved});
Eric Liuc5105f92018-02-16 14:15:55 +000049 }
50
51private:
Eric Liu155f5a42018-05-14 12:19:16 +000052 const SourceManager &SM;
53 std::function<void(Inclusion)> Callback;
Eric Liuc5105f92018-02-16 14:15:55 +000054};
55
56} // namespace
57
Eric Liu6c8e8582018-02-26 08:32:13 +000058bool isLiteralInclude(llvm::StringRef Include) {
59 return Include.startswith("<") || Include.startswith("\"");
60}
61
62bool HeaderFile::valid() const {
63 return (Verbatim && isLiteralInclude(File)) ||
64 (!Verbatim && llvm::sys::path::is_absolute(File));
65}
66
Eric Liu155f5a42018-05-14 12:19:16 +000067std::unique_ptr<PPCallbacks>
68collectInclusionsInMainFileCallback(const SourceManager &SM,
69 std::function<void(Inclusion)> Callback) {
70 return llvm::make_unique<RecordHeaders>(SM, std::move(Callback));
71}
72
Eric Liuc5105f92018-02-16 14:15:55 +000073/// FIXME(ioeric): we might not want to insert an absolute include path if the
74/// path is not shortened.
Eric Liu63f419a2018-05-15 15:29:32 +000075llvm::Expected<std::string> calculateIncludePath(
76 PathRef File, StringRef BuildDir, HeaderSearch &HeaderSearchInfo,
77 const std::vector<Inclusion> &Inclusions, const HeaderFile &DeclaringHeader,
78 const HeaderFile &InsertedHeader) {
Eric Liu6c8e8582018-02-26 08:32:13 +000079 assert(DeclaringHeader.valid() && InsertedHeader.valid());
80 if (File == DeclaringHeader.File || File == InsertedHeader.File)
Eric Liu709bde82018-02-19 18:48:44 +000081 return "";
Eric Liu155f5a42018-05-14 12:19:16 +000082 llvm::StringSet<> IncludedHeaders;
83 for (const auto &Inc : Inclusions) {
84 IncludedHeaders.insert(Inc.Written);
85 if (!Inc.Resolved.empty())
86 IncludedHeaders.insert(Inc.Resolved);
87 }
Eric Liu6c8e8582018-02-26 08:32:13 +000088 auto Included = [&](llvm::StringRef Header) {
Eric Liu155f5a42018-05-14 12:19:16 +000089 return IncludedHeaders.find(Header) != IncludedHeaders.end();
Eric Liu6c8e8582018-02-26 08:32:13 +000090 };
91 if (Included(DeclaringHeader.File) || Included(InsertedHeader.File))
92 return "";
Eric Liuc5105f92018-02-16 14:15:55 +000093
Eric Liuc5105f92018-02-16 14:15:55 +000094 bool IsSystem = false;
Eric Liu6c8e8582018-02-26 08:32:13 +000095
96 if (InsertedHeader.Verbatim)
97 return InsertedHeader.File;
98
Eric Liuc5105f92018-02-16 14:15:55 +000099 std::string Suggested = HeaderSearchInfo.suggestPathToFileForDiagnostics(
Eric Liu63f419a2018-05-15 15:29:32 +0000100 InsertedHeader.File, BuildDir, &IsSystem);
Eric Liuc5105f92018-02-16 14:15:55 +0000101 if (IsSystem)
102 Suggested = "<" + Suggested + ">";
103 else
104 Suggested = "\"" + Suggested + "\"";
105
Eric Liu6c8e8582018-02-26 08:32:13 +0000106 log("Suggested #include for " + InsertedHeader.File + " is: " + Suggested);
Eric Liuc5105f92018-02-16 14:15:55 +0000107 return Suggested;
108}
109
Eric Liu63f419a2018-05-15 15:29:32 +0000110Expected<Optional<TextEdit>>
111IncludeInserter::insert(const HeaderFile &DeclaringHeader,
112 const HeaderFile &InsertedHeader) const {
113 auto Validate = [](const HeaderFile &Header) {
114 return Header.valid()
115 ? llvm::Error::success()
116 : llvm::make_error<llvm::StringError>(
117 "Invalid HeaderFile: " + Header.File +
118 " (verbatim=" + std::to_string(Header.Verbatim) + ").",
119 llvm::inconvertibleErrorCode());
120 };
121 if (auto Err = Validate(DeclaringHeader))
122 return std::move(Err);
123 if (auto Err = Validate(InsertedHeader))
124 return std::move(Err);
125 auto Include =
126 calculateIncludePath(FileName, BuildDir, HeaderSearchInfo, Inclusions,
127 DeclaringHeader, InsertedHeader);
128 if (!Include)
129 return Include.takeError();
130 if (Include->empty())
131 return llvm::None;
132 StringRef IncludeRef = *Include;
133 auto Insertion =
134 Inserter.insert(IncludeRef.trim("\"<>"), IncludeRef.startswith("<"));
135 if (!Insertion)
136 return llvm::None;
137 return replacementToEdit(Code, *Insertion);
138}
139
Eric Liuc5105f92018-02-16 14:15:55 +0000140} // namespace clangd
141} // namespace clang