clang-tools 20.0.0git
IncludeCleaner.h
Go to the documentation of this file.
1//===--- IncludeCleaner.h - Unused/Missing Headers Analysis -----*- 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/// Include Cleaner is clangd functionality for providing diagnostics for misuse
11/// of transitive headers and unused includes. It is inspired by
12/// Include-What-You-Use tool (https://include-what-you-use.org/). Our goal is
13/// to provide useful warnings in most popular scenarios but not 1:1 exact
14/// feature compatibility.
15///
16//===----------------------------------------------------------------------===//
17
18#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_INCLUDECLEANER_H
19#define LLVM_CLANG_TOOLS_EXTRA_CLANGD_INCLUDECLEANER_H
20
21#include "Diagnostics.h"
22#include "Headers.h"
23#include "ParsedAST.h"
24#include "Protocol.h"
25#include "clang-include-cleaner/Types.h"
26#include "clang/Basic/SourceManager.h"
27#include "clang/Tooling/Syntax/Tokens.h"
28#include "llvm/ADT/ArrayRef.h"
29#include "llvm/ADT/StringRef.h"
30#include <functional>
31#include <optional>
32#include <string>
33#include <tuple>
34#include <vector>
35
36namespace clang {
37namespace clangd {
38
39// Data needed for missing include diagnostics.
41 include_cleaner::Symbol Symbol;
42 syntax::FileRange SymRefRange;
43 std::vector<include_cleaner::Header> Providers;
44
45 bool operator==(const MissingIncludeDiagInfo &Other) const {
46 return std::tie(SymRefRange, Providers, Symbol) ==
47 std::tie(Other.SymRefRange, Other.Providers, Other.Symbol);
48 }
49};
50
52 std::vector<const Inclusion *> UnusedIncludes;
53 std::vector<MissingIncludeDiagInfo> MissingIncludes;
54};
55
58 bool AnalyzeAngledIncludes = false);
59
60using HeaderFilter = llvm::ArrayRef<std::function<bool(llvm::StringRef)>>;
61std::vector<Diag>
63 const IncludeCleanerFindings &Findings,
64 const ThreadsafeFS &TFS,
65 HeaderFilter IgnoreHeader = {});
66
67/// Converts the clangd include representation to include-cleaner
68/// include representation.
69include_cleaner::Includes convertIncludes(const ParsedAST &);
70
71std::vector<include_cleaner::SymbolReference>
72collectMacroReferences(ParsedAST &AST);
73
74/// Whether this #include is considered to provide a particular symbol.
75///
76/// This means it satisfies the reference, and no other #include does better.
77/// `Providers` is the symbol's candidate headers according to walkUsed().
78bool isPreferredProvider(const Inclusion &, const include_cleaner::Includes &,
79 llvm::ArrayRef<include_cleaner::Header> Providers);
80
81} // namespace clangd
82} // namespace clang
83
84#endif // LLVM_CLANG_TOOLS_EXTRA_CLANGD_INCLUDECLEANER_H
std::string Code
Stores and provides access to parsed AST.
Definition: ParsedAST.h:46
Wrapper for vfs::FileSystem for use in multithreaded programs like clangd.
Definition: ThreadsafeFS.h:26
std::vector< include_cleaner::SymbolReference > collectMacroReferences(ParsedAST &AST)
include_cleaner::Includes convertIncludes(const ParsedAST &AST)
Converts the clangd include representation to include-cleaner include representation.
std::vector< Diag > issueIncludeCleanerDiagnostics(ParsedAST &AST, llvm::StringRef Code, const IncludeCleanerFindings &Findings, const ThreadsafeFS &TFS, HeaderFilter IgnoreHeaders)
bool isPreferredProvider(const Inclusion &Inc, const include_cleaner::Includes &Includes, llvm::ArrayRef< include_cleaner::Header > Providers)
Whether this #include is considered to provide a particular symbol.
IncludeCleanerFindings computeIncludeCleanerFindings(ParsedAST &AST, bool AnalyzeAngledIncludes)
llvm::ArrayRef< std::function< bool(llvm::StringRef)> > HeaderFilter
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
std::vector< const Inclusion * > UnusedIncludes
std::vector< MissingIncludeDiagInfo > MissingIncludes
bool operator==(const MissingIncludeDiagInfo &Other) const
std::vector< include_cleaner::Header > Providers
The class presents a C++ symbol, e.g.
Definition: Symbol.h:39