Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===--- HeaderIncludes.h - Insert/Delete #includes for C++ code--*- 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 | #ifndef LLVM_CLANG_TOOLING_INCLUSIONS_HEADERINCLUDES_H |
||
| 10 | #define LLVM_CLANG_TOOLING_INCLUSIONS_HEADERINCLUDES_H |
||
| 11 | |||
| 12 | #include "clang/Basic/SourceManager.h" |
||
| 13 | #include "clang/Tooling/Core/Replacement.h" |
||
| 14 | #include "clang/Tooling/Inclusions/IncludeStyle.h" |
||
| 15 | #include "llvm/Support/Path.h" |
||
| 16 | #include "llvm/Support/Regex.h" |
||
| 17 | #include <list> |
||
| 18 | #include <optional> |
||
| 19 | #include <unordered_map> |
||
| 20 | |||
| 21 | namespace clang { |
||
| 22 | namespace tooling { |
||
| 23 | |||
| 24 | /// This class manages priorities of C++ #include categories and calculates |
||
| 25 | /// priorities for headers. |
||
| 26 | /// FIXME(ioeric): move this class into implementation file when clang-format's |
||
| 27 | /// include sorting functions are also moved here. |
||
| 28 | class IncludeCategoryManager { |
||
| 29 | public: |
||
| 30 | IncludeCategoryManager(const IncludeStyle &Style, StringRef FileName); |
||
| 31 | |||
| 32 | /// Returns the priority of the category which \p IncludeName belongs to. |
||
| 33 | /// If \p CheckMainHeader is true and \p IncludeName is a main header, returns |
||
| 34 | /// 0. Otherwise, returns the priority of the matching category or INT_MAX. |
||
| 35 | /// NOTE: this API is not thread-safe! |
||
| 36 | int getIncludePriority(StringRef IncludeName, bool CheckMainHeader) const; |
||
| 37 | int getSortIncludePriority(StringRef IncludeName, bool CheckMainHeader) const; |
||
| 38 | |||
| 39 | private: |
||
| 40 | bool isMainHeader(StringRef IncludeName) const; |
||
| 41 | |||
| 42 | const IncludeStyle Style; |
||
| 43 | bool IsMainFile; |
||
| 44 | std::string FileName; |
||
| 45 | SmallVector<llvm::Regex, 4> CategoryRegexs; |
||
| 46 | }; |
||
| 47 | |||
| 48 | enum class IncludeDirective { Include, Import }; |
||
| 49 | |||
| 50 | /// Generates replacements for inserting or deleting #include directives in a |
||
| 51 | /// file. |
||
| 52 | class HeaderIncludes { |
||
| 53 | public: |
||
| 54 | HeaderIncludes(llvm::StringRef FileName, llvm::StringRef Code, |
||
| 55 | const IncludeStyle &Style); |
||
| 56 | |||
| 57 | /// Inserts an #include or #import directive of \p Header into the code. |
||
| 58 | /// If \p IsAngled is true, \p Header will be quoted with <> in the directive; |
||
| 59 | /// otherwise, it will be quoted with "". |
||
| 60 | /// |
||
| 61 | /// When searching for points to insert new header, this ignores #include's |
||
| 62 | /// after the #include block(s) in the beginning of a file to avoid inserting |
||
| 63 | /// headers into code sections where new #include's should not be added by |
||
| 64 | /// default. These code sections include: |
||
| 65 | /// - raw string literals (containing #include). |
||
| 66 | /// - #if blocks. |
||
| 67 | /// - Special #include's among declarations (e.g. functions). |
||
| 68 | /// |
||
| 69 | /// Returns a replacement that inserts the new header into a suitable #include |
||
| 70 | /// block of the same category. This respects the order of the existing |
||
| 71 | /// #includes in the block; if the existing #includes are not already sorted, |
||
| 72 | /// this will simply insert the #include in front of the first #include of the |
||
| 73 | /// same category in the code that should be sorted after \p IncludeName. If |
||
| 74 | /// \p IncludeName already exists (with exactly the same spelling), this |
||
| 75 | /// returns std::nullopt. |
||
| 76 | std::optional<tooling::Replacement> insert(llvm::StringRef Header, |
||
| 77 | bool IsAngled, |
||
| 78 | IncludeDirective Directive) const; |
||
| 79 | |||
| 80 | /// Removes all existing #includes and #imports of \p Header quoted with <> if |
||
| 81 | /// \p IsAngled is true or "" if \p IsAngled is false. |
||
| 82 | /// This doesn't resolve the header file path; it only deletes #includes and |
||
| 83 | /// #imports with exactly the same spelling. |
||
| 84 | tooling::Replacements remove(llvm::StringRef Header, bool IsAngled) const; |
||
| 85 | |||
| 86 | // Matches a whole #include directive. |
||
| 87 | static const llvm::Regex IncludeRegex; |
||
| 88 | |||
| 89 | private: |
||
| 90 | struct Include { |
||
| 91 | Include(StringRef Name, tooling::Range R, IncludeDirective D) |
||
| 92 | : Name(Name), R(R), Directive(D) {} |
||
| 93 | |||
| 94 | // An include header quoted with either <> or "". |
||
| 95 | std::string Name; |
||
| 96 | // The range of the whole line of include directive including any leading |
||
| 97 | // whitespaces and trailing comment. |
||
| 98 | tooling::Range R; |
||
| 99 | // Either #include or #import. |
||
| 100 | IncludeDirective Directive; |
||
| 101 | }; |
||
| 102 | |||
| 103 | void addExistingInclude(Include IncludeToAdd, unsigned NextLineOffset); |
||
| 104 | |||
| 105 | std::string FileName; |
||
| 106 | std::string Code; |
||
| 107 | |||
| 108 | // Map from include name (quotation trimmed) to a list of existing includes |
||
| 109 | // (in case there are more than one) with the name in the current file. <x> |
||
| 110 | // and "x" will be treated as the same header when deleting #includes. |
||
| 111 | // std::list is used for pointers stability (see IncludesByPriority) |
||
| 112 | llvm::StringMap<std::list<Include>> ExistingIncludes; |
||
| 113 | |||
| 114 | /// Map from priorities of #include categories to all #includes in the same |
||
| 115 | /// category. This is used to find #includes of the same category when |
||
| 116 | /// inserting new #includes. #includes in the same categories are sorted in |
||
| 117 | /// in the order they appear in the source file. |
||
| 118 | /// See comment for "FormatStyle::IncludeCategories" for details about include |
||
| 119 | /// priorities. |
||
| 120 | std::unordered_map<int, llvm::SmallVector<const Include *, 8>> |
||
| 121 | IncludesByPriority; |
||
| 122 | |||
| 123 | int FirstIncludeOffset; |
||
| 124 | // All new headers should be inserted after this offset (e.g. after header |
||
| 125 | // guards, file comment). |
||
| 126 | unsigned MinInsertOffset; |
||
| 127 | // Max insertion offset in the original code. For example, we want to avoid |
||
| 128 | // inserting new #includes into the actual code section (e.g. after a |
||
| 129 | // declaration). |
||
| 130 | unsigned MaxInsertOffset; |
||
| 131 | IncludeCategoryManager Categories; |
||
| 132 | // Record the offset of the end of the last include in each category. |
||
| 133 | std::unordered_map<int, int> CategoryEndOffsets; |
||
| 134 | |||
| 135 | // All possible priorities. |
||
| 136 | std::set<int> Priorities; |
||
| 137 | }; |
||
| 138 | |||
| 139 | } // namespace tooling |
||
| 140 | } // namespace clang |
||
| 141 | |||
| 142 | #endif // LLVM_CLANG_TOOLING_INCLUSIONS_HEADERINCLUDES_H |