Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 1 | //===-- ClangIncludeFixer.cpp - Standalone include fixer ------------------===// |
| 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 | |
Sam McCall | 9c5ebf7 | 2017-03-13 15:55:59 +0000 | [diff] [blame] | 10 | #include "FuzzySymbolIndex.h" |
Benjamin Kramer | a3d8233 | 2016-05-13 09:27:54 +0000 | [diff] [blame] | 11 | #include "InMemorySymbolIndex.h" |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 12 | #include "IncludeFixer.h" |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 13 | #include "IncludeFixerContext.h" |
Benjamin Kramer | a3d8233 | 2016-05-13 09:27:54 +0000 | [diff] [blame] | 14 | #include "SymbolIndexManager.h" |
| 15 | #include "YamlSymbolIndex.h" |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 16 | #include "clang/Format/Format.h" |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 17 | #include "clang/Frontend/TextDiagnosticPrinter.h" |
| 18 | #include "clang/Rewrite/Core/Rewriter.h" |
| 19 | #include "clang/Tooling/CommonOptionsParser.h" |
Haojian Wu | 627ca96 | 2016-07-08 09:10:29 +0000 | [diff] [blame] | 20 | #include "clang/Tooling/Core/Replacement.h" |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 21 | #include "clang/Tooling/Tooling.h" |
| 22 | #include "llvm/Support/CommandLine.h" |
Benjamin Kramer | 8ff8fdf | 2016-07-18 19:21:22 +0000 | [diff] [blame] | 23 | #include "llvm/Support/Path.h" |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 24 | #include "llvm/Support/YAMLTraits.h" |
Haojian Wu | d8c12ba | 2016-04-29 09:23:38 +0000 | [diff] [blame] | 25 | |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 26 | using namespace clang; |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 27 | using namespace llvm; |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 28 | using clang::include_fixer::IncludeFixerContext; |
| 29 | |
| 30 | LLVM_YAML_IS_DOCUMENT_LIST_VECTOR(IncludeFixerContext) |
| 31 | LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR(std::string) |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 32 | LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR(IncludeFixerContext::HeaderInfo) |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 33 | LLVM_YAML_IS_FLOW_SEQUENCE_VECTOR(IncludeFixerContext::QuerySymbolInfo) |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 34 | |
| 35 | namespace llvm { |
| 36 | namespace yaml { |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 37 | |
| 38 | template <> struct MappingTraits<tooling::Range> { |
| 39 | struct NormalizedRange { |
| 40 | NormalizedRange(const IO &) : Offset(0), Length(0) {} |
| 41 | |
| 42 | NormalizedRange(const IO &, const tooling::Range &R) |
| 43 | : Offset(R.getOffset()), Length(R.getLength()) {} |
| 44 | |
| 45 | tooling::Range denormalize(const IO &) { |
| 46 | return tooling::Range(Offset, Length); |
| 47 | } |
| 48 | |
| 49 | unsigned Offset; |
| 50 | unsigned Length; |
| 51 | }; |
| 52 | static void mapping(IO &IO, tooling::Range &Info) { |
| 53 | MappingNormalization<NormalizedRange, tooling::Range> Keys(IO, Info); |
| 54 | IO.mapRequired("Offset", Keys->Offset); |
| 55 | IO.mapRequired("Length", Keys->Length); |
| 56 | } |
| 57 | }; |
| 58 | |
| 59 | template <> struct MappingTraits<IncludeFixerContext::HeaderInfo> { |
| 60 | static void mapping(IO &io, IncludeFixerContext::HeaderInfo &Info) { |
| 61 | io.mapRequired("Header", Info.Header); |
| 62 | io.mapRequired("QualifiedName", Info.QualifiedName); |
| 63 | } |
| 64 | }; |
| 65 | |
Haojian Wu | 9e4bd0c | 2016-07-19 14:49:04 +0000 | [diff] [blame] | 66 | template <> struct MappingTraits<IncludeFixerContext::QuerySymbolInfo> { |
| 67 | static void mapping(IO &io, IncludeFixerContext::QuerySymbolInfo &Info) { |
| 68 | io.mapRequired("RawIdentifier", Info.RawIdentifier); |
| 69 | io.mapRequired("Range", Info.Range); |
| 70 | } |
| 71 | }; |
| 72 | |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 73 | template <> struct MappingTraits<IncludeFixerContext> { |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 74 | static void mapping(IO &IO, IncludeFixerContext &Context) { |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 75 | IO.mapRequired("QuerySymbolInfos", Context.QuerySymbolInfos); |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 76 | IO.mapRequired("HeaderInfos", Context.HeaderInfos); |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 77 | IO.mapRequired("FilePath", Context.FilePath); |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 78 | } |
| 79 | }; |
| 80 | } // namespace yaml |
| 81 | } // namespace llvm |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 82 | |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 83 | namespace { |
| 84 | cl::OptionCategory IncludeFixerCategory("Tool options"); |
| 85 | |
| 86 | enum DatabaseFormatTy { |
Sam McCall | 9c5ebf7 | 2017-03-13 15:55:59 +0000 | [diff] [blame] | 87 | fixed, ///< Hard-coded mapping. |
| 88 | yaml, ///< Yaml database created by find-all-symbols. |
| 89 | fuzzyYaml, ///< Yaml database with fuzzy-matched identifiers. |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 90 | }; |
| 91 | |
| 92 | cl::opt<DatabaseFormatTy> DatabaseFormat( |
| 93 | "db", cl::desc("Specify input format"), |
Haojian Wu | d8c12ba | 2016-04-29 09:23:38 +0000 | [diff] [blame] | 94 | cl::values(clEnumVal(fixed, "Hard-coded mapping"), |
Sam McCall | 9c5ebf7 | 2017-03-13 15:55:59 +0000 | [diff] [blame] | 95 | clEnumVal(yaml, "Yaml database created by find-all-symbols"), |
| 96 | clEnumVal(fuzzyYaml, "Yaml database, with fuzzy-matched names")), |
Benjamin Kramer | 8fd85a5 | 2016-05-10 11:35:47 +0000 | [diff] [blame] | 97 | cl::init(yaml), cl::cat(IncludeFixerCategory)); |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 98 | |
| 99 | cl::opt<std::string> Input("input", |
| 100 | cl::desc("String to initialize the database"), |
| 101 | cl::cat(IncludeFixerCategory)); |
Benjamin Kramer | 3a45fab | 2016-04-28 11:21:29 +0000 | [diff] [blame] | 102 | |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 103 | cl::opt<std::string> |
| 104 | QuerySymbol("query-symbol", |
| 105 | cl::desc("Query a given symbol (e.g. \"a::b::foo\") in\n" |
| 106 | "database directly without parsing the file."), |
| 107 | cl::cat(IncludeFixerCategory)); |
| 108 | |
Benjamin Kramer | 3a45fab | 2016-04-28 11:21:29 +0000 | [diff] [blame] | 109 | cl::opt<bool> |
| 110 | MinimizeIncludePaths("minimize-paths", |
| 111 | cl::desc("Whether to minimize added include paths"), |
| 112 | cl::init(true), cl::cat(IncludeFixerCategory)); |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 113 | |
Benjamin Kramer | 5471829 | 2016-05-10 08:36:56 +0000 | [diff] [blame] | 114 | cl::opt<bool> Quiet("q", cl::desc("Reduce terminal output"), cl::init(false), |
| 115 | cl::cat(IncludeFixerCategory)); |
| 116 | |
Eric Liu | c7f3b10 | 2016-05-18 14:10:16 +0000 | [diff] [blame] | 117 | cl::opt<bool> |
| 118 | STDINMode("stdin", |
| 119 | cl::desc("Override source file's content (in the overlaying\n" |
| 120 | "virtual file system) with input from <stdin> and run\n" |
| 121 | "the tool on the new content with the compilation\n" |
| 122 | "options of the source file. This mode is currently\n" |
| 123 | "used for editor integration."), |
| 124 | cl::init(false), cl::cat(IncludeFixerCategory)); |
| 125 | |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 126 | cl::opt<bool> OutputHeaders( |
| 127 | "output-headers", |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 128 | cl::desc("Print the symbol being queried and all its relevant headers in\n" |
| 129 | "JSON format to stdout:\n" |
| 130 | " {\n" |
Haojian Wu | ab37264 | 2016-08-17 11:31:19 +0000 | [diff] [blame] | 131 | " \"FilePath\": \"/path/to/foo.cc\",\n" |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 132 | " \"QuerySymbolInfos\": [\n" |
| 133 | " {\"RawIdentifier\": \"foo\",\n" |
| 134 | " \"Range\": {\"Offset\": 0, \"Length\": 3}}\n" |
| 135 | " ],\n" |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 136 | " \"HeaderInfos\": [ {\"Header\": \"\\\"foo_a.h\\\"\",\n" |
| 137 | " \"QualifiedName\": \"a::foo\"} ]\n" |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 138 | " }"), |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 139 | cl::init(false), cl::cat(IncludeFixerCategory)); |
| 140 | |
| 141 | cl::opt<std::string> InsertHeader( |
| 142 | "insert-header", |
| 143 | cl::desc("Insert a specific header. This should run with STDIN mode.\n" |
| 144 | "The result is written to stdout. It is currently used for\n" |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 145 | "editor integration. Support YAML/JSON format:\n" |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 146 | " -insert-header=\"{\n" |
Haojian Wu | ab37264 | 2016-08-17 11:31:19 +0000 | [diff] [blame] | 147 | " FilePath: \"/path/to/foo.cc\",\n" |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 148 | " QuerySymbolInfos: [\n" |
| 149 | " {RawIdentifier: foo,\n" |
| 150 | " Range: {Offset: 0, Length: 3}}\n" |
| 151 | " ],\n" |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 152 | " HeaderInfos: [ {Headers: \"\\\"foo_a.h\\\"\",\n" |
| 153 | " QualifiedName: \"a::foo\"} ]}\""), |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 154 | cl::init(""), cl::cat(IncludeFixerCategory)); |
| 155 | |
Eric Liu | 702cfd1 | 2016-05-19 08:21:09 +0000 | [diff] [blame] | 156 | cl::opt<std::string> |
| 157 | Style("style", |
Haojian Wu | ab37264 | 2016-08-17 11:31:19 +0000 | [diff] [blame] | 158 | cl::desc("Fallback style for reformatting after inserting new\n" |
Eric Liu | 702cfd1 | 2016-05-19 08:21:09 +0000 | [diff] [blame] | 159 | "headers if there is no clang-format config file found."), |
| 160 | cl::init("llvm"), cl::cat(IncludeFixerCategory)); |
| 161 | |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 162 | std::unique_ptr<include_fixer::SymbolIndexManager> |
| 163 | createSymbolIndexManager(StringRef FilePath) { |
Sam McCall | b27dc22 | 2017-02-28 08:13:15 +0000 | [diff] [blame] | 164 | using find_all_symbols::SymbolInfo; |
| 165 | |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 166 | auto SymbolIndexMgr = llvm::make_unique<include_fixer::SymbolIndexManager>(); |
| 167 | switch (DatabaseFormat) { |
| 168 | case fixed: { |
| 169 | // Parse input and fill the database with it. |
| 170 | // <symbol>=<header><, header...> |
| 171 | // Multiple symbols can be given, separated by semicolons. |
| 172 | std::map<std::string, std::vector<std::string>> SymbolsMap; |
| 173 | SmallVector<StringRef, 4> SemicolonSplits; |
| 174 | StringRef(Input).split(SemicolonSplits, ";"); |
Sam McCall | b27dc22 | 2017-02-28 08:13:15 +0000 | [diff] [blame] | 175 | std::vector<find_all_symbols::SymbolAndSignals> Symbols; |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 176 | for (StringRef Pair : SemicolonSplits) { |
| 177 | auto Split = Pair.split('='); |
| 178 | std::vector<std::string> Headers; |
| 179 | SmallVector<StringRef, 4> CommaSplits; |
| 180 | Split.second.split(CommaSplits, ","); |
Benjamin Kramer | 658d280 | 2016-05-31 14:33:28 +0000 | [diff] [blame] | 181 | for (size_t I = 0, E = CommaSplits.size(); I != E; ++I) |
Sam McCall | b27dc22 | 2017-02-28 08:13:15 +0000 | [diff] [blame] | 182 | Symbols.push_back( |
| 183 | {SymbolInfo(Split.first.trim(), SymbolInfo::SymbolKind::Unknown, |
Sam McCall | 573050e | 2017-03-09 10:47:44 +0000 | [diff] [blame] | 184 | CommaSplits[I].trim(), {}), |
Sam McCall | b27dc22 | 2017-02-28 08:13:15 +0000 | [diff] [blame] | 185 | // Use fake "seen" signal for tests, so first header wins. |
| 186 | SymbolInfo::Signals(/*Seen=*/static_cast<unsigned>(E - I), |
| 187 | /*Used=*/0)}); |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 188 | } |
Benjamin Kramer | bdb2171 | 2017-01-09 15:18:28 +0000 | [diff] [blame] | 189 | SymbolIndexMgr->addSymbolIndex([=]() { |
| 190 | return llvm::make_unique<include_fixer::InMemorySymbolIndex>(Symbols); |
| 191 | }); |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 192 | break; |
| 193 | } |
| 194 | case yaml: { |
Benjamin Kramer | bdb2171 | 2017-01-09 15:18:28 +0000 | [diff] [blame] | 195 | auto CreateYamlIdx = [=]() -> std::unique_ptr<include_fixer::SymbolIndex> { |
| 196 | llvm::ErrorOr<std::unique_ptr<include_fixer::YamlSymbolIndex>> DB( |
| 197 | nullptr); |
| 198 | if (!Input.empty()) { |
| 199 | DB = include_fixer::YamlSymbolIndex::createFromFile(Input); |
| 200 | } else { |
| 201 | // If we don't have any input file, look in the directory of the |
| 202 | // first |
| 203 | // file and its parents. |
| 204 | SmallString<128> AbsolutePath(tooling::getAbsolutePath(FilePath)); |
| 205 | StringRef Directory = llvm::sys::path::parent_path(AbsolutePath); |
| 206 | DB = include_fixer::YamlSymbolIndex::createFromDirectory( |
| 207 | Directory, "find_all_symbols_db.yaml"); |
| 208 | } |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 209 | |
Benjamin Kramer | bdb2171 | 2017-01-09 15:18:28 +0000 | [diff] [blame] | 210 | if (!DB) { |
| 211 | llvm::errs() << "Couldn't find YAML db: " << DB.getError().message() |
| 212 | << '\n'; |
| 213 | return nullptr; |
| 214 | } |
| 215 | return std::move(*DB); |
| 216 | }; |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 217 | |
Benjamin Kramer | bdb2171 | 2017-01-09 15:18:28 +0000 | [diff] [blame] | 218 | SymbolIndexMgr->addSymbolIndex(std::move(CreateYamlIdx)); |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 219 | break; |
| 220 | } |
Sam McCall | 9c5ebf7 | 2017-03-13 15:55:59 +0000 | [diff] [blame] | 221 | case fuzzyYaml: { |
| 222 | // This mode is not very useful, because we don't correct the identifier. |
| 223 | // It's main purpose is to expose FuzzySymbolIndex to tests. |
| 224 | SymbolIndexMgr->addSymbolIndex( |
| 225 | []() -> std::unique_ptr<include_fixer::SymbolIndex> { |
| 226 | auto DB = include_fixer::FuzzySymbolIndex::createFromYAML(Input); |
| 227 | if (!DB) { |
| 228 | llvm::errs() << "Couldn't load fuzzy YAML db: " |
| 229 | << llvm::toString(DB.takeError()) << '\n'; |
| 230 | return nullptr; |
| 231 | } |
| 232 | return std::move(*DB); |
| 233 | }); |
| 234 | break; |
| 235 | } |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 236 | } |
| 237 | return SymbolIndexMgr; |
| 238 | } |
| 239 | |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 240 | void writeToJson(llvm::raw_ostream &OS, const IncludeFixerContext& Context) { |
| 241 | OS << "{\n" |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 242 | << " \"FilePath\": \"" |
| 243 | << llvm::yaml::escape(Context.getFilePath()) << "\",\n" |
| 244 | << " \"QuerySymbolInfos\": [\n"; |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 245 | for (const auto &Info : Context.getQuerySymbolInfos()) { |
| 246 | OS << " {\"RawIdentifier\": \"" << Info.RawIdentifier << "\",\n"; |
| 247 | OS << " \"Range\":{"; |
| 248 | OS << "\"Offset\":" << Info.Range.getOffset() << ","; |
| 249 | OS << "\"Length\":" << Info.Range.getLength() << "}}"; |
| 250 | if (&Info != &Context.getQuerySymbolInfos().back()) |
| 251 | OS << ",\n"; |
| 252 | } |
| 253 | OS << "\n ],\n"; |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 254 | OS << " \"HeaderInfos\": [\n"; |
| 255 | const auto &HeaderInfos = Context.getHeaderInfos(); |
| 256 | for (const auto &Info : HeaderInfos) { |
| 257 | OS << " {\"Header\": \"" << llvm::yaml::escape(Info.Header) << "\",\n" |
| 258 | << " \"QualifiedName\": \"" << Info.QualifiedName << "\"}"; |
| 259 | if (&Info != &HeaderInfos.back()) |
| 260 | OS << ",\n"; |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 261 | } |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 262 | OS << "\n"; |
| 263 | OS << " ]\n"; |
| 264 | OS << "}\n"; |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 265 | } |
| 266 | |
Haojian Wu | a315dcb | 2016-05-03 08:38:35 +0000 | [diff] [blame] | 267 | int includeFixerMain(int argc, const char **argv) { |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 268 | tooling::CommonOptionsParser options(argc, argv, IncludeFixerCategory); |
| 269 | tooling::ClangTool tool(options.getCompilations(), |
| 270 | options.getSourcePathList()); |
| 271 | |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 272 | llvm::StringRef SourceFilePath = options.getSourcePathList().front(); |
Eric Liu | c7f3b10 | 2016-05-18 14:10:16 +0000 | [diff] [blame] | 273 | // In STDINMode, we override the file content with the <stdin> input. |
| 274 | // Since `tool.mapVirtualFile` takes `StringRef`, we define `Code` outside of |
| 275 | // the if-block so that `Code` is not released after the if-block. |
| 276 | std::unique_ptr<llvm::MemoryBuffer> Code; |
| 277 | if (STDINMode) { |
| 278 | assert(options.getSourcePathList().size() == 1 && |
| 279 | "Expect exactly one file path in STDINMode."); |
| 280 | llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> CodeOrErr = |
| 281 | MemoryBuffer::getSTDIN(); |
| 282 | if (std::error_code EC = CodeOrErr.getError()) { |
| 283 | errs() << EC.message() << "\n"; |
| 284 | return 1; |
| 285 | } |
| 286 | Code = std::move(CodeOrErr.get()); |
| 287 | if (Code->getBufferSize() == 0) |
| 288 | return 0; // Skip empty files. |
| 289 | |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 290 | tool.mapVirtualFile(SourceFilePath, Code->getBuffer()); |
Eric Liu | c7f3b10 | 2016-05-18 14:10:16 +0000 | [diff] [blame] | 291 | } |
| 292 | |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 293 | if (!InsertHeader.empty()) { |
| 294 | if (!STDINMode) { |
| 295 | errs() << "Should be running in STDIN mode\n"; |
| 296 | return 1; |
| 297 | } |
| 298 | |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 299 | llvm::yaml::Input yin(InsertHeader); |
| 300 | IncludeFixerContext Context; |
| 301 | yin >> Context; |
| 302 | |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 303 | const auto &HeaderInfos = Context.getHeaderInfos(); |
| 304 | assert(!HeaderInfos.empty()); |
| 305 | // We only accept one unique header. |
| 306 | // Check all elements in HeaderInfos have the same header. |
| 307 | bool IsUniqueHeader = std::equal( |
| 308 | HeaderInfos.begin()+1, HeaderInfos.end(), HeaderInfos.begin(), |
| 309 | [](const IncludeFixerContext::HeaderInfo &LHS, |
| 310 | const IncludeFixerContext::HeaderInfo &RHS) { |
| 311 | return LHS.Header == RHS.Header; |
| 312 | }); |
| 313 | if (!IsUniqueHeader) { |
| 314 | errs() << "Expect exactly one unique header.\n"; |
Haojian Wu | 17a54e3 | 2016-06-01 11:43:10 +0000 | [diff] [blame] | 315 | return 1; |
| 316 | } |
| 317 | |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 318 | // If a header has multiple symbols, we won't add the missing namespace |
Haojian Wu | 68c34a0 | 2016-07-13 16:43:54 +0000 | [diff] [blame] | 319 | // qualifiers because we don't know which one is exactly used. |
| 320 | // |
| 321 | // Check whether all elements in HeaderInfos have the same qualified name. |
| 322 | bool IsUniqueQualifiedName = std::equal( |
| 323 | HeaderInfos.begin() + 1, HeaderInfos.end(), HeaderInfos.begin(), |
| 324 | [](const IncludeFixerContext::HeaderInfo &LHS, |
| 325 | const IncludeFixerContext::HeaderInfo &RHS) { |
| 326 | return LHS.QualifiedName == RHS.QualifiedName; |
| 327 | }); |
Antonio Maiorano | 0d7d9c2 | 2017-01-17 00:13:32 +0000 | [diff] [blame] | 328 | auto InsertStyle = format::getStyle("file", Context.getFilePath(), Style); |
| 329 | if (!InsertStyle) { |
| 330 | llvm::errs() << llvm::toString(InsertStyle.takeError()) << "\n"; |
| 331 | return 1; |
| 332 | } |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 333 | auto Replacements = clang::include_fixer::createIncludeFixerReplacements( |
Antonio Maiorano | 0d7d9c2 | 2017-01-17 00:13:32 +0000 | [diff] [blame] | 334 | Code->getBuffer(), Context, *InsertStyle, |
Haojian Wu | 62aee52 | 2016-07-21 13:47:09 +0000 | [diff] [blame] | 335 | /*AddQualifiers=*/IsUniqueQualifiedName); |
| 336 | if (!Replacements) { |
| 337 | errs() << "Failed to create replacements: " |
| 338 | << llvm::toString(Replacements.takeError()) << "\n"; |
| 339 | return 1; |
| 340 | } |
| 341 | |
Eric Liu | a452db4 | 2016-07-11 13:53:21 +0000 | [diff] [blame] | 342 | auto ChangedCode = |
| 343 | tooling::applyAllReplacements(Code->getBuffer(), *Replacements); |
| 344 | if (!ChangedCode) { |
| 345 | llvm::errs() << llvm::toString(ChangedCode.takeError()) << "\n"; |
| 346 | return 1; |
| 347 | } |
| 348 | llvm::outs() << *ChangedCode; |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 349 | return 0; |
| 350 | } |
| 351 | |
Eric Liu | 692aca6 | 2016-05-04 08:22:35 +0000 | [diff] [blame] | 352 | // Set up data source. |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 353 | std::unique_ptr<include_fixer::SymbolIndexManager> SymbolIndexMgr = |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 354 | createSymbolIndexManager(SourceFilePath); |
Haojian Wu | eb6ce06 | 2016-05-31 13:23:00 +0000 | [diff] [blame] | 355 | if (!SymbolIndexMgr) |
| 356 | return 1; |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 357 | |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 358 | // Query symbol mode. |
| 359 | if (!QuerySymbol.empty()) { |
Manuel Klimek | a47515e | 2017-01-11 10:32:47 +0000 | [diff] [blame] | 360 | auto MatchedSymbols = SymbolIndexMgr->search( |
| 361 | QuerySymbol, /*IsNestedSearch=*/true, SourceFilePath); |
Haojian Wu | cd63701 | 2016-09-07 16:34:35 +0000 | [diff] [blame] | 362 | for (auto &Symbol : MatchedSymbols) { |
| 363 | std::string HeaderPath = Symbol.getFilePath().str(); |
| 364 | Symbol.SetFilePath(((HeaderPath[0] == '"' || HeaderPath[0] == '<') |
| 365 | ? HeaderPath |
| 366 | : "\"" + HeaderPath + "\"")); |
| 367 | } |
| 368 | |
| 369 | // We leave an empty symbol range as we don't know the range of the symbol |
| 370 | // being queried in this mode. include-fixer won't add namespace qualifiers |
| 371 | // if the symbol range is empty, which also fits this case. |
| 372 | IncludeFixerContext::QuerySymbolInfo Symbol; |
| 373 | Symbol.RawIdentifier = QuerySymbol; |
| 374 | auto Context = |
| 375 | IncludeFixerContext(SourceFilePath, {Symbol}, MatchedSymbols); |
| 376 | writeToJson(llvm::outs(), Context); |
| 377 | return 0; |
| 378 | } |
| 379 | |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 380 | // Now run our tool. |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 381 | std::vector<include_fixer::IncludeFixerContext> Contexts; |
| 382 | include_fixer::IncludeFixerActionFactory Factory(*SymbolIndexMgr, Contexts, |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 383 | Style, MinimizeIncludePaths); |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 384 | |
Benjamin Kramer | 6b5160a | 2016-05-18 13:32:38 +0000 | [diff] [blame] | 385 | if (tool.run(&Factory) != 0) { |
Benjamin Kramer | 2df9a3f | 2016-10-28 13:00:49 +0000 | [diff] [blame] | 386 | // We suppress all Clang diagnostics (because they would be wrong, |
| 387 | // include-fixer does custom recovery) but still want to give some feedback |
| 388 | // in case there was a compiler error we couldn't recover from. The most |
| 389 | // common case for this is a #include in the file that couldn't be found. |
| 390 | llvm::errs() << "Fatal compiler error occurred while parsing file!" |
| 391 | " (incorrect include paths?)\n"; |
Benjamin Kramer | 6b5160a | 2016-05-18 13:32:38 +0000 | [diff] [blame] | 392 | return 1; |
| 393 | } |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 394 | |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 395 | assert(!Contexts.empty()); |
| 396 | |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 397 | if (OutputHeaders) { |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 398 | // FIXME: Print contexts of all processing files instead of the first one. |
| 399 | writeToJson(llvm::outs(), Contexts.front()); |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 400 | return 0; |
| 401 | } |
| 402 | |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 403 | std::vector<tooling::Replacements> FixerReplacements; |
| 404 | for (const auto &Context : Contexts) { |
| 405 | StringRef FilePath = Context.getFilePath(); |
Antonio Maiorano | 0d7d9c2 | 2017-01-17 00:13:32 +0000 | [diff] [blame] | 406 | auto InsertStyle = format::getStyle("file", FilePath, Style); |
| 407 | if (!InsertStyle) { |
| 408 | llvm::errs() << llvm::toString(InsertStyle.takeError()) << "\n"; |
| 409 | return 1; |
| 410 | } |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 411 | auto Buffer = llvm::MemoryBuffer::getFile(FilePath); |
| 412 | if (!Buffer) { |
| 413 | errs() << "Couldn't open file: " + FilePath.str() + ": " |
| 414 | << Buffer.getError().message() + "\n"; |
| 415 | return 1; |
| 416 | } |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 417 | |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 418 | auto Replacements = clang::include_fixer::createIncludeFixerReplacements( |
Antonio Maiorano | 0d7d9c2 | 2017-01-17 00:13:32 +0000 | [diff] [blame] | 419 | Buffer.get()->getBuffer(), Context, *InsertStyle); |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 420 | if (!Replacements) { |
| 421 | errs() << "Failed to create replacement: " |
| 422 | << llvm::toString(Replacements.takeError()) << "\n"; |
| 423 | return 1; |
| 424 | } |
| 425 | FixerReplacements.push_back(*Replacements); |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 426 | } |
| 427 | |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 428 | if (!Quiet) { |
| 429 | for (const auto &Context : Contexts) { |
| 430 | if (!Context.getHeaderInfos().empty()) { |
| 431 | llvm::errs() << "Added #include " |
| 432 | << Context.getHeaderInfos().front().Header << " for " |
| 433 | << Context.getFilePath() << "\n"; |
| 434 | } |
| 435 | } |
Eric Liu | a452db4 | 2016-07-11 13:53:21 +0000 | [diff] [blame] | 436 | } |
Haojian Wu | 11e9bd2 | 2016-05-31 09:31:51 +0000 | [diff] [blame] | 437 | |
Eric Liu | c7f3b10 | 2016-05-18 14:10:16 +0000 | [diff] [blame] | 438 | if (STDINMode) { |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 439 | assert(FixerReplacements.size() == 1); |
| 440 | auto ChangedCode = tooling::applyAllReplacements(Code->getBuffer(), |
| 441 | FixerReplacements.front()); |
Eric Liu | a452db4 | 2016-07-11 13:53:21 +0000 | [diff] [blame] | 442 | if (!ChangedCode) { |
| 443 | llvm::errs() << llvm::toString(ChangedCode.takeError()) << "\n"; |
| 444 | return 1; |
| 445 | } |
| 446 | llvm::outs() << *ChangedCode; |
Eric Liu | c7f3b10 | 2016-05-18 14:10:16 +0000 | [diff] [blame] | 447 | return 0; |
| 448 | } |
| 449 | |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 450 | // Set up a new source manager for applying the resulting replacements. |
| 451 | IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts(new DiagnosticOptions); |
| 452 | DiagnosticsEngine Diagnostics(new DiagnosticIDs, &*DiagOpts); |
| 453 | TextDiagnosticPrinter DiagnosticPrinter(outs(), &*DiagOpts); |
| 454 | SourceManager SM(Diagnostics, tool.getFiles()); |
| 455 | Diagnostics.setClient(&DiagnosticPrinter, false); |
| 456 | |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 457 | // Write replacements to disk. |
Benjamin Kramer | f412e90 | 2016-04-27 14:24:32 +0000 | [diff] [blame] | 458 | Rewriter Rewrites(SM, LangOptions()); |
Benjamin Kramer | 089a39e | 2016-10-19 13:50:17 +0000 | [diff] [blame] | 459 | for (const auto &Replacement : FixerReplacements) { |
Haojian Wu | c99f728 | 2016-08-09 08:26:19 +0000 | [diff] [blame] | 460 | if (!tooling::applyAllReplacements(Replacement, Rewrites)) { |
| 461 | llvm::errs() << "Failed to apply replacements.\n"; |
| 462 | return 1; |
| 463 | } |
| 464 | } |
Benjamin Kramer | 6b23626 | 2016-04-20 12:43:43 +0000 | [diff] [blame] | 465 | return Rewrites.overwriteChangedFiles(); |
| 466 | } |
Haojian Wu | a315dcb | 2016-05-03 08:38:35 +0000 | [diff] [blame] | 467 | |
| 468 | } // namespace |
| 469 | |
| 470 | int main(int argc, const char **argv) { |
| 471 | return includeFixerMain(argc, argv); |
| 472 | } |