blob: 8883b91ab9ea63bcd3cfdf40b14db8a0ee8741b3 [file] [log] [blame]
Douglas Gregor558cb562009-04-02 01:08:08 +00001//===--- FixItRewriter.cpp - Fix-It Rewriter Diagnostic Client --*- 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// This is a diagnostic client adaptor that performs rewrites as
11// suggested by code modification hints attached to diagnostics. It
12// then forwards any diagnostics to the adapted diagnostic client.
13//
14//===----------------------------------------------------------------------===//
Douglas Gregor837a4062009-04-02 16:34:42 +000015
Douglas Gregor558cb562009-04-02 01:08:08 +000016#include "clang/Frontend/FixItRewriter.h"
Douglas Gregor837a4062009-04-02 16:34:42 +000017#include "clang/Basic/SourceManager.h"
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000018#include "clang/Frontend/FrontendDiagnostic.h"
Douglas Gregor558cb562009-04-02 01:08:08 +000019#include "llvm/ADT/OwningPtr.h"
20#include "llvm/Support/Streams.h"
21#include "llvm/Support/raw_ostream.h"
22#include "llvm/System/Path.h"
Douglas Gregor558cb562009-04-02 01:08:08 +000023using namespace clang;
24
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000025FixItRewriter::FixItRewriter(Diagnostic &Diags, SourceManager &SourceMgr)
26 : Diags(Diags), Rewrite(SourceMgr), NumFailures(0) {
27 Client = Diags.getClient();
28 Diags.setClient(this);
Douglas Gregor558cb562009-04-02 01:08:08 +000029}
30
31FixItRewriter::~FixItRewriter() {
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000032 Diags.setClient(Client);
Douglas Gregor558cb562009-04-02 01:08:08 +000033}
34
35bool FixItRewriter::WriteFixedFile(const std::string &InFileName,
36 const std::string &OutFileName) {
37 if (NumFailures > 0) {
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000038 Diag(FullSourceLoc(), diag::warn_fixit_no_changes);
Douglas Gregor558cb562009-04-02 01:08:08 +000039 return true;
40 }
41
42 llvm::OwningPtr<llvm::raw_ostream> OwnedStream;
43 llvm::raw_ostream *OutFile;
Douglas Gregor837a4062009-04-02 16:34:42 +000044 if (!OutFileName.empty()) {
Douglas Gregor558cb562009-04-02 01:08:08 +000045 std::string Err;
46 OutFile = new llvm::raw_fd_ostream(OutFileName.c_str(),
47 // set binary mode (critical for Windoze)
48 true,
49 Err);
50 OwnedStream.reset(OutFile);
51 } else if (InFileName == "-") {
52 OutFile = &llvm::outs();
53 } else {
54 llvm::sys::Path Path(InFileName);
Douglas Gregor26103482009-04-02 03:14:12 +000055 std::string Suffix = Path.getSuffix();
Douglas Gregor558cb562009-04-02 01:08:08 +000056 Path.eraseSuffix();
Douglas Gregor26103482009-04-02 03:14:12 +000057 Path.appendSuffix("fixit." + Suffix);
Douglas Gregor558cb562009-04-02 01:08:08 +000058 std::string Err;
59 OutFile = new llvm::raw_fd_ostream(Path.toString().c_str(),
60 // set binary mode (critical for Windoze)
61 true,
62 Err);
63 OwnedStream.reset(OutFile);
64 }
65
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000066 FileID MainFileID = Rewrite.getSourceMgr().getMainFileID();
Douglas Gregor558cb562009-04-02 01:08:08 +000067 if (const RewriteBuffer *RewriteBuf =
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000068 Rewrite.getRewriteBufferFor(MainFileID)) {
Douglas Gregor558cb562009-04-02 01:08:08 +000069 *OutFile << std::string(RewriteBuf->begin(), RewriteBuf->end());
70 } else {
71 std::fprintf(stderr, "Main file is unchanged\n");
72 }
73 OutFile->flush();
74
75 return false;
76}
77
78bool FixItRewriter::IncludeInDiagnosticCounts() const {
Douglas Gregor837a4062009-04-02 16:34:42 +000079 return Client? Client->IncludeInDiagnosticCounts() : true;
Douglas Gregor558cb562009-04-02 01:08:08 +000080}
81
82void FixItRewriter::HandleDiagnostic(Diagnostic::Level DiagLevel,
83 const DiagnosticInfo &Info) {
84 if (Client)
85 Client->HandleDiagnostic(DiagLevel, Info);
86
87 // Make sure that we can perform all of the modifications we
88 // in this diagnostic.
Douglas Gregor837a4062009-04-02 16:34:42 +000089 bool CanRewrite = Info.getNumCodeModificationHints() > 0;
90 for (unsigned Idx = 0, Last = Info.getNumCodeModificationHints();
91 Idx < Last; ++Idx) {
Douglas Gregor558cb562009-04-02 01:08:08 +000092 const CodeModificationHint &Hint = Info.getCodeModificationHint(Idx);
93 if (Hint.RemoveRange.isValid() &&
Douglas Gregorde4bf6a2009-04-02 17:13:00 +000094 Rewrite.getRangeSize(Hint.RemoveRange) == -1) {
Douglas Gregor558cb562009-04-02 01:08:08 +000095 CanRewrite = false;
96 break;
97 }
98
99 if (Hint.InsertionLoc.isValid() &&
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000100 !Rewrite.isRewritable(Hint.InsertionLoc)) {
Douglas Gregor558cb562009-04-02 01:08:08 +0000101 CanRewrite = false;
102 break;
103 }
104 }
105
Douglas Gregor837a4062009-04-02 16:34:42 +0000106 if (!CanRewrite) {
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000107 if (Info.getNumCodeModificationHints() > 0)
108 Diag(Info.getLocation(), diag::note_fixit_in_macro);
Douglas Gregor837a4062009-04-02 16:34:42 +0000109
110 // If this was an error, refuse to perform any rewriting.
111 if (DiagLevel == Diagnostic::Error || DiagLevel == Diagnostic::Fatal) {
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000112 if (++NumFailures == 1)
113 Diag(Info.getLocation(), diag::note_fixit_unfixed_error);
Douglas Gregor837a4062009-04-02 16:34:42 +0000114 }
Douglas Gregor558cb562009-04-02 01:08:08 +0000115 return;
Douglas Gregor837a4062009-04-02 16:34:42 +0000116 }
Douglas Gregor558cb562009-04-02 01:08:08 +0000117
118 bool Failed = false;
Douglas Gregor837a4062009-04-02 16:34:42 +0000119 for (unsigned Idx = 0, Last = Info.getNumCodeModificationHints();
120 Idx < Last; ++Idx) {
Douglas Gregor558cb562009-04-02 01:08:08 +0000121 const CodeModificationHint &Hint = Info.getCodeModificationHint(Idx);
Douglas Gregor837a4062009-04-02 16:34:42 +0000122 if (!Hint.RemoveRange.isValid()) {
Douglas Gregor558cb562009-04-02 01:08:08 +0000123 // We're adding code.
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000124 if (Rewrite.InsertStrBefore(Hint.InsertionLoc, Hint.CodeToInsert))
Douglas Gregor558cb562009-04-02 01:08:08 +0000125 Failed = true;
Douglas Gregor837a4062009-04-02 16:34:42 +0000126 continue;
Douglas Gregor558cb562009-04-02 01:08:08 +0000127 }
Douglas Gregor837a4062009-04-02 16:34:42 +0000128
129 if (Hint.CodeToInsert.empty()) {
130 // We're removing code.
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000131 if (Rewrite.RemoveText(Hint.RemoveRange.getBegin(),
132 Rewrite.getRangeSize(Hint.RemoveRange)))
Douglas Gregor837a4062009-04-02 16:34:42 +0000133 Failed = true;
134 continue;
135 }
136
137 // We're replacing code.
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000138 if (Rewrite.ReplaceText(Hint.RemoveRange.getBegin(),
139 Rewrite.getRangeSize(Hint.RemoveRange),
140 Hint.CodeToInsert.c_str(),
141 Hint.CodeToInsert.size()))
Douglas Gregor837a4062009-04-02 16:34:42 +0000142 Failed = true;
Douglas Gregor558cb562009-04-02 01:08:08 +0000143 }
144
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000145 if (Failed) {
Douglas Gregor558cb562009-04-02 01:08:08 +0000146 ++NumFailures;
Douglas Gregorde4bf6a2009-04-02 17:13:00 +0000147 Diag(Info.getLocation(), diag::note_fixit_failed);
148 return;
149 }
150
151 Diag(Info.getLocation(), diag::note_fixit_applied);
152}
153
154/// \brief Emit a diagnostic via the adapted diagnostic client.
155void FixItRewriter::Diag(FullSourceLoc Loc, unsigned DiagID) {
156 // When producing this diagnostic, we temporarily bypass ourselves,
157 // clear out any current diagnostic, and let the downstream client
158 // format the diagnostic.
159 Diags.setClient(Client);
160 Diags.Clear();
161 Diags.Report(Loc, DiagID);
162 Diags.setClient(this);
Douglas Gregor558cb562009-04-02 01:08:08 +0000163}