| 1 | //===--- TokenAnalyzer.cpp - Analyze Token Streams --------------*- C++ -*-===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
| 10 | /// This file implements an abstract TokenAnalyzer and associated helper |
| 11 | /// classes. TokenAnalyzer can be extended to generate replacements based on |
| 12 | /// an annotated and pre-processed token stream. |
| 13 | /// |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| 16 | #include "TokenAnalyzer.h" |
| 17 | #include "AffectedRangeManager.h" |
| 18 | #include "Encoding.h" |
| 19 | #include "FormatToken.h" |
| 20 | #include "FormatTokenLexer.h" |
| 21 | #include "TokenAnnotator.h" |
| 22 | #include "UnwrappedLineParser.h" |
| 23 | #include "clang/Basic/Diagnostic.h" |
| 24 | #include "clang/Basic/DiagnosticOptions.h" |
| 25 | #include "clang/Basic/FileManager.h" |
| 26 | #include "clang/Basic/SourceManager.h" |
| 27 | #include "clang/Format/Format.h" |
| 28 | #include "llvm/ADT/STLExtras.h" |
| 29 | #include "llvm/Support/Debug.h" |
| 30 | |
| 31 | #define DEBUG_TYPE "format-formatter" |
| 32 | |
| 33 | namespace clang { |
| 34 | namespace format { |
| 35 | |
| 36 | Environment::Environment(StringRef Code, StringRef FileName, |
| 37 | ArrayRef<tooling::Range> Ranges, |
| 38 | unsigned FirstStartColumn, unsigned NextStartColumn, |
| 39 | unsigned LastStartColumn) |
| 40 | : VirtualSM(new SourceManagerForFile(FileName, Code)), SM(VirtualSM->get()), |
| 41 | ID(VirtualSM->get().getMainFileID()), FirstStartColumn(FirstStartColumn), |
| 42 | NextStartColumn(NextStartColumn), LastStartColumn(LastStartColumn) { |
| 43 | SourceLocation StartOfFile = SM.getLocForStartOfFile(ID); |
| 44 | for (const tooling::Range &Range : Ranges) { |
| 45 | SourceLocation Start = StartOfFile.getLocWithOffset(Range.getOffset()); |
| 46 | SourceLocation End = Start.getLocWithOffset(Range.getLength()); |
| 47 | CharRanges.push_back(CharSourceRange::getCharRange(Start, End)); |
| 48 | } |
| 49 | } |
| 50 | |
| 51 | TokenAnalyzer::TokenAnalyzer(const Environment &Env, const FormatStyle &Style) |
| 52 | : Style(Style), Env(Env), |
| 53 | AffectedRangeMgr(Env.getSourceManager(), Env.getCharRanges()), |
| 54 | UnwrappedLines(1), |
| 55 | Encoding(encoding::detectEncoding( |
| 56 | Env.getSourceManager().getBufferData(Env.getFileID()))) { |
| 57 | LLVM_DEBUG( |
| 58 | llvm::dbgs() << "File encoding: " |
| 59 | << (Encoding == encoding::Encoding_UTF8 ? "UTF8" : "unknown") |
| 60 | << "\n"); |
| 61 | LLVM_DEBUG(llvm::dbgs() << "Language: " << getLanguageName(Style.Language) |
| 62 | << "\n"); |
| 63 | } |
| 64 | |
| 65 | std::pair<tooling::Replacements, unsigned> TokenAnalyzer::process() { |
| 66 | tooling::Replacements Result; |
| 67 | FormatTokenLexer Tokens(Env.getSourceManager(), Env.getFileID(), |
| 68 | Env.getFirstStartColumn(), Style, Encoding); |
| 69 | |
| 70 | UnwrappedLineParser Parser(Style, Tokens.getKeywords(), |
| 71 | Env.getFirstStartColumn(), Tokens.lex(), *this); |
| 72 | Parser.parse(); |
| 73 | empty()", "/home/seafit/code_projects/clang_source/clang/lib/Format/TokenAnalyzer.cpp", 73, __PRETTY_FUNCTION__))" file_link="../../../include/assert.h.html#88" macro="true">assert(UnwrappedLines.rbegin()->empty()); |
| 74 | unsigned Penalty = 0; |
| 75 | for (unsigned Run = 0, RunE = UnwrappedLines.size(); Run + 1 != RunE; ++Run) { |
| 76 | LLVM_DEBUG(llvm::dbgs() << "Run " << Run << "...\n"); |
| 77 | SmallVector<AnnotatedLine *, 16> AnnotatedLines; |
| 78 | |
| 79 | TokenAnnotator Annotator(Style, Tokens.getKeywords()); |
| 80 | for (unsigned i = 0, e = UnwrappedLines[Run].size(); i != e; ++i) { |
| 81 | AnnotatedLines.push_back(new AnnotatedLine(UnwrappedLines[Run][i])); |
| 82 | Annotator.annotate(*AnnotatedLines.back()); |
| 83 | } |
| 84 | |
| 85 | std::pair<tooling::Replacements, unsigned> RunResult = |
| 86 | analyze(Annotator, AnnotatedLines, Tokens); |
| 87 | |
| 88 | LLVM_DEBUG({ |
| 89 | llvm::dbgs() << "Replacements for run " << Run << ":\n"; |
| 90 | for (tooling::Replacements::const_iterator I = RunResult.first.begin(), |
| 91 | E = RunResult.first.end(); |
| 92 | I != E; ++I) { |
| 93 | llvm::dbgs() << I->toString() << "\n"; |
| 94 | } |
| 95 | }); |
| 96 | for (unsigned i = 0, e = AnnotatedLines.size(); i != e; ++i) { |
| 97 | delete AnnotatedLines[i]; |
| 98 | } |
| 99 | |
| 100 | Penalty += RunResult.second; |
| 101 | for (const auto &R : RunResult.first) { |
| 102 | auto Err = Result.add(R); |
| 103 | // FIXME: better error handling here. For now, simply return an empty |
| 104 | // Replacements to indicate failure. |
| 105 | if (Err) { |
| 106 | llvm::errs() << llvm::toString(std::move(Err)) << "\n"; |
| 107 | return {tooling::Replacements(), 0}; |
| 108 | } |
| 109 | } |
| 110 | } |
| 111 | return {Result, Penalty}; |
| 112 | } |
| 113 | |
| 114 | void TokenAnalyzer::consumeUnwrappedLine(const UnwrappedLine &TheLine) { |
| 115 | assert(!UnwrappedLines.empty()); |
| 116 | UnwrappedLines.back().push_back(TheLine); |
| 117 | } |
| 118 | |
| 119 | void TokenAnalyzer::finishRun() { |
| 120 | UnwrappedLines.push_back(SmallVector<UnwrappedLine, 16>()); |
| 121 | } |
| 122 | |
| 123 | } // end namespace format |
| 124 | } // end namespace clang |
| 125 | |