Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===--- VariantValue.h - Polymorphic value type ----------------*- 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 | /// Polymorphic value type. |
||
11 | /// |
||
12 | /// Supports all the types required for dynamic Matcher construction. |
||
13 | /// Used by the registry to construct matchers in a generic way. |
||
14 | /// |
||
15 | //===----------------------------------------------------------------------===// |
||
16 | |||
17 | #ifndef LLVM_CLANG_ASTMATCHERS_DYNAMIC_VARIANTVALUE_H |
||
18 | #define LLVM_CLANG_ASTMATCHERS_DYNAMIC_VARIANTVALUE_H |
||
19 | |||
20 | #include "clang/ASTMatchers/ASTMatchers.h" |
||
21 | #include "clang/ASTMatchers/ASTMatchersInternal.h" |
||
22 | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
||
23 | #include <memory> |
||
24 | #include <optional> |
||
25 | #include <vector> |
||
26 | |||
27 | namespace clang { |
||
28 | namespace ast_matchers { |
||
29 | namespace dynamic { |
||
30 | |||
31 | /// Kind identifier. |
||
32 | /// |
||
33 | /// It supports all types that VariantValue can contain. |
||
34 | class ArgKind { |
||
35 | public: |
||
36 | enum Kind { |
||
37 | AK_Matcher, |
||
38 | AK_Node, |
||
39 | AK_Boolean, |
||
40 | AK_Double, |
||
41 | AK_Unsigned, |
||
42 | AK_String |
||
43 | }; |
||
44 | /// Constructor for non-matcher types. |
||
45 | ArgKind(Kind K) : K(K) { assert(K != AK_Matcher); } |
||
46 | |||
47 | /// Constructor for matcher types. |
||
48 | static ArgKind MakeMatcherArg(ASTNodeKind MatcherKind) { |
||
49 | return ArgKind{AK_Matcher, MatcherKind}; |
||
50 | } |
||
51 | |||
52 | static ArgKind MakeNodeArg(ASTNodeKind MatcherKind) { |
||
53 | return ArgKind{AK_Node, MatcherKind}; |
||
54 | } |
||
55 | |||
56 | Kind getArgKind() const { return K; } |
||
57 | ASTNodeKind getMatcherKind() const { |
||
58 | assert(K == AK_Matcher); |
||
59 | return NodeKind; |
||
60 | } |
||
61 | ASTNodeKind getNodeKind() const { |
||
62 | assert(K == AK_Node); |
||
63 | return NodeKind; |
||
64 | } |
||
65 | |||
66 | /// Determines if this type can be converted to \p To. |
||
67 | /// |
||
68 | /// \param To the requested destination type. |
||
69 | /// |
||
70 | /// \param Specificity value corresponding to the "specificity" of the |
||
71 | /// conversion. |
||
72 | bool isConvertibleTo(ArgKind To, unsigned *Specificity) const; |
||
73 | |||
74 | bool operator<(const ArgKind &Other) const { |
||
75 | if ((K == AK_Matcher && Other.K == AK_Matcher) || |
||
76 | (K == AK_Node && Other.K == AK_Node)) |
||
77 | return NodeKind < Other.NodeKind; |
||
78 | return K < Other.K; |
||
79 | } |
||
80 | |||
81 | /// String representation of the type. |
||
82 | std::string asString() const; |
||
83 | |||
84 | private: |
||
85 | ArgKind(Kind K, ASTNodeKind NK) : K(K), NodeKind(NK) {} |
||
86 | Kind K; |
||
87 | ASTNodeKind NodeKind; |
||
88 | }; |
||
89 | |||
90 | using ast_matchers::internal::DynTypedMatcher; |
||
91 | |||
92 | /// A variant matcher object. |
||
93 | /// |
||
94 | /// The purpose of this object is to abstract simple and polymorphic matchers |
||
95 | /// into a single object type. |
||
96 | /// Polymorphic matchers might be implemented as a list of all the possible |
||
97 | /// overloads of the matcher. \c VariantMatcher knows how to select the |
||
98 | /// appropriate overload when needed. |
||
99 | /// To get a real matcher object out of a \c VariantMatcher you can do: |
||
100 | /// - getSingleMatcher() which returns a matcher, only if it is not ambiguous |
||
101 | /// to decide which matcher to return. Eg. it contains only a single |
||
102 | /// matcher, or a polymorphic one with only one overload. |
||
103 | /// - hasTypedMatcher<T>()/getTypedMatcher<T>(): These calls will determine if |
||
104 | /// the underlying matcher(s) can unambiguously return a Matcher<T>. |
||
105 | class VariantMatcher { |
||
106 | /// Methods that depend on T from hasTypedMatcher/getTypedMatcher. |
||
107 | class MatcherOps { |
||
108 | public: |
||
109 | MatcherOps(ASTNodeKind NodeKind) : NodeKind(NodeKind) {} |
||
110 | |||
111 | bool canConstructFrom(const DynTypedMatcher &Matcher, |
||
112 | bool &IsExactMatch) const; |
||
113 | |||
114 | /// Convert \p Matcher the destination type and return it as a new |
||
115 | /// DynTypedMatcher. |
||
116 | DynTypedMatcher convertMatcher(const DynTypedMatcher &Matcher) const; |
||
117 | |||
118 | /// Constructs a variadic typed matcher from \p InnerMatchers. |
||
119 | /// Will try to convert each inner matcher to the destination type and |
||
120 | /// return std::nullopt if it fails to do so. |
||
121 | std::optional<DynTypedMatcher> |
||
122 | constructVariadicOperator(DynTypedMatcher::VariadicOperator Op, |
||
123 | ArrayRef<VariantMatcher> InnerMatchers) const; |
||
124 | |||
125 | private: |
||
126 | ASTNodeKind NodeKind; |
||
127 | }; |
||
128 | |||
129 | /// Payload interface to be specialized by each matcher type. |
||
130 | /// |
||
131 | /// It follows a similar interface as VariantMatcher itself. |
||
132 | class Payload { |
||
133 | public: |
||
134 | virtual ~Payload(); |
||
135 | virtual std::optional<DynTypedMatcher> getSingleMatcher() const = 0; |
||
136 | virtual std::string getTypeAsString() const = 0; |
||
137 | virtual std::optional<DynTypedMatcher> |
||
138 | getTypedMatcher(const MatcherOps &Ops) const = 0; |
||
139 | virtual bool isConvertibleTo(ASTNodeKind Kind, |
||
140 | unsigned *Specificity) const = 0; |
||
141 | }; |
||
142 | |||
143 | public: |
||
144 | /// A null matcher. |
||
145 | VariantMatcher(); |
||
146 | |||
147 | /// Clones the provided matcher. |
||
148 | static VariantMatcher SingleMatcher(const DynTypedMatcher &Matcher); |
||
149 | |||
150 | /// Clones the provided matchers. |
||
151 | /// |
||
152 | /// They should be the result of a polymorphic matcher. |
||
153 | static VariantMatcher |
||
154 | PolymorphicMatcher(std::vector<DynTypedMatcher> Matchers); |
||
155 | |||
156 | /// Creates a 'variadic' operator matcher. |
||
157 | /// |
||
158 | /// It will bind to the appropriate type on getTypedMatcher<T>(). |
||
159 | static VariantMatcher |
||
160 | VariadicOperatorMatcher(DynTypedMatcher::VariadicOperator Op, |
||
161 | std::vector<VariantMatcher> Args); |
||
162 | |||
163 | /// Makes the matcher the "null" matcher. |
||
164 | void reset(); |
||
165 | |||
166 | /// Whether the matcher is null. |
||
167 | bool isNull() const { return !Value; } |
||
168 | |||
169 | /// Return a single matcher, if there is no ambiguity. |
||
170 | /// |
||
171 | /// \returns the matcher, if there is only one matcher. An empty Optional, if |
||
172 | /// the underlying matcher is a polymorphic matcher with more than one |
||
173 | /// representation. |
||
174 | std::optional<DynTypedMatcher> getSingleMatcher() const; |
||
175 | |||
176 | /// Determines if the contained matcher can be converted to |
||
177 | /// \c Matcher<T>. |
||
178 | /// |
||
179 | /// For the Single case, it returns true if it can be converted to |
||
180 | /// \c Matcher<T>. |
||
181 | /// For the Polymorphic case, it returns true if one, and only one, of the |
||
182 | /// overloads can be converted to \c Matcher<T>. If there are more than one |
||
183 | /// that can, the result would be ambiguous and false is returned. |
||
184 | template <class T> |
||
185 | bool hasTypedMatcher() const { |
||
186 | return hasTypedMatcher(ASTNodeKind::getFromNodeKind<T>()); |
||
187 | } |
||
188 | |||
189 | bool hasTypedMatcher(ASTNodeKind NK) const { |
||
190 | if (!Value) return false; |
||
191 | return Value->getTypedMatcher(MatcherOps(NK)).has_value(); |
||
192 | } |
||
193 | |||
194 | /// Determines if the contained matcher can be converted to \p Kind. |
||
195 | /// |
||
196 | /// \param Kind the requested destination type. |
||
197 | /// |
||
198 | /// \param Specificity value corresponding to the "specificity" of the |
||
199 | /// conversion. |
||
200 | bool isConvertibleTo(ASTNodeKind Kind, unsigned *Specificity) const { |
||
201 | if (Value) |
||
202 | return Value->isConvertibleTo(Kind, Specificity); |
||
203 | return false; |
||
204 | } |
||
205 | |||
206 | /// Return this matcher as a \c Matcher<T>. |
||
207 | /// |
||
208 | /// Handles the different types (Single, Polymorphic) accordingly. |
||
209 | /// Asserts that \c hasTypedMatcher<T>() is true. |
||
210 | template <class T> |
||
211 | ast_matchers::internal::Matcher<T> getTypedMatcher() const { |
||
212 | assert(hasTypedMatcher<T>() && "hasTypedMatcher<T>() == false"); |
||
213 | return Value->getTypedMatcher(MatcherOps(ASTNodeKind::getFromNodeKind<T>())) |
||
214 | ->template convertTo<T>(); |
||
215 | } |
||
216 | |||
217 | DynTypedMatcher getTypedMatcher(ASTNodeKind NK) const { |
||
218 | assert(hasTypedMatcher(NK) && "hasTypedMatcher(NK) == false"); |
||
219 | return *Value->getTypedMatcher(MatcherOps(NK)); |
||
220 | } |
||
221 | |||
222 | /// String representation of the type of the value. |
||
223 | /// |
||
224 | /// If the underlying matcher is a polymorphic one, the string will show all |
||
225 | /// the types. |
||
226 | std::string getTypeAsString() const; |
||
227 | |||
228 | private: |
||
229 | explicit VariantMatcher(std::shared_ptr<Payload> Value) |
||
230 | : Value(std::move(Value)) {} |
||
231 | |||
232 | |||
233 | class SinglePayload; |
||
234 | class PolymorphicPayload; |
||
235 | class VariadicOpPayload; |
||
236 | |||
237 | std::shared_ptr<const Payload> Value; |
||
238 | }; |
||
239 | |||
240 | /// Variant value class. |
||
241 | /// |
||
242 | /// Basically, a tagged union with value type semantics. |
||
243 | /// It is used by the registry as the return value and argument type for the |
||
244 | /// matcher factory methods. |
||
245 | /// It can be constructed from any of the supported types. It supports |
||
246 | /// copy/assignment. |
||
247 | /// |
||
248 | /// Supported types: |
||
249 | /// - \c bool |
||
250 | // - \c double |
||
251 | /// - \c unsigned |
||
252 | /// - \c llvm::StringRef |
||
253 | /// - \c VariantMatcher (\c DynTypedMatcher / \c Matcher<T>) |
||
254 | class VariantValue { |
||
255 | public: |
||
256 | VariantValue() : Type(VT_Nothing) {} |
||
257 | |||
258 | VariantValue(const VariantValue &Other); |
||
259 | ~VariantValue(); |
||
260 | VariantValue &operator=(const VariantValue &Other); |
||
261 | |||
262 | /// Specific constructors for each supported type. |
||
263 | VariantValue(bool Boolean); |
||
264 | VariantValue(double Double); |
||
265 | VariantValue(unsigned Unsigned); |
||
266 | VariantValue(StringRef String); |
||
267 | VariantValue(ASTNodeKind NodeKind); |
||
268 | VariantValue(const VariantMatcher &Matchers); |
||
269 | |||
270 | /// Constructs an \c unsigned value (disambiguation from bool). |
||
271 | VariantValue(int Signed) : VariantValue(static_cast<unsigned>(Signed)) {} |
||
272 | |||
273 | /// Returns true iff this is not an empty value. |
||
274 | explicit operator bool() const { return hasValue(); } |
||
275 | bool hasValue() const { return Type != VT_Nothing; } |
||
276 | |||
277 | /// Boolean value functions. |
||
278 | bool isBoolean() const; |
||
279 | bool getBoolean() const; |
||
280 | void setBoolean(bool Boolean); |
||
281 | |||
282 | /// Double value functions. |
||
283 | bool isDouble() const; |
||
284 | double getDouble() const; |
||
285 | void setDouble(double Double); |
||
286 | |||
287 | /// Unsigned value functions. |
||
288 | bool isUnsigned() const; |
||
289 | unsigned getUnsigned() const; |
||
290 | void setUnsigned(unsigned Unsigned); |
||
291 | |||
292 | /// String value functions. |
||
293 | bool isString() const; |
||
294 | const std::string &getString() const; |
||
295 | void setString(StringRef String); |
||
296 | |||
297 | bool isNodeKind() const; |
||
298 | const ASTNodeKind &getNodeKind() const; |
||
299 | void setNodeKind(ASTNodeKind NodeKind); |
||
300 | |||
301 | /// Matcher value functions. |
||
302 | bool isMatcher() const; |
||
303 | const VariantMatcher &getMatcher() const; |
||
304 | void setMatcher(const VariantMatcher &Matcher); |
||
305 | |||
306 | /// Determines if the contained value can be converted to \p Kind. |
||
307 | /// |
||
308 | /// \param Kind the requested destination type. |
||
309 | /// |
||
310 | /// \param Specificity value corresponding to the "specificity" of the |
||
311 | /// conversion. |
||
312 | bool isConvertibleTo(ArgKind Kind, unsigned* Specificity) const; |
||
313 | |||
314 | /// Determines if the contained value can be converted to any kind |
||
315 | /// in \p Kinds. |
||
316 | /// |
||
317 | /// \param Kinds the requested destination types. |
||
318 | /// |
||
319 | /// \param Specificity value corresponding to the "specificity" of the |
||
320 | /// conversion. It is the maximum specificity of all the possible |
||
321 | /// conversions. |
||
322 | bool isConvertibleTo(ArrayRef<ArgKind> Kinds, unsigned *Specificity) const; |
||
323 | |||
324 | /// String representation of the type of the value. |
||
325 | std::string getTypeAsString() const; |
||
326 | |||
327 | private: |
||
328 | void reset(); |
||
329 | |||
330 | /// All supported value types. |
||
331 | enum ValueType { |
||
332 | VT_Nothing, |
||
333 | VT_Boolean, |
||
334 | VT_Double, |
||
335 | VT_Unsigned, |
||
336 | VT_String, |
||
337 | VT_Matcher, |
||
338 | VT_NodeKind |
||
339 | }; |
||
340 | |||
341 | /// All supported value types. |
||
342 | union AllValues { |
||
343 | unsigned Unsigned; |
||
344 | double Double; |
||
345 | bool Boolean; |
||
346 | std::string *String; |
||
347 | VariantMatcher *Matcher; |
||
348 | ASTNodeKind *NodeKind; |
||
349 | }; |
||
350 | |||
351 | ValueType Type; |
||
352 | AllValues Value; |
||
353 | }; |
||
354 | |||
355 | } // end namespace dynamic |
||
356 | } // end namespace ast_matchers |
||
357 | } // end namespace clang |
||
358 | |||
359 | #endif // LLVM_CLANG_ASTMATCHERS_DYNAMIC_VARIANTVALUE_H |