blob: b0df356404b4bbbce25d47a5b6b1603e7f29e82c [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
37/// \brief Helper template class to just from argument type to the right is/get
38/// functions in VariantValue.
39/// Used to verify and extract the matcher arguments below.
40template <class T> struct ArgTypeTraits;
41template <class T> struct ArgTypeTraits<const T &> : public ArgTypeTraits<T> {
42};
43
44template <> struct ArgTypeTraits<std::string> {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000045 static StringRef asString() { return "String"; }
Manuel Klimek24db0f02013-05-14 09:13:00 +000046 static bool is(const VariantValue &Value) { return Value.isString(); }
47 static const std::string &get(const VariantValue &Value) {
48 return Value.getString();
49 }
50};
51
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +000052template <>
53struct ArgTypeTraits<StringRef> : public ArgTypeTraits<std::string> {
54};
55
Manuel Klimek24db0f02013-05-14 09:13:00 +000056template <class T> struct ArgTypeTraits<ast_matchers::internal::Matcher<T> > {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000057 static std::string asString() {
58 return (Twine("Matcher<") +
59 ast_type_traits::ASTNodeKind::getFromNodeKind<T>().asStringRef() +
60 ">").str();
61 }
62 static bool is(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000063 return Value.isMatcher() && Value.getMatcher().hasTypedMatcher<T>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000064 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000065 static ast_matchers::internal::Matcher<T> get(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000066 return Value.getMatcher().getTypedMatcher<T>();
Manuel Klimek24db0f02013-05-14 09:13:00 +000067 }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000068};
Manuel Klimek24db0f02013-05-14 09:13:00 +000069
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000070template <> struct ArgTypeTraits<unsigned> {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000071 static std::string asString() { return "Unsigned"; }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000072 static bool is(const VariantValue &Value) { return Value.isUnsigned(); }
73 static unsigned get(const VariantValue &Value) {
74 return Value.getUnsigned();
75 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000076};
77
Peter Collingbournef43e6942013-11-23 01:34:36 +000078/// \brief Matcher descriptor interface.
Manuel Klimek24db0f02013-05-14 09:13:00 +000079///
Peter Collingbournef43e6942013-11-23 01:34:36 +000080/// Provides a \c create() method that constructs the matcher from the provided
Manuel Klimek24db0f02013-05-14 09:13:00 +000081/// arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +000082class MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +000083public:
Peter Collingbournef43e6942013-11-23 01:34:36 +000084 virtual ~MatcherDescriptor() {}
85 virtual VariantMatcher create(const SourceRange &NameRange,
86 ArrayRef<ParserValue> Args,
87 Diagnostics *Error) const = 0;
Manuel Klimek24db0f02013-05-14 09:13:00 +000088};
89
90/// \brief Simple callback implementation. Marshaller and function are provided.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +000091///
92/// This class wraps a function of arbitrary signature and a marshaller
Peter Collingbournef43e6942013-11-23 01:34:36 +000093/// function into a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +000094/// The marshaller is in charge of taking the VariantValue arguments, checking
95/// their types, unpacking them and calling the underlying function.
Peter Collingbournef43e6942013-11-23 01:34:36 +000096class FixedArgCountMatcherDescriptor : public MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +000097public:
Samuel Benzaquen998cda232013-08-30 15:09:52 +000098 typedef VariantMatcher (*MarshallerType)(void (*Func)(),
99 StringRef MatcherName,
100 const SourceRange &NameRange,
101 ArrayRef<ParserValue> Args,
102 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000103
Dmitri Gribenkocb63baf2013-05-17 17:50:16 +0000104 /// \param Marshaller Function to unpack the arguments and call \c Func
105 /// \param Func Matcher construct function. This is the function that
106 /// compile-time matcher expressions would use to create the matcher.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000107 FixedArgCountMatcherDescriptor(MarshallerType Marshaller, void (*Func)(),
108 StringRef MatcherName)
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000109 : Marshaller(Marshaller), Func(Func), MatcherName(MatcherName) {}
Manuel Klimek24db0f02013-05-14 09:13:00 +0000110
Peter Collingbournef43e6942013-11-23 01:34:36 +0000111 VariantMatcher create(const SourceRange &NameRange,
112 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000113 return Marshaller(Func, MatcherName, NameRange, Args, Error);
114 }
115
116private:
117 const MarshallerType Marshaller;
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000118 void (* const Func)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000119 const std::string MatcherName;
120};
121
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000122/// \brief Simple callback implementation. Free function is wrapped.
123///
124/// This class simply wraps a free function with the right signature to export
Peter Collingbournef43e6942013-11-23 01:34:36 +0000125/// it as a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000126/// This allows us to have one implementation of the interface for as many free
127/// functions as we want, reducing the number of symbols and size of the
128/// object file.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000129class FreeFuncMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000130public:
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000131 typedef VariantMatcher (*RunFunc)(StringRef MatcherName,
132 const SourceRange &NameRange,
133 ArrayRef<ParserValue> Args,
134 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000135
Peter Collingbournef43e6942013-11-23 01:34:36 +0000136 FreeFuncMatcherDescriptor(RunFunc Func, StringRef MatcherName)
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000137 : Func(Func), MatcherName(MatcherName.str()) {}
138
Peter Collingbournef43e6942013-11-23 01:34:36 +0000139 VariantMatcher create(const SourceRange &NameRange,
140 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000141 return Func(MatcherName, NameRange, Args, Error);
142 }
143
144private:
145 const RunFunc Func;
146 const std::string MatcherName;
147};
Manuel Klimek24db0f02013-05-14 09:13:00 +0000148
149/// \brief Helper macros to check the arguments on all marshaller functions.
150#define CHECK_ARG_COUNT(count) \
151 if (Args.size() != count) { \
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000152 Error->addError(NameRange, Error->ET_RegistryWrongArgCount) \
Manuel Klimek24db0f02013-05-14 09:13:00 +0000153 << count << Args.size(); \
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000154 return VariantMatcher(); \
Manuel Klimek24db0f02013-05-14 09:13:00 +0000155 }
156
157#define CHECK_ARG_TYPE(index, type) \
158 if (!ArgTypeTraits<type>::is(Args[index].Value)) { \
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000159 Error->addError(Args[index].Range, Error->ET_RegistryWrongArgType) \
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000160 << (index + 1) << ArgTypeTraits<type>::asString() \
161 << Args[index].Value.getTypeAsString(); \
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000162 return VariantMatcher(); \
Manuel Klimek24db0f02013-05-14 09:13:00 +0000163 }
164
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000165/// \brief Helper methods to extract and merge all possible typed matchers
166/// out of the polymorphic object.
167template <class PolyMatcher>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000168static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000169 std::vector<DynTypedMatcher> &Out,
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000170 ast_matchers::internal::EmptyTypeList) {}
171
172template <class PolyMatcher, class TypeList>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000173static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000174 std::vector<DynTypedMatcher> &Out, TypeList) {
175 Out.push_back(ast_matchers::internal::Matcher<typename TypeList::head>(Poly));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000176 mergePolyMatchers(Poly, Out, typename TypeList::tail());
177}
178
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000179/// \brief Convert the return values of the functions into a VariantMatcher.
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000180///
181/// There are 2 cases right now: The return value is a Matcher<T> or is a
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000182/// polymorphic matcher. For the former, we just construct the VariantMatcher.
183/// For the latter, we instantiate all the possible Matcher<T> of the poly
184/// matcher.
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000185static VariantMatcher outvalueToVariantMatcher(const DynTypedMatcher &Matcher) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000186 return VariantMatcher::SingleMatcher(Matcher);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000187}
188
189template <typename T>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000190static VariantMatcher outvalueToVariantMatcher(const T &PolyMatcher,
191 typename T::ReturnTypes * =
192 NULL) {
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000193 std::vector<DynTypedMatcher> Matchers;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000194 mergePolyMatchers(PolyMatcher, Matchers, typename T::ReturnTypes());
195 VariantMatcher Out = VariantMatcher::PolymorphicMatcher(Matchers);
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000196 return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000197}
198
Manuel Klimek24db0f02013-05-14 09:13:00 +0000199/// \brief 0-arg marshaller function.
200template <typename ReturnType>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000201static VariantMatcher matcherMarshall0(void (*Func)(), StringRef MatcherName,
202 const SourceRange &NameRange,
203 ArrayRef<ParserValue> Args,
204 Diagnostics *Error) {
205 typedef ReturnType (*FuncType)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000206 CHECK_ARG_COUNT(0);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000207 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000208}
209
210/// \brief 1-arg marshaller function.
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000211template <typename ReturnType, typename ArgType1>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000212static VariantMatcher matcherMarshall1(void (*Func)(), StringRef MatcherName,
213 const SourceRange &NameRange,
214 ArrayRef<ParserValue> Args,
215 Diagnostics *Error) {
216 typedef ReturnType (*FuncType)(ArgType1);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000217 CHECK_ARG_COUNT(1);
218 CHECK_ARG_TYPE(0, ArgType1);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000219 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
220 ArgTypeTraits<ArgType1>::get(Args[0].Value)));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000221}
222
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000223/// \brief 2-arg marshaller function.
224template <typename ReturnType, typename ArgType1, typename ArgType2>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000225static VariantMatcher matcherMarshall2(void (*Func)(), StringRef MatcherName,
226 const SourceRange &NameRange,
227 ArrayRef<ParserValue> Args,
228 Diagnostics *Error) {
229 typedef ReturnType (*FuncType)(ArgType1, ArgType2);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000230 CHECK_ARG_COUNT(2);
231 CHECK_ARG_TYPE(0, ArgType1);
232 CHECK_ARG_TYPE(1, ArgType2);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000233 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
234 ArgTypeTraits<ArgType1>::get(Args[0].Value),
235 ArgTypeTraits<ArgType2>::get(Args[1].Value)));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000236}
237
Manuel Klimek24db0f02013-05-14 09:13:00 +0000238#undef CHECK_ARG_COUNT
239#undef CHECK_ARG_TYPE
240
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000241/// \brief Variadic marshaller function.
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000242template <typename ResultT, typename ArgT,
243 ResultT (*Func)(ArrayRef<const ArgT *>)>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000244VariantMatcher
Peter Collingbournef43e6942013-11-23 01:34:36 +0000245variadicMatcherDescriptor(StringRef MatcherName, const SourceRange &NameRange,
246 ArrayRef<ParserValue> Args, Diagnostics *Error) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000247 ArgT **InnerArgs = new ArgT *[Args.size()]();
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000248
249 bool HasError = false;
250 for (size_t i = 0, e = Args.size(); i != e; ++i) {
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000251 typedef ArgTypeTraits<ArgT> ArgTraits;
Samuel Benzaquen81ef9292013-06-20 14:28:32 +0000252 const ParserValue &Arg = Args[i];
253 const VariantValue &Value = Arg.Value;
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000254 if (!ArgTraits::is(Value)) {
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000255 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000256 << (i + 1) << ArgTraits::asString() << Value.getTypeAsString();
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000257 HasError = true;
258 break;
259 }
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000260 InnerArgs[i] = new ArgT(ArgTraits::get(Value));
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000261 }
262
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000263 VariantMatcher Out;
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000264 if (!HasError) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000265 Out = outvalueToVariantMatcher(
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000266 Func(ArrayRef<const ArgT *>(InnerArgs, Args.size())));
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000267 }
268
269 for (size_t i = 0, e = Args.size(); i != e; ++i) {
270 delete InnerArgs[i];
271 }
272 delete[] InnerArgs;
273 return Out;
274}
275
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000276/// \brief Helper class used to collect all the possible overloads of an
277/// argument adaptative matcher function.
278template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
279 typename FromTypes, typename ToTypes>
280class AdaptativeOverloadCollector {
281public:
282 AdaptativeOverloadCollector(StringRef Name,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000283 std::vector<MatcherDescriptor *> &Out)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000284 : Name(Name), Out(Out) {
285 collect(FromTypes());
286 }
287
288private:
289 typedef ast_matchers::internal::ArgumentAdaptingMatcherFunc<
290 ArgumentAdapterT, FromTypes, ToTypes> AdaptativeFunc;
291
292 /// \brief End case for the recursion
293 static void collect(ast_matchers::internal::EmptyTypeList) {}
294
295 /// \brief Recursive case. Get the overload for the head of the list, and
296 /// recurse to the tail.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000297 template <typename FromTypeList>
298 inline void collect(FromTypeList);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000299
300 const StringRef Name;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000301 std::vector<MatcherDescriptor *> &Out;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000302};
303
Peter Collingbournef43e6942013-11-23 01:34:36 +0000304/// \brief MatcherDescriptor that wraps multiple "overloads" of the same
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000305/// matcher.
306///
307/// It will try every overload and generate appropriate errors for when none or
308/// more than one overloads match the arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000309class OverloadedMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000310public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000311 OverloadedMatcherDescriptor(ArrayRef<MatcherDescriptor *> Callbacks)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000312 : Overloads(Callbacks) {}
313
Peter Collingbournef43e6942013-11-23 01:34:36 +0000314 virtual ~OverloadedMatcherDescriptor() {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000315 llvm::DeleteContainerPointers(Overloads);
316 }
317
Peter Collingbournef43e6942013-11-23 01:34:36 +0000318 virtual VariantMatcher create(const SourceRange &NameRange,
319 ArrayRef<ParserValue> Args,
320 Diagnostics *Error) const {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000321 std::vector<VariantMatcher> Constructed;
322 Diagnostics::OverloadContext Ctx(Error);
323 for (size_t i = 0, e = Overloads.size(); i != e; ++i) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000324 VariantMatcher SubMatcher = Overloads[i]->create(NameRange, Args, Error);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000325 if (!SubMatcher.isNull()) {
326 Constructed.push_back(SubMatcher);
327 }
328 }
329
330 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
331 // We ignore the errors if any matcher succeeded.
332 Ctx.revertErrors();
333 if (Constructed.size() > 1) {
334 // More than one constructed. It is ambiguous.
335 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
336 return VariantMatcher();
337 }
338 return Constructed[0];
339 }
340
341private:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000342 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000343};
344
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000345/// \brief Variadic operator marshaller function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000346class VariadicOperatorMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000347public:
348 typedef ast_matchers::internal::VariadicOperatorFunction VarFunc;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000349 VariadicOperatorMatcherDescriptor(unsigned MinCount, unsigned MaxCount,
350 VarFunc Func, StringRef MatcherName)
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000351 : MinCount(MinCount), MaxCount(MaxCount), Func(Func),
352 MatcherName(MatcherName) {}
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000353
Peter Collingbournef43e6942013-11-23 01:34:36 +0000354 virtual VariantMatcher create(const SourceRange &NameRange,
355 ArrayRef<ParserValue> Args,
356 Diagnostics *Error) const {
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000357 if (Args.size() < MinCount || MaxCount < Args.size()) {
358 const std::string MaxStr =
359 (MaxCount == UINT_MAX ? "" : Twine(MaxCount)).str();
360 Error->addError(NameRange, Error->ET_RegistryWrongArgCount)
361 << ("(" + Twine(MinCount) + ", " + MaxStr + ")") << Args.size();
362 return VariantMatcher();
363 }
364
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000365 std::vector<VariantMatcher> InnerArgs;
366 for (size_t i = 0, e = Args.size(); i != e; ++i) {
367 const ParserValue &Arg = Args[i];
368 const VariantValue &Value = Arg.Value;
369 if (!Value.isMatcher()) {
370 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
371 << (i + 1) << "Matcher<>" << Value.getTypeAsString();
372 return VariantMatcher();
373 }
374 InnerArgs.push_back(Value.getMatcher());
375 }
376 return VariantMatcher::VariadicOperatorMatcher(Func, InnerArgs);
377 }
378
379private:
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000380 const unsigned MinCount;
381 const unsigned MaxCount;
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000382 const VarFunc Func;
383 const StringRef MatcherName;
384};
385
386
Manuel Klimek24db0f02013-05-14 09:13:00 +0000387/// Helper functions to select the appropriate marshaller functions.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000388/// They detect the number of arguments, arguments types and return type.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000389
390/// \brief 0-arg overload
391template <typename ReturnType>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000392MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(),
393 StringRef MatcherName) {
394 return new FixedArgCountMatcherDescriptor(matcherMarshall0<ReturnType>,
395 reinterpret_cast<void (*)()>(Func),
396 MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000397}
398
399/// \brief 1-arg overload
400template <typename ReturnType, typename ArgType1>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000401MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1),
402 StringRef MatcherName) {
403 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000404 matcherMarshall1<ReturnType, ArgType1>,
405 reinterpret_cast<void (*)()>(Func), MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000406}
407
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000408/// \brief 2-arg overload
409template <typename ReturnType, typename ArgType1, typename ArgType2>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000410MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1,
411 ArgType2),
412 StringRef MatcherName) {
413 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000414 matcherMarshall2<ReturnType, ArgType1, ArgType2>,
415 reinterpret_cast<void (*)()>(Func), MatcherName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000416}
417
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000418/// \brief Variadic overload.
419template <typename ResultT, typename ArgT,
420 ResultT (*Func)(ArrayRef<const ArgT *>)>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000421MatcherDescriptor *
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000422makeMatcherAutoMarshall(llvm::VariadicFunction<ResultT, ArgT, Func> VarFunc,
Manuel Klimek24db0f02013-05-14 09:13:00 +0000423 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000424 return new FreeFuncMatcherDescriptor(
425 &variadicMatcherDescriptor<ResultT, ArgT, Func>, MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000426}
427
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000428/// \brief Argument adaptative overload.
429template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
430 typename FromTypes, typename ToTypes>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000431MatcherDescriptor *
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000432makeMatcherAutoMarshall(ast_matchers::internal::ArgumentAdaptingMatcherFunc<
433 ArgumentAdapterT, FromTypes, ToTypes>,
434 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000435 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000436 AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes, ToTypes>(MatcherName,
437 Overloads);
Peter Collingbournef43e6942013-11-23 01:34:36 +0000438 return new OverloadedMatcherDescriptor(Overloads);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000439}
440
441template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
442 typename FromTypes, typename ToTypes>
443template <typename FromTypeList>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000444inline void AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes,
445 ToTypes>::collect(FromTypeList) {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000446 Out.push_back(makeMatcherAutoMarshall(
447 &AdaptativeFunc::template create<typename FromTypeList::head>, Name));
448 collect(typename FromTypeList::tail());
449}
450
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000451/// \brief Variadic operator overload.
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000452template <unsigned MinCount, unsigned MaxCount>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000453MatcherDescriptor *
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000454makeMatcherAutoMarshall(ast_matchers::internal::VariadicOperatorMatcherFunc<
455 MinCount, MaxCount> Func,
456 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000457 return new VariadicOperatorMatcherDescriptor(MinCount, MaxCount, Func.Func,
458 MatcherName);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000459}
460
Manuel Klimek24db0f02013-05-14 09:13:00 +0000461} // namespace internal
462} // namespace dynamic
463} // namespace ast_matchers
464} // namespace clang
465
466#endif // LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H