blob: 277224a39e4abb02ee1593d235bdcfea0248d69f [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"
Manuel Klimek24db0f02013-05-14 09:13:00 +000028#include "llvm/Support/type_traits.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000029#include <string>
Manuel Klimek24db0f02013-05-14 09:13:00 +000030
31namespace clang {
32namespace ast_matchers {
33namespace dynamic {
34
35namespace internal {
36
Peter Collingbourned32e28c2014-01-23 22:48:38 +000037struct ArgKind {
38 enum Kind {
39 AK_Matcher,
40 AK_Unsigned,
41 AK_String
42 };
43 ArgKind(Kind K)
44 : K(K) {}
45 ArgKind(ast_type_traits::ASTNodeKind MatcherKind)
46 : K(AK_Matcher), MatcherKind(MatcherKind) {}
47
48 std::string asString() const {
49 switch (getArgKind()) {
50 case AK_Matcher:
51 return (Twine("Matcher<") + MatcherKind.asStringRef() + ">").str();
52 case AK_Unsigned:
53 return "unsigned";
54 case AK_String:
55 return "string";
56 }
Alp Toker14c8aff2014-01-26 08:12:32 +000057 llvm_unreachable("unhandled ArgKind");
Peter Collingbourned32e28c2014-01-23 22:48:38 +000058 }
59
60 Kind getArgKind() const { return K; }
61 ast_type_traits::ASTNodeKind getMatcherKind() const {
62 assert(K == AK_Matcher);
63 return MatcherKind;
64 }
65
66 bool operator<(const ArgKind &Other) const {
67 if (K == AK_Matcher && Other.K == AK_Matcher)
68 return MatcherKind < Other.MatcherKind;
69 return K < Other.K;
70 }
71
72private:
73 Kind K;
74 ast_type_traits::ASTNodeKind MatcherKind;
75};
76
Manuel Klimek24db0f02013-05-14 09:13:00 +000077/// \brief Helper template class to just from argument type to the right is/get
78/// functions in VariantValue.
79/// Used to verify and extract the matcher arguments below.
80template <class T> struct ArgTypeTraits;
81template <class T> struct ArgTypeTraits<const T &> : public ArgTypeTraits<T> {
82};
83
84template <> struct ArgTypeTraits<std::string> {
85 static bool is(const VariantValue &Value) { return Value.isString(); }
86 static const std::string &get(const VariantValue &Value) {
87 return Value.getString();
88 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000089 static ArgKind getKind() {
90 return ArgKind(ArgKind::AK_String);
91 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000092};
93
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +000094template <>
95struct ArgTypeTraits<StringRef> : public ArgTypeTraits<std::string> {
96};
97
Manuel Klimek24db0f02013-05-14 09:13:00 +000098template <class T> struct ArgTypeTraits<ast_matchers::internal::Matcher<T> > {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000099 static bool is(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000100 return Value.isMatcher() && Value.getMatcher().hasTypedMatcher<T>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000101 }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000102 static ast_matchers::internal::Matcher<T> get(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000103 return Value.getMatcher().getTypedMatcher<T>();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000104 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000105 static ArgKind getKind() {
106 return ArgKind(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
107 }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000108};
Manuel Klimek24db0f02013-05-14 09:13:00 +0000109
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000110template <> struct ArgTypeTraits<unsigned> {
111 static bool is(const VariantValue &Value) { return Value.isUnsigned(); }
112 static unsigned get(const VariantValue &Value) {
113 return Value.getUnsigned();
114 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000115 static ArgKind getKind() {
116 return ArgKind(ArgKind::AK_Unsigned);
117 }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000118};
119
Peter Collingbournef43e6942013-11-23 01:34:36 +0000120/// \brief Matcher descriptor interface.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000121///
Peter Collingbournef43e6942013-11-23 01:34:36 +0000122/// Provides a \c create() method that constructs the matcher from the provided
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000123/// arguments, and various other methods for type introspection.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000124class MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000125public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000126 virtual ~MatcherDescriptor() {}
127 virtual VariantMatcher create(const SourceRange &NameRange,
128 ArrayRef<ParserValue> Args,
129 Diagnostics *Error) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000130
131 /// Returns whether the matcher is variadic. Variadic matchers can take any
132 /// number of arguments, but they must be of the same type.
133 virtual bool isVariadic() const = 0;
134
135 /// Returns the number of arguments accepted by the matcher if not variadic.
136 virtual unsigned getNumArgs() const = 0;
137
138 /// Given that the matcher is being converted to type \p ThisKind, append the
139 /// set of argument types accepted for argument \p ArgNo to \p ArgKinds.
140 // FIXME: We should provide the ability to constrain the output of this
141 // function based on the types of other matcher arguments.
142 virtual void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
143 std::vector<ArgKind> &ArgKinds) const = 0;
144
145 /// Returns whether this matcher is convertible to the given type. If it is
146 /// so convertible, store in *Specificity a value corresponding to the
147 /// "specificity" of the converted matcher to the given context, and in
148 /// *LeastDerivedKind the least derived matcher kind which would result in the
149 /// same matcher overload. Zero specificity indicates that this conversion
150 /// would produce a trivial matcher that will either always or never match.
151 /// Such matchers are excluded from code completion results.
152 virtual bool isConvertibleTo(
153 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity = 0,
154 ast_type_traits::ASTNodeKind *LeastDerivedKind = 0) const = 0;
155
156 /// Returns whether the matcher will, given a matcher of any type T, yield a
157 /// matcher of type T.
158 virtual bool isPolymorphic() const { return false; }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000159};
160
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000161inline bool isRetKindConvertibleTo(
162 llvm::ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
163 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
164 ast_type_traits::ASTNodeKind *LeastDerivedKind) {
165 for (llvm::ArrayRef<ast_type_traits::ASTNodeKind>::const_iterator
166 i = RetKinds.begin(),
167 e = RetKinds.end();
168 i != e; ++i) {
169 unsigned Distance;
170 if (i->isBaseOf(Kind, &Distance)) {
171 if (Specificity)
172 *Specificity = 100 - Distance;
173 if (LeastDerivedKind)
174 *LeastDerivedKind = *i;
175 return true;
176 }
177 }
178 return false;
179}
180
Manuel Klimek24db0f02013-05-14 09:13:00 +0000181/// \brief Simple callback implementation. Marshaller and function are provided.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000182///
183/// This class wraps a function of arbitrary signature and a marshaller
Peter Collingbournef43e6942013-11-23 01:34:36 +0000184/// function into a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000185/// The marshaller is in charge of taking the VariantValue arguments, checking
186/// their types, unpacking them and calling the underlying function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000187class FixedArgCountMatcherDescriptor : public MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000188public:
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000189 typedef VariantMatcher (*MarshallerType)(void (*Func)(),
190 StringRef MatcherName,
191 const SourceRange &NameRange,
192 ArrayRef<ParserValue> Args,
193 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000194
Dmitri Gribenkocb63baf2013-05-17 17:50:16 +0000195 /// \param Marshaller Function to unpack the arguments and call \c Func
196 /// \param Func Matcher construct function. This is the function that
197 /// compile-time matcher expressions would use to create the matcher.
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000198 /// \param RetKinds The list of matcher types to which the matcher is
199 /// convertible.
200 /// \param ArgKinds The types of the arguments this matcher takes.
201 FixedArgCountMatcherDescriptor(
202 MarshallerType Marshaller, void (*Func)(), StringRef MatcherName,
203 llvm::ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
204 llvm::ArrayRef<ArgKind> ArgKinds)
205 : Marshaller(Marshaller), Func(Func), MatcherName(MatcherName),
206 RetKinds(RetKinds.begin(), RetKinds.end()),
207 ArgKinds(ArgKinds.begin(), ArgKinds.end()) {}
Manuel Klimek24db0f02013-05-14 09:13:00 +0000208
Peter Collingbournef43e6942013-11-23 01:34:36 +0000209 VariantMatcher create(const SourceRange &NameRange,
210 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000211 return Marshaller(Func, MatcherName, NameRange, Args, Error);
212 }
213
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000214 bool isVariadic() const { return false; }
215 unsigned getNumArgs() const { return ArgKinds.size(); }
216 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
217 std::vector<ArgKind> &Kinds) const {
218 Kinds.push_back(ArgKinds[ArgNo]);
219 }
220 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
221 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
222 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
223 LeastDerivedKind);
224 }
225
Manuel Klimek24db0f02013-05-14 09:13:00 +0000226private:
227 const MarshallerType Marshaller;
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000228 void (* const Func)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000229 const std::string MatcherName;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000230 const std::vector<ast_type_traits::ASTNodeKind> RetKinds;
231 const std::vector<ArgKind> ArgKinds;
Manuel Klimek24db0f02013-05-14 09:13:00 +0000232};
233
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000234/// \brief Helper methods to extract and merge all possible typed matchers
235/// out of the polymorphic object.
236template <class PolyMatcher>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000237static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000238 std::vector<DynTypedMatcher> &Out,
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000239 ast_matchers::internal::EmptyTypeList) {}
240
241template <class PolyMatcher, class TypeList>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000242static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000243 std::vector<DynTypedMatcher> &Out, TypeList) {
244 Out.push_back(ast_matchers::internal::Matcher<typename TypeList::head>(Poly));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000245 mergePolyMatchers(Poly, Out, typename TypeList::tail());
246}
247
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000248/// \brief Convert the return values of the functions into a VariantMatcher.
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000249///
250/// There are 2 cases right now: The return value is a Matcher<T> or is a
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000251/// polymorphic matcher. For the former, we just construct the VariantMatcher.
252/// For the latter, we instantiate all the possible Matcher<T> of the poly
253/// matcher.
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000254static VariantMatcher outvalueToVariantMatcher(const DynTypedMatcher &Matcher) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000255 return VariantMatcher::SingleMatcher(Matcher);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000256}
257
258template <typename T>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000259static VariantMatcher outvalueToVariantMatcher(const T &PolyMatcher,
260 typename T::ReturnTypes * =
261 NULL) {
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000262 std::vector<DynTypedMatcher> Matchers;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000263 mergePolyMatchers(PolyMatcher, Matchers, typename T::ReturnTypes());
264 VariantMatcher Out = VariantMatcher::PolymorphicMatcher(Matchers);
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000265 return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000266}
267
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000268template <typename T>
269inline void buildReturnTypeVectorFromTypeList(
270 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
271 RetTypes.push_back(
272 ast_type_traits::ASTNodeKind::getFromNodeKind<typename T::head>());
273 buildReturnTypeVectorFromTypeList<typename T::tail>(RetTypes);
274}
275
276template <>
277inline void
278buildReturnTypeVectorFromTypeList<ast_matchers::internal::EmptyTypeList>(
279 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {}
280
281template <typename T>
282struct BuildReturnTypeVector {
283 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
284 buildReturnTypeVectorFromTypeList<typename T::ReturnTypes>(RetTypes);
285 }
286};
287
288template <typename T>
289struct BuildReturnTypeVector<ast_matchers::internal::Matcher<T> > {
290 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
291 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
292 }
293};
294
295template <typename T>
296struct BuildReturnTypeVector<ast_matchers::internal::BindableMatcher<T> > {
297 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
298 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
299 }
300};
301
302/// \brief Variadic marshaller function.
303template <typename ResultT, typename ArgT,
304 ResultT (*Func)(ArrayRef<const ArgT *>)>
305VariantMatcher
306variadicMatcherDescriptor(StringRef MatcherName, const SourceRange &NameRange,
307 ArrayRef<ParserValue> Args, Diagnostics *Error) {
308 ArgT **InnerArgs = new ArgT *[Args.size()]();
309
310 bool HasError = false;
311 for (size_t i = 0, e = Args.size(); i != e; ++i) {
312 typedef ArgTypeTraits<ArgT> ArgTraits;
313 const ParserValue &Arg = Args[i];
314 const VariantValue &Value = Arg.Value;
315 if (!ArgTraits::is(Value)) {
316 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
317 << (i + 1) << ArgTraits::getKind().asString() << Value.getTypeAsString();
318 HasError = true;
319 break;
320 }
321 InnerArgs[i] = new ArgT(ArgTraits::get(Value));
322 }
323
324 VariantMatcher Out;
325 if (!HasError) {
326 Out = outvalueToVariantMatcher(
327 Func(ArrayRef<const ArgT *>(InnerArgs, Args.size())));
328 }
329
330 for (size_t i = 0, e = Args.size(); i != e; ++i) {
331 delete InnerArgs[i];
332 }
333 delete[] InnerArgs;
334 return Out;
335}
336
337/// \brief Matcher descriptor for variadic functions.
338///
339/// This class simply wraps a VariadicFunction with the right signature to export
340/// it as a MatcherDescriptor.
341/// This allows us to have one implementation of the interface for as many free
342/// functions as we want, reducing the number of symbols and size of the
343/// object file.
344class VariadicFuncMatcherDescriptor : public MatcherDescriptor {
345public:
346 typedef VariantMatcher (*RunFunc)(StringRef MatcherName,
347 const SourceRange &NameRange,
348 ArrayRef<ParserValue> Args,
349 Diagnostics *Error);
350
351 template <typename ResultT, typename ArgT,
352 ResultT (*F)(ArrayRef<const ArgT *>)>
353 VariadicFuncMatcherDescriptor(llvm::VariadicFunction<ResultT, ArgT, F> Func,
354 StringRef MatcherName)
355 : Func(&variadicMatcherDescriptor<ResultT, ArgT, F>),
356 MatcherName(MatcherName.str()),
357 ArgsKind(ArgTypeTraits<ArgT>::getKind()) {
358 BuildReturnTypeVector<ResultT>::build(RetKinds);
359 }
360
361 VariantMatcher create(const SourceRange &NameRange,
362 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
363 return Func(MatcherName, NameRange, Args, Error);
364 }
365
366 bool isVariadic() const { return true; }
367 unsigned getNumArgs() const { return 0; }
368 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
369 std::vector<ArgKind> &Kinds) const {
370 Kinds.push_back(ArgsKind);
371 }
372 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
373 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
374 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
375 LeastDerivedKind);
376 }
377
378private:
379 const RunFunc Func;
380 const std::string MatcherName;
381 std::vector<ast_type_traits::ASTNodeKind> RetKinds;
382 const ArgKind ArgsKind;
383};
384
385/// \brief Return CK_Trivial when appropriate for VariadicDynCastAllOfMatchers.
386class DynCastAllOfMatcherDescriptor : public VariadicFuncMatcherDescriptor {
387public:
388 template <typename BaseT, typename DerivedT>
389 DynCastAllOfMatcherDescriptor(
390 ast_matchers::internal::VariadicDynCastAllOfMatcher<BaseT, DerivedT> Func,
391 StringRef MatcherName)
392 : VariadicFuncMatcherDescriptor(Func, MatcherName),
393 DerivedKind(ast_type_traits::ASTNodeKind::getFromNodeKind<DerivedT>()) {
394 }
395
396 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
397 ast_type_traits::ASTNodeKind *LeastDerivedKind) const
398 LLVM_OVERRIDE {
399 // If Kind is not a base of DerivedKind, either DerivedKind is a base of
400 // Kind (in which case the match will always succeed) or Kind and
401 // DerivedKind are unrelated (in which case it will always fail), so set
402 // Specificity to 0.
403 if (VariadicFuncMatcherDescriptor::isConvertibleTo(Kind, Specificity,
404 LeastDerivedKind)) {
405 if (Kind.isSame(DerivedKind) || !Kind.isBaseOf(DerivedKind)) {
406 if (Specificity)
407 *Specificity = 0;
408 }
409 return true;
410 } else {
411 return false;
412 }
413 }
414
415private:
416 const ast_type_traits::ASTNodeKind DerivedKind;
417};
418
419/// \brief Helper macros to check the arguments on all marshaller functions.
420#define CHECK_ARG_COUNT(count) \
421 if (Args.size() != count) { \
422 Error->addError(NameRange, Error->ET_RegistryWrongArgCount) \
423 << count << Args.size(); \
424 return VariantMatcher(); \
425 }
426
427#define CHECK_ARG_TYPE(index, type) \
428 if (!ArgTypeTraits<type>::is(Args[index].Value)) { \
429 Error->addError(Args[index].Range, Error->ET_RegistryWrongArgType) \
430 << (index + 1) << ArgTypeTraits<type>::getKind().asString() \
431 << Args[index].Value.getTypeAsString(); \
432 return VariantMatcher(); \
433 }
434
435
Manuel Klimek24db0f02013-05-14 09:13:00 +0000436/// \brief 0-arg marshaller function.
437template <typename ReturnType>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000438static VariantMatcher matcherMarshall0(void (*Func)(), StringRef MatcherName,
439 const SourceRange &NameRange,
440 ArrayRef<ParserValue> Args,
441 Diagnostics *Error) {
442 typedef ReturnType (*FuncType)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000443 CHECK_ARG_COUNT(0);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000444 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000445}
446
447/// \brief 1-arg marshaller function.
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000448template <typename ReturnType, typename ArgType1>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000449static VariantMatcher matcherMarshall1(void (*Func)(), StringRef MatcherName,
450 const SourceRange &NameRange,
451 ArrayRef<ParserValue> Args,
452 Diagnostics *Error) {
453 typedef ReturnType (*FuncType)(ArgType1);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000454 CHECK_ARG_COUNT(1);
455 CHECK_ARG_TYPE(0, ArgType1);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000456 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
457 ArgTypeTraits<ArgType1>::get(Args[0].Value)));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000458}
459
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000460/// \brief 2-arg marshaller function.
461template <typename ReturnType, typename ArgType1, typename ArgType2>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000462static VariantMatcher matcherMarshall2(void (*Func)(), StringRef MatcherName,
463 const SourceRange &NameRange,
464 ArrayRef<ParserValue> Args,
465 Diagnostics *Error) {
466 typedef ReturnType (*FuncType)(ArgType1, ArgType2);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000467 CHECK_ARG_COUNT(2);
468 CHECK_ARG_TYPE(0, ArgType1);
469 CHECK_ARG_TYPE(1, ArgType2);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000470 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
471 ArgTypeTraits<ArgType1>::get(Args[0].Value),
472 ArgTypeTraits<ArgType2>::get(Args[1].Value)));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000473}
474
Manuel Klimek24db0f02013-05-14 09:13:00 +0000475#undef CHECK_ARG_COUNT
476#undef CHECK_ARG_TYPE
477
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000478/// \brief Helper class used to collect all the possible overloads of an
479/// argument adaptative matcher function.
480template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
481 typename FromTypes, typename ToTypes>
482class AdaptativeOverloadCollector {
483public:
484 AdaptativeOverloadCollector(StringRef Name,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000485 std::vector<MatcherDescriptor *> &Out)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000486 : Name(Name), Out(Out) {
487 collect(FromTypes());
488 }
489
490private:
491 typedef ast_matchers::internal::ArgumentAdaptingMatcherFunc<
492 ArgumentAdapterT, FromTypes, ToTypes> AdaptativeFunc;
493
494 /// \brief End case for the recursion
495 static void collect(ast_matchers::internal::EmptyTypeList) {}
496
497 /// \brief Recursive case. Get the overload for the head of the list, and
498 /// recurse to the tail.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000499 template <typename FromTypeList>
500 inline void collect(FromTypeList);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000501
502 const StringRef Name;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000503 std::vector<MatcherDescriptor *> &Out;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000504};
505
Peter Collingbournef43e6942013-11-23 01:34:36 +0000506/// \brief MatcherDescriptor that wraps multiple "overloads" of the same
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000507/// matcher.
508///
509/// It will try every overload and generate appropriate errors for when none or
510/// more than one overloads match the arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000511class OverloadedMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000512public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000513 OverloadedMatcherDescriptor(ArrayRef<MatcherDescriptor *> Callbacks)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000514 : Overloads(Callbacks) {}
515
Peter Collingbournef43e6942013-11-23 01:34:36 +0000516 virtual ~OverloadedMatcherDescriptor() {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000517 llvm::DeleteContainerPointers(Overloads);
518 }
519
Peter Collingbournef43e6942013-11-23 01:34:36 +0000520 virtual VariantMatcher create(const SourceRange &NameRange,
521 ArrayRef<ParserValue> Args,
522 Diagnostics *Error) const {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000523 std::vector<VariantMatcher> Constructed;
524 Diagnostics::OverloadContext Ctx(Error);
525 for (size_t i = 0, e = Overloads.size(); i != e; ++i) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000526 VariantMatcher SubMatcher = Overloads[i]->create(NameRange, Args, Error);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000527 if (!SubMatcher.isNull()) {
528 Constructed.push_back(SubMatcher);
529 }
530 }
531
532 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
533 // We ignore the errors if any matcher succeeded.
534 Ctx.revertErrors();
535 if (Constructed.size() > 1) {
536 // More than one constructed. It is ambiguous.
537 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
538 return VariantMatcher();
539 }
540 return Constructed[0];
541 }
542
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000543 bool isVariadic() const {
544 bool Overload0Variadic = Overloads[0]->isVariadic();
545#ifndef NDEBUG
Peter Collingbourne50b75db2014-01-23 23:15:58 +0000546 for (std::vector<MatcherDescriptor *>::const_iterator I = Overloads.begin(),
547 E = Overloads.end();
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000548 I != E; ++I) {
549 assert(Overload0Variadic == (*I)->isVariadic());
550 }
551#endif
552 return Overload0Variadic;
553 }
554
555 unsigned getNumArgs() const {
556 unsigned Overload0NumArgs = Overloads[0]->getNumArgs();
557#ifndef NDEBUG
Peter Collingbourne50b75db2014-01-23 23:15:58 +0000558 for (std::vector<MatcherDescriptor *>::const_iterator I = Overloads.begin(),
559 E = Overloads.end();
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000560 I != E; ++I) {
561 assert(Overload0NumArgs == (*I)->getNumArgs());
562 }
563#endif
564 return Overload0NumArgs;
565 }
566
567 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
568 std::vector<ArgKind> &Kinds) const {
569 for (std::vector<MatcherDescriptor *>::const_iterator I = Overloads.begin(),
570 E = Overloads.end();
571 I != E; ++I) {
572 if ((*I)->isConvertibleTo(ThisKind))
573 (*I)->getArgKinds(ThisKind, ArgNo, Kinds);
574 }
575 }
576
577 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
578 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
579 for (std::vector<MatcherDescriptor *>::const_iterator I = Overloads.begin(),
580 E = Overloads.end();
581 I != E; ++I) {
582 if ((*I)->isConvertibleTo(Kind, Specificity, LeastDerivedKind))
583 return true;
584 }
585 return false;
586 }
587
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000588private:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000589 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000590};
591
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000592/// \brief Variadic operator marshaller function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000593class VariadicOperatorMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000594public:
595 typedef ast_matchers::internal::VariadicOperatorFunction VarFunc;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000596 VariadicOperatorMatcherDescriptor(unsigned MinCount, unsigned MaxCount,
597 VarFunc Func, StringRef MatcherName)
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000598 : MinCount(MinCount), MaxCount(MaxCount), Func(Func),
599 MatcherName(MatcherName) {}
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000600
Peter Collingbournef43e6942013-11-23 01:34:36 +0000601 virtual VariantMatcher create(const SourceRange &NameRange,
602 ArrayRef<ParserValue> Args,
603 Diagnostics *Error) const {
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000604 if (Args.size() < MinCount || MaxCount < Args.size()) {
605 const std::string MaxStr =
606 (MaxCount == UINT_MAX ? "" : Twine(MaxCount)).str();
607 Error->addError(NameRange, Error->ET_RegistryWrongArgCount)
608 << ("(" + Twine(MinCount) + ", " + MaxStr + ")") << Args.size();
609 return VariantMatcher();
610 }
611
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000612 std::vector<VariantMatcher> InnerArgs;
613 for (size_t i = 0, e = Args.size(); i != e; ++i) {
614 const ParserValue &Arg = Args[i];
615 const VariantValue &Value = Arg.Value;
616 if (!Value.isMatcher()) {
617 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
618 << (i + 1) << "Matcher<>" << Value.getTypeAsString();
619 return VariantMatcher();
620 }
621 InnerArgs.push_back(Value.getMatcher());
622 }
623 return VariantMatcher::VariadicOperatorMatcher(Func, InnerArgs);
624 }
625
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000626 bool isVariadic() const { return true; }
627 unsigned getNumArgs() const { return 0; }
628 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
629 std::vector<ArgKind> &Kinds) const {
630 Kinds.push_back(ThisKind);
631 }
632 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
633 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
634 if (Specificity)
635 *Specificity = 1;
636 if (LeastDerivedKind)
637 *LeastDerivedKind = Kind;
638 return true;
639 }
640 bool isPolymorphic() const LLVM_OVERRIDE { return true; }
641
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000642private:
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000643 const unsigned MinCount;
644 const unsigned MaxCount;
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000645 const VarFunc Func;
646 const StringRef MatcherName;
647};
648
Manuel Klimek24db0f02013-05-14 09:13:00 +0000649/// Helper functions to select the appropriate marshaller functions.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000650/// They detect the number of arguments, arguments types and return type.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000651
652/// \brief 0-arg overload
653template <typename ReturnType>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000654MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000655 StringRef MatcherName) {
656 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
657 BuildReturnTypeVector<ReturnType>::build(RetTypes);
658 return new FixedArgCountMatcherDescriptor(
659 matcherMarshall0<ReturnType>, reinterpret_cast<void (*)()>(Func),
660 MatcherName, RetTypes, llvm::ArrayRef<ArgKind>());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000661}
662
663/// \brief 1-arg overload
664template <typename ReturnType, typename ArgType1>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000665MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000666 StringRef MatcherName) {
667 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
668 BuildReturnTypeVector<ReturnType>::build(RetTypes);
669 ArgKind AK = ArgTypeTraits<ArgType1>::getKind();
Peter Collingbournef43e6942013-11-23 01:34:36 +0000670 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000671 matcherMarshall1<ReturnType, ArgType1>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000672 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AK);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000673}
674
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000675/// \brief 2-arg overload
676template <typename ReturnType, typename ArgType1, typename ArgType2>
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000677MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1, ArgType2),
678 StringRef MatcherName) {
679 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
680 BuildReturnTypeVector<ReturnType>::build(RetTypes);
681 ArgKind AKs[] = { ArgTypeTraits<ArgType1>::getKind(),
682 ArgTypeTraits<ArgType2>::getKind() };
Peter Collingbournef43e6942013-11-23 01:34:36 +0000683 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000684 matcherMarshall2<ReturnType, ArgType1, ArgType2>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000685 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AKs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000686}
687
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000688/// \brief Variadic overload.
689template <typename ResultT, typename ArgT,
690 ResultT (*Func)(ArrayRef<const ArgT *>)>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000691MatcherDescriptor *
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000692makeMatcherAutoMarshall(llvm::VariadicFunction<ResultT, ArgT, Func> VarFunc,
Manuel Klimek24db0f02013-05-14 09:13:00 +0000693 StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000694 return new VariadicFuncMatcherDescriptor(VarFunc, MatcherName);
695}
696
697/// \brief Overload for VariadicDynCastAllOfMatchers.
698///
699/// Not strictly necessary, but DynCastAllOfMatcherDescriptor gives us better
700/// completion results for that type of matcher.
701template <typename BaseT, typename DerivedT>
702MatcherDescriptor *
703makeMatcherAutoMarshall(ast_matchers::internal::VariadicDynCastAllOfMatcher<
704 BaseT, DerivedT> VarFunc,
705 StringRef MatcherName) {
706 return new DynCastAllOfMatcherDescriptor(VarFunc, MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000707}
708
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000709/// \brief Argument adaptative overload.
710template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
711 typename FromTypes, typename ToTypes>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000712MatcherDescriptor *
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000713makeMatcherAutoMarshall(ast_matchers::internal::ArgumentAdaptingMatcherFunc<
714 ArgumentAdapterT, FromTypes, ToTypes>,
715 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000716 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000717 AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes, ToTypes>(MatcherName,
718 Overloads);
Peter Collingbournef43e6942013-11-23 01:34:36 +0000719 return new OverloadedMatcherDescriptor(Overloads);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000720}
721
722template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
723 typename FromTypes, typename ToTypes>
724template <typename FromTypeList>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000725inline void AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes,
726 ToTypes>::collect(FromTypeList) {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000727 Out.push_back(makeMatcherAutoMarshall(
728 &AdaptativeFunc::template create<typename FromTypeList::head>, Name));
729 collect(typename FromTypeList::tail());
730}
731
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000732/// \brief Variadic operator overload.
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000733template <unsigned MinCount, unsigned MaxCount>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000734MatcherDescriptor *
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000735makeMatcherAutoMarshall(ast_matchers::internal::VariadicOperatorMatcherFunc<
736 MinCount, MaxCount> Func,
737 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000738 return new VariadicOperatorMatcherDescriptor(MinCount, MaxCount, Func.Func,
739 MatcherName);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000740}
741
Manuel Klimek24db0f02013-05-14 09:13:00 +0000742} // namespace internal
743} // namespace dynamic
744} // namespace ast_matchers
745} // namespace clang
746
747#endif // LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H