1 | //==-- SemanticHighlighting.h - Generating highlights from the AST-- 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 | // This file supports semantic highlighting: categorizing tokens in the file so |
10 | // that the editor can color/style them differently. |
11 | // This is particularly valuable for C++: its complex and context-dependent |
12 | // grammar is a challenge for simple syntax-highlighting techniques. |
13 | // |
14 | // Semantic highlightings are calculated for an AST by visiting every AST node |
15 | // and classifying nodes that are interesting to highlight (variables/function |
16 | // calls etc.). |
17 | // |
18 | //===----------------------------------------------------------------------===// |
19 | |
20 | #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_SEMANTICHIGHLIGHTING_H |
21 | #define |
22 | |
23 | #include "Protocol.h" |
24 | #include "llvm/ADT/StringRef.h" |
25 | #include "llvm/Support/raw_ostream.h" |
26 | |
27 | namespace clang { |
28 | namespace clangd { |
29 | class ParsedAST; |
30 | |
31 | enum class HighlightingKind { |
32 | Variable = 0, |
33 | LocalVariable, |
34 | Parameter, |
35 | Function, |
36 | Method, |
37 | StaticMethod, |
38 | Field, |
39 | StaticField, |
40 | Class, |
41 | Interface, |
42 | Enum, |
43 | EnumConstant, |
44 | Typedef, |
45 | Type, |
46 | Unknown, |
47 | Namespace, |
48 | TemplateParameter, |
49 | Concept, |
50 | Primitive, |
51 | Macro, |
52 | Modifier, |
53 | Operator, |
54 | Bracket, |
55 | Label, |
56 | |
57 | // This one is different from the other kinds as it's a line style |
58 | // rather than a token style. |
59 | InactiveCode, |
60 | |
61 | LastKind = InactiveCode |
62 | }; |
63 | |
64 | llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, HighlightingKind K); |
65 | std::optional<HighlightingKind> |
66 | highlightingKindFromString(llvm::StringRef Name); |
67 | |
68 | enum class HighlightingModifier { |
69 | Declaration, |
70 | Definition, |
71 | Deprecated, |
72 | Deduced, |
73 | Readonly, |
74 | Static, |
75 | Abstract, |
76 | Virtual, |
77 | DependentName, |
78 | DefaultLibrary, |
79 | UsedAsMutableReference, |
80 | UsedAsMutablePointer, |
81 | ConstructorOrDestructor, |
82 | UserDefined, |
83 | |
84 | FunctionScope, |
85 | ClassScope, |
86 | FileScope, |
87 | GlobalScope, |
88 | |
89 | LastModifier = GlobalScope |
90 | }; |
91 | static_assert(static_cast<unsigned>(HighlightingModifier::LastModifier) < 32, |
92 | "Increase width of modifiers bitfield!" ); |
93 | llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, HighlightingModifier K); |
94 | std::optional<HighlightingModifier> |
95 | highlightingModifierFromString(llvm::StringRef Name); |
96 | |
97 | // Contains all information needed for the highlighting a token. |
98 | struct HighlightingToken { |
99 | HighlightingKind Kind; |
100 | uint32_t Modifiers = 0; |
101 | Range R; |
102 | |
103 | HighlightingToken &addModifier(HighlightingModifier M) { |
104 | Modifiers |= 1 << static_cast<unsigned>(M); |
105 | return *this; |
106 | } |
107 | }; |
108 | |
109 | bool operator==(const HighlightingToken &L, const HighlightingToken &R); |
110 | bool operator<(const HighlightingToken &L, const HighlightingToken &R); |
111 | |
112 | // Returns all HighlightingTokens from an AST. Only generates highlights for the |
113 | // main AST. |
114 | std::vector<HighlightingToken> |
115 | getSemanticHighlightings(ParsedAST &AST, bool IncludeInactiveRegionTokens); |
116 | |
117 | std::vector<SemanticToken> toSemanticTokens(llvm::ArrayRef<HighlightingToken>, |
118 | llvm::StringRef Code); |
119 | llvm::StringRef toSemanticTokenType(HighlightingKind Kind); |
120 | llvm::StringRef toSemanticTokenModifier(HighlightingModifier Modifier); |
121 | std::vector<SemanticTokensEdit> diffTokens(llvm::ArrayRef<SemanticToken> Before, |
122 | llvm::ArrayRef<SemanticToken> After); |
123 | |
124 | // Returns ranges of the file that are inside an inactive preprocessor branch. |
125 | // The preprocessor directives at the beginning and end of a branch themselves |
126 | // are not included. |
127 | std::vector<Range> getInactiveRegions(ParsedAST &AST); |
128 | |
129 | } // namespace clangd |
130 | } // namespace clang |
131 | |
132 | #endif |
133 | |