annotate clang-tools-extra/clangd/SemanticHighlighting.h @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 0572611fdcc8
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //==-- SemanticHighlighting.h - Generating highlights from the AST-- C++ -*-==//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
9 // This file supports semantic highlighting: categorizing tokens in the file so
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
10 // that the editor can color/style them differently.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11 // This is particularly valuable for C++: its complex and context-dependent
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12 // grammar is a challenge for simple syntax-highlighting techniques.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
13 //
150
anatofuz
parents:
diff changeset
14 // Semantic highlightings are calculated for an AST by visiting every AST node
anatofuz
parents:
diff changeset
15 // and classifying nodes that are interesting to highlight (variables/function
anatofuz
parents:
diff changeset
16 // calls etc.).
anatofuz
parents:
diff changeset
17 //
anatofuz
parents:
diff changeset
18 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_SEMANTICHIGHLIGHTING_H
anatofuz
parents:
diff changeset
21 #define LLVM_CLANG_TOOLS_EXTRA_CLANGD_SEMANTICHIGHLIGHTING_H
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 #include "Protocol.h"
anatofuz
parents:
diff changeset
24 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 namespace clang {
anatofuz
parents:
diff changeset
27 namespace clangd {
anatofuz
parents:
diff changeset
28 class ParsedAST;
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 enum class HighlightingKind {
anatofuz
parents:
diff changeset
31 Variable = 0,
anatofuz
parents:
diff changeset
32 LocalVariable,
anatofuz
parents:
diff changeset
33 Parameter,
anatofuz
parents:
diff changeset
34 Function,
anatofuz
parents:
diff changeset
35 Method,
anatofuz
parents:
diff changeset
36 StaticMethod,
anatofuz
parents:
diff changeset
37 Field,
anatofuz
parents:
diff changeset
38 StaticField,
anatofuz
parents:
diff changeset
39 Class,
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
40 Interface,
150
anatofuz
parents:
diff changeset
41 Enum,
anatofuz
parents:
diff changeset
42 EnumConstant,
anatofuz
parents:
diff changeset
43 Typedef,
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
44 Type,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
45 Unknown,
150
anatofuz
parents:
diff changeset
46 Namespace,
anatofuz
parents:
diff changeset
47 TemplateParameter,
anatofuz
parents:
diff changeset
48 Concept,
anatofuz
parents:
diff changeset
49 Primitive,
anatofuz
parents:
diff changeset
50 Macro,
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 // This one is different from the other kinds as it's a line style
anatofuz
parents:
diff changeset
53 // rather than a token style.
anatofuz
parents:
diff changeset
54 InactiveCode,
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 LastKind = InactiveCode
anatofuz
parents:
diff changeset
57 };
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
58
150
anatofuz
parents:
diff changeset
59 llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, HighlightingKind K);
anatofuz
parents:
diff changeset
60
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
61 enum class HighlightingModifier {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
62 Declaration,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
63 // FIXME: Definition (needs findExplicitReferences support)
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
64 Deprecated,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
65 Deduced,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
66 Readonly,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
67 Static,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
68 Abstract,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
69 DependentName,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
70 DefaultLibrary,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
71
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
72 FunctionScope,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
73 ClassScope,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
74 FileScope,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
75 GlobalScope,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
76
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
77 LastModifier = GlobalScope
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
78 };
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
79 static_assert(static_cast<unsigned>(HighlightingModifier::LastModifier) < 32,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
80 "Increase width of modifiers bitfield!");
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
81 llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, HighlightingModifier K);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
82
150
anatofuz
parents:
diff changeset
83 // Contains all information needed for the highlighting a token.
anatofuz
parents:
diff changeset
84 struct HighlightingToken {
anatofuz
parents:
diff changeset
85 HighlightingKind Kind;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
86 uint32_t Modifiers = 0;
150
anatofuz
parents:
diff changeset
87 Range R;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
88
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
89 HighlightingToken &addModifier(HighlightingModifier M) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
90 Modifiers |= 1 << static_cast<unsigned>(M);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
91 return *this;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
92 }
150
anatofuz
parents:
diff changeset
93 };
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 bool operator==(const HighlightingToken &L, const HighlightingToken &R);
anatofuz
parents:
diff changeset
96 bool operator<(const HighlightingToken &L, const HighlightingToken &R);
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 // Returns all HighlightingTokens from an AST. Only generates highlights for the
anatofuz
parents:
diff changeset
99 // main AST.
anatofuz
parents:
diff changeset
100 std::vector<HighlightingToken> getSemanticHighlightings(ParsedAST &AST);
anatofuz
parents:
diff changeset
101
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
102 std::vector<SemanticToken> toSemanticTokens(llvm::ArrayRef<HighlightingToken>);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
103 llvm::StringRef toSemanticTokenType(HighlightingKind Kind);
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
104 llvm::StringRef toSemanticTokenModifier(HighlightingModifier Modifier);
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
105 std::vector<SemanticTokensEdit> diffTokens(llvm::ArrayRef<SemanticToken> Before,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
106 llvm::ArrayRef<SemanticToken> After);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
107
150
anatofuz
parents:
diff changeset
108 } // namespace clangd
anatofuz
parents:
diff changeset
109 } // namespace clang
anatofuz
parents:
diff changeset
110
anatofuz
parents:
diff changeset
111 #endif