blob: 6e144cd26ed9006967371d03a48bf4894a8b90cd [file] [log] [blame]
Manuel Klimek24db0f02013-05-14 09:13:00 +00001//===--- Marshallers.h - Generic matcher function marshallers -*- 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///
10/// \file
11/// \brief Functions templates and classes to wrap matcher construct functions.
12///
13/// A collection of template function and classes that provide a generic
14/// marshalling layer on top of matcher construct functions.
15/// These are used by the registry to export all marshaller constructors with
16/// the same generic interface.
17///
18//===----------------------------------------------------------------------===//
19
20#ifndef LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H
21#define LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H
22
Manuel Klimek24db0f02013-05-14 09:13:00 +000023#include "clang/ASTMatchers/ASTMatchers.h"
24#include "clang/ASTMatchers/Dynamic/Diagnostics.h"
25#include "clang/ASTMatchers/Dynamic/VariantValue.h"
26#include "clang/Basic/LLVM.h"
Samuel Benzaquen0239b692013-08-13 14:54:51 +000027#include "llvm/ADT/STLExtras.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000028#include <string>
Manuel Klimek24db0f02013-05-14 09:13:00 +000029
30namespace clang {
31namespace ast_matchers {
32namespace dynamic {
33
34namespace internal {
35
Peter Collingbourned32e28c2014-01-23 22:48:38 +000036struct ArgKind {
37 enum Kind {
38 AK_Matcher,
39 AK_Unsigned,
40 AK_String
41 };
42 ArgKind(Kind K)
43 : K(K) {}
44 ArgKind(ast_type_traits::ASTNodeKind MatcherKind)
45 : K(AK_Matcher), MatcherKind(MatcherKind) {}
46
47 std::string asString() const {
48 switch (getArgKind()) {
49 case AK_Matcher:
50 return (Twine("Matcher<") + MatcherKind.asStringRef() + ">").str();
51 case AK_Unsigned:
52 return "unsigned";
53 case AK_String:
54 return "string";
55 }
Alp Toker14c8aff2014-01-26 08:12:32 +000056 llvm_unreachable("unhandled ArgKind");
Peter Collingbourned32e28c2014-01-23 22:48:38 +000057 }
58
59 Kind getArgKind() const { return K; }
60 ast_type_traits::ASTNodeKind getMatcherKind() const {
61 assert(K == AK_Matcher);
62 return MatcherKind;
63 }
64
65 bool operator<(const ArgKind &Other) const {
66 if (K == AK_Matcher && Other.K == AK_Matcher)
67 return MatcherKind < Other.MatcherKind;
68 return K < Other.K;
69 }
70
71private:
72 Kind K;
73 ast_type_traits::ASTNodeKind MatcherKind;
74};
75
Manuel Klimek24db0f02013-05-14 09:13:00 +000076/// \brief Helper template class to just from argument type to the right is/get
77/// functions in VariantValue.
78/// Used to verify and extract the matcher arguments below.
79template <class T> struct ArgTypeTraits;
80template <class T> struct ArgTypeTraits<const T &> : public ArgTypeTraits<T> {
81};
82
83template <> struct ArgTypeTraits<std::string> {
84 static bool is(const VariantValue &Value) { return Value.isString(); }
85 static const std::string &get(const VariantValue &Value) {
86 return Value.getString();
87 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000088 static ArgKind getKind() {
89 return ArgKind(ArgKind::AK_String);
90 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000091};
92
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +000093template <>
94struct ArgTypeTraits<StringRef> : public ArgTypeTraits<std::string> {
95};
96
Manuel Klimek24db0f02013-05-14 09:13:00 +000097template <class T> struct ArgTypeTraits<ast_matchers::internal::Matcher<T> > {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000098 static bool is(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000099 return Value.isMatcher() && Value.getMatcher().hasTypedMatcher<T>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000100 }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000101 static ast_matchers::internal::Matcher<T> get(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000102 return Value.getMatcher().getTypedMatcher<T>();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000103 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000104 static ArgKind getKind() {
105 return ArgKind(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
106 }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000107};
Manuel Klimek24db0f02013-05-14 09:13:00 +0000108
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000109template <> struct ArgTypeTraits<unsigned> {
110 static bool is(const VariantValue &Value) { return Value.isUnsigned(); }
111 static unsigned get(const VariantValue &Value) {
112 return Value.getUnsigned();
113 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000114 static ArgKind getKind() {
115 return ArgKind(ArgKind::AK_Unsigned);
116 }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000117};
118
Peter Collingbournef43e6942013-11-23 01:34:36 +0000119/// \brief Matcher descriptor interface.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000120///
Peter Collingbournef43e6942013-11-23 01:34:36 +0000121/// Provides a \c create() method that constructs the matcher from the provided
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000122/// arguments, and various other methods for type introspection.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000123class MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000124public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000125 virtual ~MatcherDescriptor() {}
126 virtual VariantMatcher create(const SourceRange &NameRange,
127 ArrayRef<ParserValue> Args,
128 Diagnostics *Error) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000129
130 /// Returns whether the matcher is variadic. Variadic matchers can take any
131 /// number of arguments, but they must be of the same type.
132 virtual bool isVariadic() const = 0;
133
134 /// Returns the number of arguments accepted by the matcher if not variadic.
135 virtual unsigned getNumArgs() const = 0;
136
137 /// Given that the matcher is being converted to type \p ThisKind, append the
138 /// set of argument types accepted for argument \p ArgNo to \p ArgKinds.
139 // FIXME: We should provide the ability to constrain the output of this
140 // function based on the types of other matcher arguments.
141 virtual void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
142 std::vector<ArgKind> &ArgKinds) const = 0;
143
144 /// Returns whether this matcher is convertible to the given type. If it is
145 /// so convertible, store in *Specificity a value corresponding to the
146 /// "specificity" of the converted matcher to the given context, and in
147 /// *LeastDerivedKind the least derived matcher kind which would result in the
148 /// same matcher overload. Zero specificity indicates that this conversion
149 /// would produce a trivial matcher that will either always or never match.
150 /// Such matchers are excluded from code completion results.
151 virtual bool isConvertibleTo(
Craig Topper210e1ad2014-05-17 18:49:24 +0000152 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity = nullptr,
153 ast_type_traits::ASTNodeKind *LeastDerivedKind = nullptr) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000154
155 /// Returns whether the matcher will, given a matcher of any type T, yield a
156 /// matcher of type T.
157 virtual bool isPolymorphic() const { return false; }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000158};
159
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000160inline bool isRetKindConvertibleTo(
Craig Topper00bbdcf2014-06-28 23:22:23 +0000161 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000162 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
163 ast_type_traits::ASTNodeKind *LeastDerivedKind) {
Craig Topper00bbdcf2014-06-28 23:22:23 +0000164 for (ArrayRef<ast_type_traits::ASTNodeKind>::const_iterator
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000165 i = RetKinds.begin(),
166 e = RetKinds.end();
167 i != e; ++i) {
168 unsigned Distance;
169 if (i->isBaseOf(Kind, &Distance)) {
170 if (Specificity)
171 *Specificity = 100 - Distance;
172 if (LeastDerivedKind)
173 *LeastDerivedKind = *i;
174 return true;
175 }
176 }
177 return false;
178}
179
Manuel Klimek24db0f02013-05-14 09:13:00 +0000180/// \brief Simple callback implementation. Marshaller and function are provided.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000181///
182/// This class wraps a function of arbitrary signature and a marshaller
Peter Collingbournef43e6942013-11-23 01:34:36 +0000183/// function into a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000184/// The marshaller is in charge of taking the VariantValue arguments, checking
185/// their types, unpacking them and calling the underlying function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000186class FixedArgCountMatcherDescriptor : public MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000187public:
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000188 typedef VariantMatcher (*MarshallerType)(void (*Func)(),
189 StringRef MatcherName,
190 const SourceRange &NameRange,
191 ArrayRef<ParserValue> Args,
192 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000193
Dmitri Gribenkocb63baf2013-05-17 17:50:16 +0000194 /// \param Marshaller Function to unpack the arguments and call \c Func
195 /// \param Func Matcher construct function. This is the function that
196 /// compile-time matcher expressions would use to create the matcher.
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000197 /// \param RetKinds The list of matcher types to which the matcher is
198 /// convertible.
199 /// \param ArgKinds The types of the arguments this matcher takes.
200 FixedArgCountMatcherDescriptor(
201 MarshallerType Marshaller, void (*Func)(), StringRef MatcherName,
Craig Topper00bbdcf2014-06-28 23:22:23 +0000202 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
203 ArrayRef<ArgKind> ArgKinds)
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000204 : Marshaller(Marshaller), Func(Func), MatcherName(MatcherName),
205 RetKinds(RetKinds.begin(), RetKinds.end()),
206 ArgKinds(ArgKinds.begin(), ArgKinds.end()) {}
Manuel Klimek24db0f02013-05-14 09:13:00 +0000207
Peter Collingbournef43e6942013-11-23 01:34:36 +0000208 VariantMatcher create(const SourceRange &NameRange,
209 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000210 return Marshaller(Func, MatcherName, NameRange, Args, Error);
211 }
212
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000213 bool isVariadic() const { return false; }
214 unsigned getNumArgs() const { return ArgKinds.size(); }
215 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
216 std::vector<ArgKind> &Kinds) const {
217 Kinds.push_back(ArgKinds[ArgNo]);
218 }
219 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
220 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
221 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
222 LeastDerivedKind);
223 }
224
Manuel Klimek24db0f02013-05-14 09:13:00 +0000225private:
226 const MarshallerType Marshaller;
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000227 void (* const Func)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000228 const std::string MatcherName;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000229 const std::vector<ast_type_traits::ASTNodeKind> RetKinds;
230 const std::vector<ArgKind> ArgKinds;
Manuel Klimek24db0f02013-05-14 09:13:00 +0000231};
232
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000233/// \brief Helper methods to extract and merge all possible typed matchers
234/// out of the polymorphic object.
235template <class PolyMatcher>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000236static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000237 std::vector<DynTypedMatcher> &Out,
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000238 ast_matchers::internal::EmptyTypeList) {}
239
240template <class PolyMatcher, class TypeList>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000241static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000242 std::vector<DynTypedMatcher> &Out, TypeList) {
243 Out.push_back(ast_matchers::internal::Matcher<typename TypeList::head>(Poly));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000244 mergePolyMatchers(Poly, Out, typename TypeList::tail());
245}
246
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000247/// \brief Convert the return values of the functions into a VariantMatcher.
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000248///
249/// There are 2 cases right now: The return value is a Matcher<T> or is a
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000250/// polymorphic matcher. For the former, we just construct the VariantMatcher.
251/// For the latter, we instantiate all the possible Matcher<T> of the poly
252/// matcher.
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000253static VariantMatcher outvalueToVariantMatcher(const DynTypedMatcher &Matcher) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000254 return VariantMatcher::SingleMatcher(Matcher);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000255}
256
257template <typename T>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000258static VariantMatcher outvalueToVariantMatcher(const T &PolyMatcher,
259 typename T::ReturnTypes * =
260 NULL) {
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000261 std::vector<DynTypedMatcher> Matchers;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000262 mergePolyMatchers(PolyMatcher, Matchers, typename T::ReturnTypes());
Benjamin Kramer3f755aa2014-03-10 17:55:02 +0000263 VariantMatcher Out = VariantMatcher::PolymorphicMatcher(std::move(Matchers));
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000264 return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000265}
266
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000267template <typename T>
268inline void buildReturnTypeVectorFromTypeList(
269 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
270 RetTypes.push_back(
271 ast_type_traits::ASTNodeKind::getFromNodeKind<typename T::head>());
272 buildReturnTypeVectorFromTypeList<typename T::tail>(RetTypes);
273}
274
275template <>
276inline void
277buildReturnTypeVectorFromTypeList<ast_matchers::internal::EmptyTypeList>(
278 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {}
279
280template <typename T>
281struct BuildReturnTypeVector {
282 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
283 buildReturnTypeVectorFromTypeList<typename T::ReturnTypes>(RetTypes);
284 }
285};
286
287template <typename T>
288struct BuildReturnTypeVector<ast_matchers::internal::Matcher<T> > {
289 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
290 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
291 }
292};
293
294template <typename T>
295struct BuildReturnTypeVector<ast_matchers::internal::BindableMatcher<T> > {
296 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
297 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
298 }
299};
300
301/// \brief Variadic marshaller function.
302template <typename ResultT, typename ArgT,
303 ResultT (*Func)(ArrayRef<const ArgT *>)>
304VariantMatcher
305variadicMatcherDescriptor(StringRef MatcherName, const SourceRange &NameRange,
306 ArrayRef<ParserValue> Args, Diagnostics *Error) {
307 ArgT **InnerArgs = new ArgT *[Args.size()]();
308
309 bool HasError = false;
310 for (size_t i = 0, e = Args.size(); i != e; ++i) {
311 typedef ArgTypeTraits<ArgT> ArgTraits;
312 const ParserValue &Arg = Args[i];
313 const VariantValue &Value = Arg.Value;
314 if (!ArgTraits::is(Value)) {
315 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
316 << (i + 1) << ArgTraits::getKind().asString() << Value.getTypeAsString();
317 HasError = true;
318 break;
319 }
320 InnerArgs[i] = new ArgT(ArgTraits::get(Value));
321 }
322
323 VariantMatcher Out;
324 if (!HasError) {
325 Out = outvalueToVariantMatcher(
326 Func(ArrayRef<const ArgT *>(InnerArgs, Args.size())));
327 }
328
329 for (size_t i = 0, e = Args.size(); i != e; ++i) {
330 delete InnerArgs[i];
331 }
332 delete[] InnerArgs;
333 return Out;
334}
335
336/// \brief Matcher descriptor for variadic functions.
337///
338/// This class simply wraps a VariadicFunction with the right signature to export
339/// it as a MatcherDescriptor.
340/// This allows us to have one implementation of the interface for as many free
341/// functions as we want, reducing the number of symbols and size of the
342/// object file.
343class VariadicFuncMatcherDescriptor : public MatcherDescriptor {
344public:
345 typedef VariantMatcher (*RunFunc)(StringRef MatcherName,
346 const SourceRange &NameRange,
347 ArrayRef<ParserValue> Args,
348 Diagnostics *Error);
349
350 template <typename ResultT, typename ArgT,
351 ResultT (*F)(ArrayRef<const ArgT *>)>
352 VariadicFuncMatcherDescriptor(llvm::VariadicFunction<ResultT, ArgT, F> Func,
353 StringRef MatcherName)
354 : Func(&variadicMatcherDescriptor<ResultT, ArgT, F>),
355 MatcherName(MatcherName.str()),
356 ArgsKind(ArgTypeTraits<ArgT>::getKind()) {
357 BuildReturnTypeVector<ResultT>::build(RetKinds);
358 }
359
360 VariantMatcher create(const SourceRange &NameRange,
361 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
362 return Func(MatcherName, NameRange, Args, Error);
363 }
364
365 bool isVariadic() const { return true; }
366 unsigned getNumArgs() const { return 0; }
367 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
368 std::vector<ArgKind> &Kinds) const {
369 Kinds.push_back(ArgsKind);
370 }
371 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
372 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
373 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
374 LeastDerivedKind);
375 }
376
377private:
378 const RunFunc Func;
379 const std::string MatcherName;
380 std::vector<ast_type_traits::ASTNodeKind> RetKinds;
381 const ArgKind ArgsKind;
382};
383
384/// \brief Return CK_Trivial when appropriate for VariadicDynCastAllOfMatchers.
385class DynCastAllOfMatcherDescriptor : public VariadicFuncMatcherDescriptor {
386public:
387 template <typename BaseT, typename DerivedT>
388 DynCastAllOfMatcherDescriptor(
389 ast_matchers::internal::VariadicDynCastAllOfMatcher<BaseT, DerivedT> Func,
390 StringRef MatcherName)
391 : VariadicFuncMatcherDescriptor(Func, MatcherName),
392 DerivedKind(ast_type_traits::ASTNodeKind::getFromNodeKind<DerivedT>()) {
393 }
394
Craig Toppera798a9d2014-03-02 09:32:10 +0000395 bool
396 isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
397 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000398 // If Kind is not a base of DerivedKind, either DerivedKind is a base of
399 // Kind (in which case the match will always succeed) or Kind and
400 // DerivedKind are unrelated (in which case it will always fail), so set
401 // Specificity to 0.
402 if (VariadicFuncMatcherDescriptor::isConvertibleTo(Kind, Specificity,
403 LeastDerivedKind)) {
404 if (Kind.isSame(DerivedKind) || !Kind.isBaseOf(DerivedKind)) {
405 if (Specificity)
406 *Specificity = 0;
407 }
408 return true;
409 } else {
410 return false;
411 }
412 }
413
414private:
415 const ast_type_traits::ASTNodeKind DerivedKind;
416};
417
418/// \brief Helper macros to check the arguments on all marshaller functions.
419#define CHECK_ARG_COUNT(count) \
420 if (Args.size() != count) { \
421 Error->addError(NameRange, Error->ET_RegistryWrongArgCount) \
422 << count << Args.size(); \
423 return VariantMatcher(); \
424 }
425
426#define CHECK_ARG_TYPE(index, type) \
427 if (!ArgTypeTraits<type>::is(Args[index].Value)) { \
428 Error->addError(Args[index].Range, Error->ET_RegistryWrongArgType) \
429 << (index + 1) << ArgTypeTraits<type>::getKind().asString() \
430 << Args[index].Value.getTypeAsString(); \
431 return VariantMatcher(); \
432 }
433
434
Manuel Klimek24db0f02013-05-14 09:13:00 +0000435/// \brief 0-arg marshaller function.
436template <typename ReturnType>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000437static VariantMatcher matcherMarshall0(void (*Func)(), StringRef MatcherName,
438 const SourceRange &NameRange,
439 ArrayRef<ParserValue> Args,
440 Diagnostics *Error) {
441 typedef ReturnType (*FuncType)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000442 CHECK_ARG_COUNT(0);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000443 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000444}
445
446/// \brief 1-arg marshaller function.
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000447template <typename ReturnType, typename ArgType1>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000448static VariantMatcher matcherMarshall1(void (*Func)(), StringRef MatcherName,
449 const SourceRange &NameRange,
450 ArrayRef<ParserValue> Args,
451 Diagnostics *Error) {
452 typedef ReturnType (*FuncType)(ArgType1);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000453 CHECK_ARG_COUNT(1);
454 CHECK_ARG_TYPE(0, ArgType1);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000455 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
456 ArgTypeTraits<ArgType1>::get(Args[0].Value)));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000457}
458
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000459/// \brief 2-arg marshaller function.
460template <typename ReturnType, typename ArgType1, typename ArgType2>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000461static VariantMatcher matcherMarshall2(void (*Func)(), StringRef MatcherName,
462 const SourceRange &NameRange,
463 ArrayRef<ParserValue> Args,
464 Diagnostics *Error) {
465 typedef ReturnType (*FuncType)(ArgType1, ArgType2);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000466 CHECK_ARG_COUNT(2);
467 CHECK_ARG_TYPE(0, ArgType1);
468 CHECK_ARG_TYPE(1, ArgType2);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000469 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
470 ArgTypeTraits<ArgType1>::get(Args[0].Value),
471 ArgTypeTraits<ArgType2>::get(Args[1].Value)));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000472}
473
Manuel Klimek24db0f02013-05-14 09:13:00 +0000474#undef CHECK_ARG_COUNT
475#undef CHECK_ARG_TYPE
476
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000477/// \brief Helper class used to collect all the possible overloads of an
478/// argument adaptative matcher function.
479template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
480 typename FromTypes, typename ToTypes>
481class AdaptativeOverloadCollector {
482public:
483 AdaptativeOverloadCollector(StringRef Name,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000484 std::vector<MatcherDescriptor *> &Out)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000485 : Name(Name), Out(Out) {
486 collect(FromTypes());
487 }
488
489private:
490 typedef ast_matchers::internal::ArgumentAdaptingMatcherFunc<
491 ArgumentAdapterT, FromTypes, ToTypes> AdaptativeFunc;
492
493 /// \brief End case for the recursion
494 static void collect(ast_matchers::internal::EmptyTypeList) {}
495
496 /// \brief Recursive case. Get the overload for the head of the list, and
497 /// recurse to the tail.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000498 template <typename FromTypeList>
499 inline void collect(FromTypeList);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000500
501 const StringRef Name;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000502 std::vector<MatcherDescriptor *> &Out;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000503};
504
Peter Collingbournef43e6942013-11-23 01:34:36 +0000505/// \brief MatcherDescriptor that wraps multiple "overloads" of the same
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000506/// matcher.
507///
508/// It will try every overload and generate appropriate errors for when none or
509/// more than one overloads match the arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000510class OverloadedMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000511public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000512 OverloadedMatcherDescriptor(ArrayRef<MatcherDescriptor *> Callbacks)
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000513 : Overloads(Callbacks.begin(), Callbacks.end()) {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000514
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000515 virtual ~OverloadedMatcherDescriptor() {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000516
Peter Collingbournef43e6942013-11-23 01:34:36 +0000517 virtual VariantMatcher create(const SourceRange &NameRange,
518 ArrayRef<ParserValue> Args,
519 Diagnostics *Error) const {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000520 std::vector<VariantMatcher> Constructed;
521 Diagnostics::OverloadContext Ctx(Error);
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000522 for (const auto &O : Overloads) {
523 VariantMatcher SubMatcher = O->create(NameRange, Args, Error);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000524 if (!SubMatcher.isNull()) {
525 Constructed.push_back(SubMatcher);
526 }
527 }
528
529 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
530 // We ignore the errors if any matcher succeeded.
531 Ctx.revertErrors();
532 if (Constructed.size() > 1) {
533 // More than one constructed. It is ambiguous.
534 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
535 return VariantMatcher();
536 }
537 return Constructed[0];
538 }
539
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000540 bool isVariadic() const {
541 bool Overload0Variadic = Overloads[0]->isVariadic();
542#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000543 for (const auto &O : Overloads) {
544 assert(Overload0Variadic == O->isVariadic());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000545 }
546#endif
547 return Overload0Variadic;
548 }
549
550 unsigned getNumArgs() const {
551 unsigned Overload0NumArgs = Overloads[0]->getNumArgs();
552#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000553 for (const auto &O : Overloads) {
554 assert(Overload0NumArgs == O->getNumArgs());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000555 }
556#endif
557 return Overload0NumArgs;
558 }
559
560 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
561 std::vector<ArgKind> &Kinds) const {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000562 for (const auto &O : Overloads) {
563 if (O->isConvertibleTo(ThisKind))
564 O->getArgKinds(ThisKind, ArgNo, Kinds);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000565 }
566 }
567
568 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
569 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000570 for (const auto &O : Overloads) {
571 if (O->isConvertibleTo(Kind, Specificity, LeastDerivedKind))
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000572 return true;
573 }
574 return false;
575 }
576
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000577private:
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000578 std::vector<std::unique_ptr<MatcherDescriptor>> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000579};
580
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000581/// \brief Variadic operator marshaller function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000582class VariadicOperatorMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000583public:
584 typedef ast_matchers::internal::VariadicOperatorFunction VarFunc;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000585 VariadicOperatorMatcherDescriptor(unsigned MinCount, unsigned MaxCount,
586 VarFunc Func, StringRef MatcherName)
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000587 : MinCount(MinCount), MaxCount(MaxCount), Func(Func),
588 MatcherName(MatcherName) {}
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000589
Peter Collingbournef43e6942013-11-23 01:34:36 +0000590 virtual VariantMatcher create(const SourceRange &NameRange,
591 ArrayRef<ParserValue> Args,
592 Diagnostics *Error) const {
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000593 if (Args.size() < MinCount || MaxCount < Args.size()) {
594 const std::string MaxStr =
595 (MaxCount == UINT_MAX ? "" : Twine(MaxCount)).str();
596 Error->addError(NameRange, Error->ET_RegistryWrongArgCount)
597 << ("(" + Twine(MinCount) + ", " + MaxStr + ")") << Args.size();
598 return VariantMatcher();
599 }
600
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000601 std::vector<VariantMatcher> InnerArgs;
602 for (size_t i = 0, e = Args.size(); i != e; ++i) {
603 const ParserValue &Arg = Args[i];
604 const VariantValue &Value = Arg.Value;
605 if (!Value.isMatcher()) {
606 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
607 << (i + 1) << "Matcher<>" << Value.getTypeAsString();
608 return VariantMatcher();
609 }
610 InnerArgs.push_back(Value.getMatcher());
611 }
Benjamin Kramer3f755aa2014-03-10 17:55:02 +0000612 return VariantMatcher::VariadicOperatorMatcher(Func, std::move(InnerArgs));
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000613 }
614
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000615 bool isVariadic() const { return true; }
616 unsigned getNumArgs() const { return 0; }
617 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
618 std::vector<ArgKind> &Kinds) const {
619 Kinds.push_back(ThisKind);
620 }
621 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
622 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
623 if (Specificity)
624 *Specificity = 1;
625 if (LeastDerivedKind)
626 *LeastDerivedKind = Kind;
627 return true;
628 }
Craig Topperbbc6d622014-03-02 10:02:43 +0000629 bool isPolymorphic() const override { return true; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000630
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000631private:
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000632 const unsigned MinCount;
633 const unsigned MaxCount;
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000634 const VarFunc Func;
635 const StringRef MatcherName;
636};
637
Manuel Klimek24db0f02013-05-14 09:13:00 +0000638/// Helper functions to select the appropriate marshaller functions.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000639/// They detect the number of arguments, arguments types and return type.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000640
641/// \brief 0-arg overload
642template <typename ReturnType>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000643MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000644 StringRef MatcherName) {
645 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
646 BuildReturnTypeVector<ReturnType>::build(RetTypes);
647 return new FixedArgCountMatcherDescriptor(
648 matcherMarshall0<ReturnType>, reinterpret_cast<void (*)()>(Func),
Craig Topper00bbdcf2014-06-28 23:22:23 +0000649 MatcherName, RetTypes, None);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000650}
651
652/// \brief 1-arg overload
653template <typename ReturnType, typename ArgType1>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000654MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000655 StringRef MatcherName) {
656 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
657 BuildReturnTypeVector<ReturnType>::build(RetTypes);
658 ArgKind AK = ArgTypeTraits<ArgType1>::getKind();
Peter Collingbournef43e6942013-11-23 01:34:36 +0000659 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000660 matcherMarshall1<ReturnType, ArgType1>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000661 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AK);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000662}
663
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000664/// \brief 2-arg overload
665template <typename ReturnType, typename ArgType1, typename ArgType2>
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000666MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1, ArgType2),
667 StringRef MatcherName) {
668 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
669 BuildReturnTypeVector<ReturnType>::build(RetTypes);
670 ArgKind AKs[] = { ArgTypeTraits<ArgType1>::getKind(),
671 ArgTypeTraits<ArgType2>::getKind() };
Peter Collingbournef43e6942013-11-23 01:34:36 +0000672 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000673 matcherMarshall2<ReturnType, ArgType1, ArgType2>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000674 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AKs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000675}
676
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000677/// \brief Variadic overload.
678template <typename ResultT, typename ArgT,
679 ResultT (*Func)(ArrayRef<const ArgT *>)>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000680MatcherDescriptor *
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000681makeMatcherAutoMarshall(llvm::VariadicFunction<ResultT, ArgT, Func> VarFunc,
Manuel Klimek24db0f02013-05-14 09:13:00 +0000682 StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000683 return new VariadicFuncMatcherDescriptor(VarFunc, MatcherName);
684}
685
686/// \brief Overload for VariadicDynCastAllOfMatchers.
687///
688/// Not strictly necessary, but DynCastAllOfMatcherDescriptor gives us better
689/// completion results for that type of matcher.
690template <typename BaseT, typename DerivedT>
691MatcherDescriptor *
692makeMatcherAutoMarshall(ast_matchers::internal::VariadicDynCastAllOfMatcher<
693 BaseT, DerivedT> VarFunc,
694 StringRef MatcherName) {
695 return new DynCastAllOfMatcherDescriptor(VarFunc, MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000696}
697
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000698/// \brief Argument adaptative overload.
699template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
700 typename FromTypes, typename ToTypes>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000701MatcherDescriptor *
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000702makeMatcherAutoMarshall(ast_matchers::internal::ArgumentAdaptingMatcherFunc<
703 ArgumentAdapterT, FromTypes, ToTypes>,
704 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000705 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000706 AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes, ToTypes>(MatcherName,
707 Overloads);
Peter Collingbournef43e6942013-11-23 01:34:36 +0000708 return new OverloadedMatcherDescriptor(Overloads);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000709}
710
711template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
712 typename FromTypes, typename ToTypes>
713template <typename FromTypeList>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000714inline void AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes,
715 ToTypes>::collect(FromTypeList) {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000716 Out.push_back(makeMatcherAutoMarshall(
717 &AdaptativeFunc::template create<typename FromTypeList::head>, Name));
718 collect(typename FromTypeList::tail());
719}
720
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000721/// \brief Variadic operator overload.
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000722template <unsigned MinCount, unsigned MaxCount>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000723MatcherDescriptor *
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000724makeMatcherAutoMarshall(ast_matchers::internal::VariadicOperatorMatcherFunc<
725 MinCount, MaxCount> Func,
726 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000727 return new VariadicOperatorMatcherDescriptor(MinCount, MaxCount, Func.Func,
728 MatcherName);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000729}
730
Manuel Klimek24db0f02013-05-14 09:13:00 +0000731} // namespace internal
732} // namespace dynamic
733} // namespace ast_matchers
734} // namespace clang
735
736#endif // LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H