17330f729Sjoerg //===- FixItRewriter.cpp - Fix-It Rewriter Diagnostic Client --------------===//
27330f729Sjoerg //
37330f729Sjoerg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
47330f729Sjoerg // See https://llvm.org/LICENSE.txt for license information.
57330f729Sjoerg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
67330f729Sjoerg //
77330f729Sjoerg //===----------------------------------------------------------------------===//
87330f729Sjoerg //
97330f729Sjoerg // This is a diagnostic client adaptor that performs rewrites as
107330f729Sjoerg // suggested by code modification hints attached to diagnostics. It
117330f729Sjoerg // then forwards any diagnostics to the adapted diagnostic client.
127330f729Sjoerg //
137330f729Sjoerg //===----------------------------------------------------------------------===//
147330f729Sjoerg
157330f729Sjoerg #include "clang/Rewrite/Frontend/FixItRewriter.h"
167330f729Sjoerg #include "clang/Basic/Diagnostic.h"
177330f729Sjoerg #include "clang/Basic/FileManager.h"
187330f729Sjoerg #include "clang/Basic/LLVM.h"
197330f729Sjoerg #include "clang/Basic/SourceLocation.h"
207330f729Sjoerg #include "clang/Basic/SourceManager.h"
217330f729Sjoerg #include "clang/Edit/Commit.h"
227330f729Sjoerg #include "clang/Edit/EditsReceiver.h"
237330f729Sjoerg #include "clang/Frontend/FrontendDiagnostic.h"
247330f729Sjoerg #include "clang/Rewrite/Core/RewriteBuffer.h"
257330f729Sjoerg #include "clang/Rewrite/Core/Rewriter.h"
267330f729Sjoerg #include "llvm/ADT/StringRef.h"
277330f729Sjoerg #include "llvm/Support/FileSystem.h"
287330f729Sjoerg #include "llvm/Support/raw_ostream.h"
297330f729Sjoerg #include <cstdio>
307330f729Sjoerg #include <memory>
317330f729Sjoerg #include <string>
327330f729Sjoerg #include <system_error>
337330f729Sjoerg #include <utility>
347330f729Sjoerg
357330f729Sjoerg using namespace clang;
367330f729Sjoerg
FixItRewriter(DiagnosticsEngine & Diags,SourceManager & SourceMgr,const LangOptions & LangOpts,FixItOptions * FixItOpts)377330f729Sjoerg FixItRewriter::FixItRewriter(DiagnosticsEngine &Diags, SourceManager &SourceMgr,
387330f729Sjoerg const LangOptions &LangOpts,
397330f729Sjoerg FixItOptions *FixItOpts)
407330f729Sjoerg : Diags(Diags), Editor(SourceMgr, LangOpts), Rewrite(SourceMgr, LangOpts),
417330f729Sjoerg FixItOpts(FixItOpts) {
427330f729Sjoerg Owner = Diags.takeClient();
437330f729Sjoerg Client = Diags.getClient();
447330f729Sjoerg Diags.setClient(this, false);
457330f729Sjoerg }
467330f729Sjoerg
~FixItRewriter()477330f729Sjoerg FixItRewriter::~FixItRewriter() {
487330f729Sjoerg Diags.setClient(Client, Owner.release() != nullptr);
497330f729Sjoerg }
507330f729Sjoerg
WriteFixedFile(FileID ID,raw_ostream & OS)517330f729Sjoerg bool FixItRewriter::WriteFixedFile(FileID ID, raw_ostream &OS) {
527330f729Sjoerg const RewriteBuffer *RewriteBuf = Rewrite.getRewriteBufferFor(ID);
537330f729Sjoerg if (!RewriteBuf) return true;
547330f729Sjoerg RewriteBuf->write(OS);
557330f729Sjoerg OS.flush();
567330f729Sjoerg return false;
577330f729Sjoerg }
587330f729Sjoerg
597330f729Sjoerg namespace {
607330f729Sjoerg
617330f729Sjoerg class RewritesReceiver : public edit::EditsReceiver {
627330f729Sjoerg Rewriter &Rewrite;
637330f729Sjoerg
647330f729Sjoerg public:
RewritesReceiver(Rewriter & Rewrite)657330f729Sjoerg RewritesReceiver(Rewriter &Rewrite) : Rewrite(Rewrite) {}
667330f729Sjoerg
insert(SourceLocation loc,StringRef text)677330f729Sjoerg void insert(SourceLocation loc, StringRef text) override {
687330f729Sjoerg Rewrite.InsertText(loc, text);
697330f729Sjoerg }
707330f729Sjoerg
replace(CharSourceRange range,StringRef text)717330f729Sjoerg void replace(CharSourceRange range, StringRef text) override {
727330f729Sjoerg Rewrite.ReplaceText(range.getBegin(), Rewrite.getRangeSize(range), text);
737330f729Sjoerg }
747330f729Sjoerg };
757330f729Sjoerg
767330f729Sjoerg } // namespace
777330f729Sjoerg
WriteFixedFiles(std::vector<std::pair<std::string,std::string>> * RewrittenFiles)787330f729Sjoerg bool FixItRewriter::WriteFixedFiles(
797330f729Sjoerg std::vector<std::pair<std::string, std::string>> *RewrittenFiles) {
807330f729Sjoerg if (NumFailures > 0 && !FixItOpts->FixWhatYouCan) {
817330f729Sjoerg Diag(FullSourceLoc(), diag::warn_fixit_no_changes);
827330f729Sjoerg return true;
837330f729Sjoerg }
847330f729Sjoerg
857330f729Sjoerg RewritesReceiver Rec(Rewrite);
867330f729Sjoerg Editor.applyRewrites(Rec);
877330f729Sjoerg
887330f729Sjoerg if (FixItOpts->InPlace) {
897330f729Sjoerg // Overwriting open files on Windows is tricky, but the rewriter can do it
907330f729Sjoerg // for us.
917330f729Sjoerg Rewrite.overwriteChangedFiles();
927330f729Sjoerg return false;
937330f729Sjoerg }
947330f729Sjoerg
957330f729Sjoerg for (iterator I = buffer_begin(), E = buffer_end(); I != E; ++I) {
967330f729Sjoerg const FileEntry *Entry = Rewrite.getSourceMgr().getFileEntryForID(I->first);
977330f729Sjoerg int fd;
98*e038c9c4Sjoerg std::string Filename =
99*e038c9c4Sjoerg FixItOpts->RewriteFilename(std::string(Entry->getName()), fd);
1007330f729Sjoerg std::error_code EC;
1017330f729Sjoerg std::unique_ptr<llvm::raw_fd_ostream> OS;
1027330f729Sjoerg if (fd != -1) {
1037330f729Sjoerg OS.reset(new llvm::raw_fd_ostream(fd, /*shouldClose=*/true));
1047330f729Sjoerg } else {
1057330f729Sjoerg OS.reset(new llvm::raw_fd_ostream(Filename, EC, llvm::sys::fs::OF_None));
1067330f729Sjoerg }
1077330f729Sjoerg if (EC) {
1087330f729Sjoerg Diags.Report(clang::diag::err_fe_unable_to_open_output) << Filename
1097330f729Sjoerg << EC.message();
1107330f729Sjoerg continue;
1117330f729Sjoerg }
1127330f729Sjoerg RewriteBuffer &RewriteBuf = I->second;
1137330f729Sjoerg RewriteBuf.write(*OS);
1147330f729Sjoerg OS->flush();
1157330f729Sjoerg
1167330f729Sjoerg if (RewrittenFiles)
117*e038c9c4Sjoerg RewrittenFiles->push_back(
118*e038c9c4Sjoerg std::make_pair(std::string(Entry->getName()), Filename));
1197330f729Sjoerg }
1207330f729Sjoerg
1217330f729Sjoerg return false;
1227330f729Sjoerg }
1237330f729Sjoerg
IncludeInDiagnosticCounts() const1247330f729Sjoerg bool FixItRewriter::IncludeInDiagnosticCounts() const {
1257330f729Sjoerg return Client ? Client->IncludeInDiagnosticCounts() : true;
1267330f729Sjoerg }
1277330f729Sjoerg
HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,const Diagnostic & Info)1287330f729Sjoerg void FixItRewriter::HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
1297330f729Sjoerg const Diagnostic &Info) {
1307330f729Sjoerg // Default implementation (Warnings/errors count).
1317330f729Sjoerg DiagnosticConsumer::HandleDiagnostic(DiagLevel, Info);
1327330f729Sjoerg
1337330f729Sjoerg if (!FixItOpts->Silent ||
1347330f729Sjoerg DiagLevel >= DiagnosticsEngine::Error ||
1357330f729Sjoerg (DiagLevel == DiagnosticsEngine::Note && !PrevDiagSilenced) ||
1367330f729Sjoerg (DiagLevel > DiagnosticsEngine::Note && Info.getNumFixItHints())) {
1377330f729Sjoerg Client->HandleDiagnostic(DiagLevel, Info);
1387330f729Sjoerg PrevDiagSilenced = false;
1397330f729Sjoerg } else {
1407330f729Sjoerg PrevDiagSilenced = true;
1417330f729Sjoerg }
1427330f729Sjoerg
1437330f729Sjoerg // Skip over any diagnostics that are ignored or notes.
1447330f729Sjoerg if (DiagLevel <= DiagnosticsEngine::Note)
1457330f729Sjoerg return;
1467330f729Sjoerg // Skip over errors if we are only fixing warnings.
1477330f729Sjoerg if (DiagLevel >= DiagnosticsEngine::Error && FixItOpts->FixOnlyWarnings) {
1487330f729Sjoerg ++NumFailures;
1497330f729Sjoerg return;
1507330f729Sjoerg }
1517330f729Sjoerg
1527330f729Sjoerg // Make sure that we can perform all of the modifications we
1537330f729Sjoerg // in this diagnostic.
1547330f729Sjoerg edit::Commit commit(Editor);
1557330f729Sjoerg for (unsigned Idx = 0, Last = Info.getNumFixItHints();
1567330f729Sjoerg Idx < Last; ++Idx) {
1577330f729Sjoerg const FixItHint &Hint = Info.getFixItHint(Idx);
1587330f729Sjoerg
1597330f729Sjoerg if (Hint.CodeToInsert.empty()) {
1607330f729Sjoerg if (Hint.InsertFromRange.isValid())
1617330f729Sjoerg commit.insertFromRange(Hint.RemoveRange.getBegin(),
1627330f729Sjoerg Hint.InsertFromRange, /*afterToken=*/false,
1637330f729Sjoerg Hint.BeforePreviousInsertions);
1647330f729Sjoerg else
1657330f729Sjoerg commit.remove(Hint.RemoveRange);
1667330f729Sjoerg } else {
1677330f729Sjoerg if (Hint.RemoveRange.isTokenRange() ||
1687330f729Sjoerg Hint.RemoveRange.getBegin() != Hint.RemoveRange.getEnd())
1697330f729Sjoerg commit.replace(Hint.RemoveRange, Hint.CodeToInsert);
1707330f729Sjoerg else
1717330f729Sjoerg commit.insert(Hint.RemoveRange.getBegin(), Hint.CodeToInsert,
1727330f729Sjoerg /*afterToken=*/false, Hint.BeforePreviousInsertions);
1737330f729Sjoerg }
1747330f729Sjoerg }
1757330f729Sjoerg bool CanRewrite = Info.getNumFixItHints() > 0 && commit.isCommitable();
1767330f729Sjoerg
1777330f729Sjoerg if (!CanRewrite) {
1787330f729Sjoerg if (Info.getNumFixItHints() > 0)
1797330f729Sjoerg Diag(Info.getLocation(), diag::note_fixit_in_macro);
1807330f729Sjoerg
1817330f729Sjoerg // If this was an error, refuse to perform any rewriting.
1827330f729Sjoerg if (DiagLevel >= DiagnosticsEngine::Error) {
1837330f729Sjoerg if (++NumFailures == 1)
1847330f729Sjoerg Diag(Info.getLocation(), diag::note_fixit_unfixed_error);
1857330f729Sjoerg }
1867330f729Sjoerg return;
1877330f729Sjoerg }
1887330f729Sjoerg
1897330f729Sjoerg if (!Editor.commit(commit)) {
1907330f729Sjoerg ++NumFailures;
1917330f729Sjoerg Diag(Info.getLocation(), diag::note_fixit_failed);
1927330f729Sjoerg return;
1937330f729Sjoerg }
1947330f729Sjoerg
1957330f729Sjoerg Diag(Info.getLocation(), diag::note_fixit_applied);
1967330f729Sjoerg }
1977330f729Sjoerg
1987330f729Sjoerg /// Emit a diagnostic via the adapted diagnostic client.
Diag(SourceLocation Loc,unsigned DiagID)1997330f729Sjoerg void FixItRewriter::Diag(SourceLocation Loc, unsigned DiagID) {
2007330f729Sjoerg // When producing this diagnostic, we temporarily bypass ourselves,
2017330f729Sjoerg // clear out any current diagnostic, and let the downstream client
2027330f729Sjoerg // format the diagnostic.
2037330f729Sjoerg Diags.setClient(Client, false);
2047330f729Sjoerg Diags.Clear();
2057330f729Sjoerg Diags.Report(Loc, DiagID);
2067330f729Sjoerg Diags.setClient(this, false);
2077330f729Sjoerg }
2087330f729Sjoerg
2097330f729Sjoerg FixItOptions::~FixItOptions() = default;
210