Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 1 | //===--- ClangTidyOptions.h - clang-tidy ------------------------*- 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 | |
Alexander Kornienko | 6658055 | 2015-03-09 16:52:33 +0000 | [diff] [blame] | 10 | #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYOPTIONS_H |
| 11 | #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYOPTIONS_H |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 12 | |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 13 | #include "llvm/ADT/Optional.h" |
| 14 | #include "llvm/ADT/StringMap.h" |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/StringRef.h" |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 16 | #include "llvm/Support/ErrorOr.h" |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 17 | #include <functional> |
Alexander Kornienko | 6e0cbc8 | 2014-09-12 08:53:36 +0000 | [diff] [blame] | 18 | #include <map> |
Alexander Kornienko | 9ff5b6f | 2014-05-05 14:54:47 +0000 | [diff] [blame] | 19 | #include <string> |
Rafael Espindola | fd85bb3 | 2014-06-12 16:53:02 +0000 | [diff] [blame] | 20 | #include <system_error> |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 21 | #include <utility> |
| 22 | #include <vector> |
Alexander Kornienko | 9ff5b6f | 2014-05-05 14:54:47 +0000 | [diff] [blame] | 23 | |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 24 | namespace clang { |
| 25 | namespace tidy { |
| 26 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 27 | /// \brief Contains a list of line ranges in a single file. |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 28 | struct FileFilter { |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 29 | /// \brief File name. |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 30 | std::string Name; |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 31 | |
| 32 | /// \brief LineRange is a pair<start, end> (inclusive). |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 33 | typedef std::pair<unsigned, unsigned> LineRange; |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 34 | |
| 35 | /// \brief A list of line ranges in this file, for which we show warnings. |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 36 | std::vector<LineRange> LineRanges; |
| 37 | }; |
| 38 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 39 | /// \brief Global options. These options are neither stored nor read from |
| 40 | /// configuration files. |
| 41 | struct ClangTidyGlobalOptions { |
Alexander Kornienko | 3095b42 | 2014-06-12 11:25:45 +0000 | [diff] [blame] | 42 | /// \brief Output warnings from certain line ranges of certain files only. |
| 43 | /// If empty, no warnings will be filtered. |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 44 | std::vector<FileFilter> LineFilter; |
| 45 | }; |
| 46 | |
| 47 | /// \brief Contains options for clang-tidy. These options may be read from |
| 48 | /// configuration files, and may be different for different translation units. |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 49 | struct ClangTidyOptions { |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 50 | /// \brief These options are used for all settings that haven't been |
| 51 | /// overridden by the \c OptionsProvider. |
| 52 | /// |
Alexander Kornienko | 1efc425 | 2014-10-16 11:27:57 +0000 | [diff] [blame] | 53 | /// Allow no checks and no headers by default. This method initializes |
| 54 | /// check-specific options by calling \c ClangTidyModule::getModuleOptions() |
| 55 | /// of each registered \c ClangTidyModule. |
| 56 | static ClangTidyOptions getDefaults(); |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 57 | |
| 58 | /// \brief Creates a new \c ClangTidyOptions instance combined from all fields |
| 59 | /// of this instance overridden by the fields of \p Other that have a value. |
| 60 | ClangTidyOptions mergeWith(const ClangTidyOptions &Other) const; |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 61 | |
| 62 | /// \brief Checks filter. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 63 | llvm::Optional<std::string> Checks; |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 64 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 65 | /// \brief Output warnings from headers matching this filter. Warnings from |
| 66 | /// main files will always be displayed. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 67 | llvm::Optional<std::string> HeaderFilterRegex; |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 68 | |
Alexander Kornienko | 37f7abe | 2014-10-28 22:16:13 +0000 | [diff] [blame] | 69 | /// \brief Output warnings from system headers matching \c HeaderFilterRegex. |
| 70 | llvm::Optional<bool> SystemHeaders; |
| 71 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 72 | /// \brief Turns on temporary destructor-based analysis. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 73 | llvm::Optional<bool> AnalyzeTemporaryDtors; |
Alexander Kornienko | 6e0cbc8 | 2014-09-12 08:53:36 +0000 | [diff] [blame] | 74 | |
Alexander Kornienko | e995154 | 2014-09-24 18:36:03 +0000 | [diff] [blame] | 75 | /// \brief Specifies the name or e-mail of the user running clang-tidy. |
| 76 | /// |
| 77 | /// This option is used, for example, to place the correct user name in TODO() |
| 78 | /// comments in the relevant check. |
| 79 | llvm::Optional<std::string> User; |
| 80 | |
Alexander Kornienko | 6e0cbc8 | 2014-09-12 08:53:36 +0000 | [diff] [blame] | 81 | typedef std::pair<std::string, std::string> StringPair; |
| 82 | typedef std::map<std::string, std::string> OptionMap; |
| 83 | |
| 84 | /// \brief Key-value mapping used to store check-specific options. |
| 85 | OptionMap CheckOptions; |
Alexander Kornienko | 64956b5 | 2015-11-09 16:28:11 +0000 | [diff] [blame] | 86 | |
| 87 | typedef std::vector<std::string> ArgList; |
| 88 | |
| 89 | /// \brief Add extra compilation arguments to the end of the list. |
| 90 | llvm::Optional<ArgList> ExtraArgs; |
| 91 | |
| 92 | /// \brief Add extra compilation arguments to the start of the list. |
| 93 | llvm::Optional<ArgList> ExtraArgsBefore; |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 94 | }; |
| 95 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 96 | /// \brief Abstract interface for retrieving various ClangTidy options. |
| 97 | class ClangTidyOptionsProvider { |
| 98 | public: |
David Blaikie | e04a3da | 2015-10-20 21:45:52 +0000 | [diff] [blame] | 99 | virtual ~ClangTidyOptionsProvider() {} |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 100 | |
| 101 | /// \brief Returns global options, which are independent of the file. |
| 102 | virtual const ClangTidyGlobalOptions &getGlobalOptions() = 0; |
| 103 | |
| 104 | /// \brief Returns options applying to a specific translation unit with the |
| 105 | /// specified \p FileName. |
Alexander Kornienko | 9115a3a | 2015-01-20 09:48:51 +0000 | [diff] [blame] | 106 | virtual ClangTidyOptions getOptions(llvm::StringRef FileName) = 0; |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 107 | }; |
| 108 | |
| 109 | /// \brief Implementation of the \c ClangTidyOptionsProvider interface, which |
| 110 | /// returns the same options for all files. |
| 111 | class DefaultOptionsProvider : public ClangTidyOptionsProvider { |
| 112 | public: |
| 113 | DefaultOptionsProvider(const ClangTidyGlobalOptions &GlobalOptions, |
| 114 | const ClangTidyOptions &Options) |
| 115 | : GlobalOptions(GlobalOptions), DefaultOptions(Options) {} |
| 116 | const ClangTidyGlobalOptions &getGlobalOptions() override { |
| 117 | return GlobalOptions; |
| 118 | } |
Alexander Kornienko | 9115a3a | 2015-01-20 09:48:51 +0000 | [diff] [blame] | 119 | ClangTidyOptions getOptions(llvm::StringRef /*FileName*/) override { |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 120 | return DefaultOptions; |
| 121 | } |
| 122 | |
| 123 | private: |
| 124 | ClangTidyGlobalOptions GlobalOptions; |
| 125 | ClangTidyOptions DefaultOptions; |
| 126 | }; |
| 127 | |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 128 | /// \brief Implementation of the \c ClangTidyOptionsProvider interface, which |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 129 | /// tries to find a configuration file in the closest parent directory of each |
| 130 | /// source file. |
| 131 | /// |
| 132 | /// By default, files named ".clang-tidy" will be considered, and the |
| 133 | /// \c clang::tidy::parseConfiguration function will be used for parsing, but a |
| 134 | /// custom set of configuration file names and parsing functions can be |
| 135 | /// specified using the appropriate constructor. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 136 | class FileOptionsProvider : public DefaultOptionsProvider { |
| 137 | public: |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 138 | // \brief A pair of configuration file base name and a function parsing |
| 139 | // configuration from text in the corresponding format. |
| 140 | typedef std::pair<std::string, std::function<llvm::ErrorOr<ClangTidyOptions>( |
| 141 | llvm::StringRef)>> ConfigFileHandler; |
| 142 | |
| 143 | /// \brief Configuration file handlers listed in the order of priority. |
| 144 | /// |
| 145 | /// Custom configuration file formats can be supported by constructing the |
| 146 | /// list of handlers and passing it to the appropriate \c FileOptionsProvider |
| 147 | /// constructor. E.g. initialization of a \c FileOptionsProvider with support |
| 148 | /// of a custom configuration file format for files named ".my-tidy-config" |
| 149 | /// could look similar to this: |
| 150 | /// \code |
| 151 | /// FileOptionsProvider::ConfigFileHandlers ConfigHandlers; |
| 152 | /// ConfigHandlers.emplace_back(".my-tidy-config", parseMyConfigFormat); |
| 153 | /// ConfigHandlers.emplace_back(".clang-tidy", parseConfiguration); |
| 154 | /// return llvm::make_unique<FileOptionsProvider>( |
| 155 | /// GlobalOptions, DefaultOptions, OverrideOptions, ConfigHandlers); |
| 156 | /// \endcode |
| 157 | /// |
| 158 | /// With the order of handlers shown above, the ".my-tidy-config" file would |
| 159 | /// take precedence over ".clang-tidy" if both reside in the same directory. |
| 160 | typedef std::vector<ConfigFileHandler> ConfigFileHandlers; |
| 161 | |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 162 | /// \brief Initializes the \c FileOptionsProvider instance. |
| 163 | /// |
| 164 | /// \param GlobalOptions are just stored and returned to the caller of |
| 165 | /// \c getGlobalOptions. |
| 166 | /// |
Alexander Kornienko | e995154 | 2014-09-24 18:36:03 +0000 | [diff] [blame] | 167 | /// \param DefaultOptions are used for all settings not specified in a |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 168 | /// configuration file. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 169 | /// |
| 170 | /// If any of the \param OverrideOptions fields are set, they will override |
| 171 | /// whatever options are read from the configuration file. |
| 172 | FileOptionsProvider(const ClangTidyGlobalOptions &GlobalOptions, |
Alexander Kornienko | e995154 | 2014-09-24 18:36:03 +0000 | [diff] [blame] | 173 | const ClangTidyOptions &DefaultOptions, |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 174 | const ClangTidyOptions &OverrideOptions); |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 175 | |
| 176 | /// \brief Initializes the \c FileOptionsProvider instance with a custom set |
| 177 | /// of configuration file handlers. |
| 178 | /// |
| 179 | /// \param GlobalOptions are just stored and returned to the caller of |
| 180 | /// \c getGlobalOptions. |
| 181 | /// |
| 182 | /// \param DefaultOptions are used for all settings not specified in a |
| 183 | /// configuration file. |
| 184 | /// |
| 185 | /// If any of the \param OverrideOptions fields are set, they will override |
| 186 | /// whatever options are read from the configuration file. |
| 187 | /// |
| 188 | /// \param ConfigHandlers specifies a custom set of configuration file |
| 189 | /// handlers. Each handler is a pair of configuration file name and a function |
| 190 | /// that can parse configuration from this file type. The configuration files |
| 191 | /// in each directory are searched for in the order of appearance in |
| 192 | /// \p ConfigHandlers. |
| 193 | FileOptionsProvider(const ClangTidyGlobalOptions &GlobalOptions, |
| 194 | const ClangTidyOptions &DefaultOptions, |
| 195 | const ClangTidyOptions &OverrideOptions, |
| 196 | const ConfigFileHandlers &ConfigHandlers); |
| 197 | |
Alexander Kornienko | 9115a3a | 2015-01-20 09:48:51 +0000 | [diff] [blame] | 198 | ClangTidyOptions getOptions(llvm::StringRef FileName) override; |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 199 | |
Alexander Kornienko | b7029d0 | 2015-08-12 19:29:57 +0000 | [diff] [blame] | 200 | protected: |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 201 | /// \brief Try to read configuration files from \p Directory using registered |
| 202 | /// \c ConfigHandlers. |
| 203 | llvm::Optional<ClangTidyOptions> TryReadConfigFile(llvm::StringRef Directory); |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 204 | |
| 205 | llvm::StringMap<ClangTidyOptions> CachedOptions; |
| 206 | ClangTidyOptions OverrideOptions; |
Alexander Kornienko | 4f6b066 | 2014-10-20 12:29:15 +0000 | [diff] [blame] | 207 | ConfigFileHandlers ConfigHandlers; |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 208 | }; |
| 209 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 210 | /// \brief Parses LineFilter from JSON and stores it to the \p Options. |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 211 | std::error_code parseLineFilter(llvm::StringRef LineFilter, |
| 212 | ClangTidyGlobalOptions &Options); |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 213 | |
Alexander Kornienko | e995154 | 2014-09-24 18:36:03 +0000 | [diff] [blame] | 214 | /// \brief Parses configuration from JSON and returns \c ClangTidyOptions or an |
| 215 | /// error. |
| 216 | llvm::ErrorOr<ClangTidyOptions> parseConfiguration(llvm::StringRef Config); |
Alexander Kornienko | d53d268 | 2014-09-04 14:23:36 +0000 | [diff] [blame] | 217 | |
| 218 | /// \brief Serializes configuration to a YAML-encoded string. |
| 219 | std::string configurationAsText(const ClangTidyOptions &Options); |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 220 | |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 221 | } // end namespace tidy |
| 222 | } // end namespace clang |
| 223 | |
Alexander Kornienko | 6658055 | 2015-03-09 16:52:33 +0000 | [diff] [blame] | 224 | #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYOPTIONS_H |