blob: 1d4ba037fde5feb00c127e6928c05fbd6e567d27 [file] [log] [blame]
Eugene Zelenko1660a5d2016-01-26 19:01:06 +00001//===--- Marshallers.h - Generic matcher function marshallers ---*- C++ -*-===//
Manuel Klimek24db0f02013-05-14 09:13:00 +00002//
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
Benjamin Kramer2f5db8b2014-08-13 16:25:19 +000020#ifndef LLVM_CLANG_LIB_ASTMATCHERS_DYNAMIC_MARSHALLERS_H
21#define LLVM_CLANG_LIB_ASTMATCHERS_DYNAMIC_MARSHALLERS_H
Manuel Klimek24db0f02013-05-14 09:13:00 +000022
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 {
Manuel Klimek24db0f02013-05-14 09:13:00 +000033namespace internal {
34
35/// \brief Helper template class to just from argument type to the right is/get
36/// functions in VariantValue.
37/// Used to verify and extract the matcher arguments below.
38template <class T> struct ArgTypeTraits;
39template <class T> struct ArgTypeTraits<const T &> : public ArgTypeTraits<T> {
40};
41
42template <> struct ArgTypeTraits<std::string> {
43 static bool is(const VariantValue &Value) { return Value.isString(); }
44 static const std::string &get(const VariantValue &Value) {
45 return Value.getString();
46 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000047 static ArgKind getKind() {
48 return ArgKind(ArgKind::AK_String);
49 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000050};
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 bool is(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000058 return Value.isMatcher() && Value.getMatcher().hasTypedMatcher<T>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000059 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000060 static ast_matchers::internal::Matcher<T> get(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000061 return Value.getMatcher().getTypedMatcher<T>();
Manuel Klimek24db0f02013-05-14 09:13:00 +000062 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000063 static ArgKind getKind() {
64 return ArgKind(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
65 }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000066};
Manuel Klimek24db0f02013-05-14 09:13:00 +000067
Peter Wuc04b1982017-06-08 22:00:38 +000068template <> struct ArgTypeTraits<bool> {
69 static bool is(const VariantValue &Value) { return Value.isBoolean(); }
70 static bool get(const VariantValue &Value) {
71 return Value.getBoolean();
72 }
73 static ArgKind getKind() {
74 return ArgKind(ArgKind::AK_Boolean);
75 }
76};
77
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000078template <> struct ArgTypeTraits<unsigned> {
79 static bool is(const VariantValue &Value) { return Value.isUnsigned(); }
80 static unsigned get(const VariantValue &Value) {
81 return Value.getUnsigned();
82 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000083 static ArgKind getKind() {
84 return ArgKind(ArgKind::AK_Unsigned);
85 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000086};
87
Manuel Klimek3fe8a382014-08-25 11:23:50 +000088template <> struct ArgTypeTraits<attr::Kind> {
89private:
90 static attr::Kind getAttrKind(llvm::StringRef AttrKind) {
91 return llvm::StringSwitch<attr::Kind>(AttrKind)
92#define ATTR(X) .Case("attr::" #X, attr:: X)
93#include "clang/Basic/AttrList.inc"
94 .Default(attr::Kind(-1));
95 }
96public:
97 static bool is(const VariantValue &Value) {
98 return Value.isString() &&
99 getAttrKind(Value.getString()) != attr::Kind(-1);
100 }
101 static attr::Kind get(const VariantValue &Value) {
102 return getAttrKind(Value.getString());
103 }
104 static ArgKind getKind() {
105 return ArgKind(ArgKind::AK_String);
106 }
107};
108
Etienne Bergeron75e52722016-05-13 19:36:55 +0000109template <> struct ArgTypeTraits<clang::CastKind> {
110private:
111 static clang::CastKind getCastKind(llvm::StringRef AttrKind) {
112 return llvm::StringSwitch<clang::CastKind>(AttrKind)
113#define CAST_OPERATION(Name) .Case( #Name, CK_##Name)
114#include "clang/AST/OperationKinds.def"
115 .Default(CK_Invalid);
116 }
117
118public:
119 static bool is(const VariantValue &Value) {
120 return Value.isString() &&
121 getCastKind(Value.getString()) != CK_Invalid;
122 }
123 static clang::CastKind get(const VariantValue &Value) {
124 return getCastKind(Value.getString());
125 }
126 static ArgKind getKind() {
127 return ArgKind(ArgKind::AK_String);
128 }
129};
130
Peter Collingbournef43e6942013-11-23 01:34:36 +0000131/// \brief Matcher descriptor interface.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000132///
Peter Collingbournef43e6942013-11-23 01:34:36 +0000133/// Provides a \c create() method that constructs the matcher from the provided
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000134/// arguments, and various other methods for type introspection.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000135class MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000136public:
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +0000137 virtual ~MatcherDescriptor() {}
Craig Toppere335f252015-10-04 04:53:55 +0000138 virtual VariantMatcher create(SourceRange NameRange,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000139 ArrayRef<ParserValue> Args,
140 Diagnostics *Error) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000141
142 /// Returns whether the matcher is variadic. Variadic matchers can take any
143 /// number of arguments, but they must be of the same type.
144 virtual bool isVariadic() const = 0;
145
146 /// Returns the number of arguments accepted by the matcher if not variadic.
147 virtual unsigned getNumArgs() const = 0;
148
149 /// Given that the matcher is being converted to type \p ThisKind, append the
150 /// set of argument types accepted for argument \p ArgNo to \p ArgKinds.
151 // FIXME: We should provide the ability to constrain the output of this
152 // function based on the types of other matcher arguments.
153 virtual void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
154 std::vector<ArgKind> &ArgKinds) const = 0;
155
156 /// Returns whether this matcher is convertible to the given type. If it is
157 /// so convertible, store in *Specificity a value corresponding to the
158 /// "specificity" of the converted matcher to the given context, and in
159 /// *LeastDerivedKind the least derived matcher kind which would result in the
160 /// same matcher overload. Zero specificity indicates that this conversion
161 /// would produce a trivial matcher that will either always or never match.
162 /// Such matchers are excluded from code completion results.
163 virtual bool isConvertibleTo(
Craig Topper210e1ad2014-05-17 18:49:24 +0000164 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity = nullptr,
165 ast_type_traits::ASTNodeKind *LeastDerivedKind = nullptr) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000166
167 /// Returns whether the matcher will, given a matcher of any type T, yield a
168 /// matcher of type T.
169 virtual bool isPolymorphic() const { return false; }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000170};
171
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000172inline bool isRetKindConvertibleTo(
Craig Topper00bbdcf2014-06-28 23:22:23 +0000173 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000174 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
175 ast_type_traits::ASTNodeKind *LeastDerivedKind) {
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000176 for (const ast_type_traits::ASTNodeKind &NodeKind : RetKinds) {
177 if (ArgKind(NodeKind).isConvertibleTo(Kind, Specificity)) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000178 if (LeastDerivedKind)
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000179 *LeastDerivedKind = NodeKind;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000180 return true;
181 }
182 }
183 return false;
184}
185
Manuel Klimek24db0f02013-05-14 09:13:00 +0000186/// \brief Simple callback implementation. Marshaller and function are provided.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000187///
188/// This class wraps a function of arbitrary signature and a marshaller
Peter Collingbournef43e6942013-11-23 01:34:36 +0000189/// function into a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000190/// The marshaller is in charge of taking the VariantValue arguments, checking
191/// their types, unpacking them and calling the underlying function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000192class FixedArgCountMatcherDescriptor : public MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000193public:
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000194 typedef VariantMatcher (*MarshallerType)(void (*Func)(),
195 StringRef MatcherName,
Craig Toppere335f252015-10-04 04:53:55 +0000196 SourceRange NameRange,
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000197 ArrayRef<ParserValue> Args,
198 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000199
Dmitri Gribenkocb63baf2013-05-17 17:50:16 +0000200 /// \param Marshaller Function to unpack the arguments and call \c Func
201 /// \param Func Matcher construct function. This is the function that
202 /// compile-time matcher expressions would use to create the matcher.
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000203 /// \param RetKinds The list of matcher types to which the matcher is
204 /// convertible.
205 /// \param ArgKinds The types of the arguments this matcher takes.
206 FixedArgCountMatcherDescriptor(
207 MarshallerType Marshaller, void (*Func)(), StringRef MatcherName,
Craig Topper00bbdcf2014-06-28 23:22:23 +0000208 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
209 ArrayRef<ArgKind> ArgKinds)
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000210 : Marshaller(Marshaller), Func(Func), MatcherName(MatcherName),
211 RetKinds(RetKinds.begin(), RetKinds.end()),
212 ArgKinds(ArgKinds.begin(), ArgKinds.end()) {}
Manuel Klimek24db0f02013-05-14 09:13:00 +0000213
Craig Toppere335f252015-10-04 04:53:55 +0000214 VariantMatcher create(SourceRange NameRange,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000215 ArrayRef<ParserValue> Args,
216 Diagnostics *Error) const override {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000217 return Marshaller(Func, MatcherName, NameRange, Args, Error);
218 }
219
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000220 bool isVariadic() const override { return false; }
221 unsigned getNumArgs() const override { return ArgKinds.size(); }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000222 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000223 std::vector<ArgKind> &Kinds) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000224 Kinds.push_back(ArgKinds[ArgNo]);
225 }
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000226 bool isConvertibleTo(
227 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
228 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000229 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
230 LeastDerivedKind);
231 }
232
Manuel Klimek24db0f02013-05-14 09:13:00 +0000233private:
234 const MarshallerType Marshaller;
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000235 void (* const Func)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000236 const std::string MatcherName;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000237 const std::vector<ast_type_traits::ASTNodeKind> RetKinds;
238 const std::vector<ArgKind> ArgKinds;
Manuel Klimek24db0f02013-05-14 09:13:00 +0000239};
240
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000241/// \brief Helper methods to extract and merge all possible typed matchers
242/// out of the polymorphic object.
243template <class PolyMatcher>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000244static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000245 std::vector<DynTypedMatcher> &Out,
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000246 ast_matchers::internal::EmptyTypeList) {}
247
248template <class PolyMatcher, class TypeList>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000249static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000250 std::vector<DynTypedMatcher> &Out, TypeList) {
251 Out.push_back(ast_matchers::internal::Matcher<typename TypeList::head>(Poly));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000252 mergePolyMatchers(Poly, Out, typename TypeList::tail());
253}
254
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000255/// \brief Convert the return values of the functions into a VariantMatcher.
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000256///
257/// There are 2 cases right now: The return value is a Matcher<T> or is a
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000258/// polymorphic matcher. For the former, we just construct the VariantMatcher.
259/// For the latter, we instantiate all the possible Matcher<T> of the poly
260/// matcher.
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000261static VariantMatcher outvalueToVariantMatcher(const DynTypedMatcher &Matcher) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000262 return VariantMatcher::SingleMatcher(Matcher);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000263}
264
265template <typename T>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000266static VariantMatcher outvalueToVariantMatcher(const T &PolyMatcher,
267 typename T::ReturnTypes * =
Eugene Zelenko1660a5d2016-01-26 19:01:06 +0000268 nullptr) {
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000269 std::vector<DynTypedMatcher> Matchers;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000270 mergePolyMatchers(PolyMatcher, Matchers, typename T::ReturnTypes());
Benjamin Kramer3f755aa2014-03-10 17:55:02 +0000271 VariantMatcher Out = VariantMatcher::PolymorphicMatcher(std::move(Matchers));
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000272 return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000273}
274
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000275template <typename T>
276inline void buildReturnTypeVectorFromTypeList(
277 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
278 RetTypes.push_back(
279 ast_type_traits::ASTNodeKind::getFromNodeKind<typename T::head>());
280 buildReturnTypeVectorFromTypeList<typename T::tail>(RetTypes);
281}
282
283template <>
284inline void
285buildReturnTypeVectorFromTypeList<ast_matchers::internal::EmptyTypeList>(
286 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {}
287
288template <typename T>
289struct BuildReturnTypeVector {
290 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
291 buildReturnTypeVectorFromTypeList<typename T::ReturnTypes>(RetTypes);
292 }
293};
294
295template <typename T>
296struct BuildReturnTypeVector<ast_matchers::internal::Matcher<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
302template <typename T>
303struct BuildReturnTypeVector<ast_matchers::internal::BindableMatcher<T> > {
304 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
305 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
306 }
307};
308
309/// \brief Variadic marshaller function.
310template <typename ResultT, typename ArgT,
311 ResultT (*Func)(ArrayRef<const ArgT *>)>
312VariantMatcher
Craig Toppere335f252015-10-04 04:53:55 +0000313variadicMatcherDescriptor(StringRef MatcherName, SourceRange NameRange,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000314 ArrayRef<ParserValue> Args, Diagnostics *Error) {
315 ArgT **InnerArgs = new ArgT *[Args.size()]();
316
317 bool HasError = false;
318 for (size_t i = 0, e = Args.size(); i != e; ++i) {
319 typedef ArgTypeTraits<ArgT> ArgTraits;
320 const ParserValue &Arg = Args[i];
321 const VariantValue &Value = Arg.Value;
322 if (!ArgTraits::is(Value)) {
323 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
324 << (i + 1) << ArgTraits::getKind().asString() << Value.getTypeAsString();
325 HasError = true;
326 break;
327 }
328 InnerArgs[i] = new ArgT(ArgTraits::get(Value));
329 }
330
331 VariantMatcher Out;
332 if (!HasError) {
Craig Topper8c2a2a02014-08-30 16:55:39 +0000333 Out = outvalueToVariantMatcher(Func(llvm::makeArrayRef(InnerArgs,
334 Args.size())));
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000335 }
336
337 for (size_t i = 0, e = Args.size(); i != e; ++i) {
338 delete InnerArgs[i];
339 }
340 delete[] InnerArgs;
341 return Out;
342}
343
344/// \brief Matcher descriptor for variadic functions.
345///
346/// This class simply wraps a VariadicFunction with the right signature to export
347/// it as a MatcherDescriptor.
348/// This allows us to have one implementation of the interface for as many free
349/// functions as we want, reducing the number of symbols and size of the
350/// object file.
351class VariadicFuncMatcherDescriptor : public MatcherDescriptor {
352public:
353 typedef VariantMatcher (*RunFunc)(StringRef MatcherName,
Craig Toppere335f252015-10-04 04:53:55 +0000354 SourceRange NameRange,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000355 ArrayRef<ParserValue> Args,
356 Diagnostics *Error);
357
358 template <typename ResultT, typename ArgT,
359 ResultT (*F)(ArrayRef<const ArgT *>)>
Samuel Benzaquenc1384c12016-03-25 16:29:30 +0000360 VariadicFuncMatcherDescriptor(
361 ast_matchers::internal::VariadicFunction<ResultT, ArgT, F> Func,
362 StringRef MatcherName)
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000363 : Func(&variadicMatcherDescriptor<ResultT, ArgT, F>),
364 MatcherName(MatcherName.str()),
365 ArgsKind(ArgTypeTraits<ArgT>::getKind()) {
366 BuildReturnTypeVector<ResultT>::build(RetKinds);
367 }
368
Craig Toppere335f252015-10-04 04:53:55 +0000369 VariantMatcher create(SourceRange NameRange,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000370 ArrayRef<ParserValue> Args,
371 Diagnostics *Error) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000372 return Func(MatcherName, NameRange, Args, Error);
373 }
374
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000375 bool isVariadic() const override { return true; }
376 unsigned getNumArgs() const override { return 0; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000377 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000378 std::vector<ArgKind> &Kinds) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000379 Kinds.push_back(ArgsKind);
380 }
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000381 bool isConvertibleTo(
382 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
383 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000384 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
385 LeastDerivedKind);
386 }
387
388private:
389 const RunFunc Func;
390 const std::string MatcherName;
391 std::vector<ast_type_traits::ASTNodeKind> RetKinds;
392 const ArgKind ArgsKind;
393};
394
395/// \brief Return CK_Trivial when appropriate for VariadicDynCastAllOfMatchers.
396class DynCastAllOfMatcherDescriptor : public VariadicFuncMatcherDescriptor {
397public:
398 template <typename BaseT, typename DerivedT>
399 DynCastAllOfMatcherDescriptor(
400 ast_matchers::internal::VariadicDynCastAllOfMatcher<BaseT, DerivedT> Func,
401 StringRef MatcherName)
402 : VariadicFuncMatcherDescriptor(Func, MatcherName),
403 DerivedKind(ast_type_traits::ASTNodeKind::getFromNodeKind<DerivedT>()) {
404 }
405
Craig Toppera798a9d2014-03-02 09:32:10 +0000406 bool
407 isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
408 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000409 // If Kind is not a base of DerivedKind, either DerivedKind is a base of
410 // Kind (in which case the match will always succeed) or Kind and
411 // DerivedKind are unrelated (in which case it will always fail), so set
412 // Specificity to 0.
413 if (VariadicFuncMatcherDescriptor::isConvertibleTo(Kind, Specificity,
414 LeastDerivedKind)) {
415 if (Kind.isSame(DerivedKind) || !Kind.isBaseOf(DerivedKind)) {
416 if (Specificity)
417 *Specificity = 0;
418 }
419 return true;
420 } else {
421 return false;
422 }
423 }
424
425private:
426 const ast_type_traits::ASTNodeKind DerivedKind;
427};
428
429/// \brief Helper macros to check the arguments on all marshaller functions.
430#define CHECK_ARG_COUNT(count) \
431 if (Args.size() != count) { \
432 Error->addError(NameRange, Error->ET_RegistryWrongArgCount) \
433 << count << Args.size(); \
434 return VariantMatcher(); \
435 }
436
437#define CHECK_ARG_TYPE(index, type) \
438 if (!ArgTypeTraits<type>::is(Args[index].Value)) { \
439 Error->addError(Args[index].Range, Error->ET_RegistryWrongArgType) \
440 << (index + 1) << ArgTypeTraits<type>::getKind().asString() \
441 << Args[index].Value.getTypeAsString(); \
442 return VariantMatcher(); \
443 }
444
Manuel Klimek24db0f02013-05-14 09:13:00 +0000445/// \brief 0-arg marshaller function.
446template <typename ReturnType>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000447static VariantMatcher matcherMarshall0(void (*Func)(), StringRef MatcherName,
Craig Toppere335f252015-10-04 04:53:55 +0000448 SourceRange NameRange,
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000449 ArrayRef<ParserValue> Args,
450 Diagnostics *Error) {
451 typedef ReturnType (*FuncType)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000452 CHECK_ARG_COUNT(0);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000453 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000454}
455
456/// \brief 1-arg marshaller function.
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000457template <typename ReturnType, typename ArgType1>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000458static VariantMatcher matcherMarshall1(void (*Func)(), StringRef MatcherName,
Craig Toppere335f252015-10-04 04:53:55 +0000459 SourceRange NameRange,
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000460 ArrayRef<ParserValue> Args,
461 Diagnostics *Error) {
462 typedef ReturnType (*FuncType)(ArgType1);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000463 CHECK_ARG_COUNT(1);
464 CHECK_ARG_TYPE(0, ArgType1);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000465 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
466 ArgTypeTraits<ArgType1>::get(Args[0].Value)));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000467}
468
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000469/// \brief 2-arg marshaller function.
470template <typename ReturnType, typename ArgType1, typename ArgType2>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000471static VariantMatcher matcherMarshall2(void (*Func)(), StringRef MatcherName,
Craig Toppere335f252015-10-04 04:53:55 +0000472 SourceRange NameRange,
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000473 ArrayRef<ParserValue> Args,
474 Diagnostics *Error) {
475 typedef ReturnType (*FuncType)(ArgType1, ArgType2);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000476 CHECK_ARG_COUNT(2);
477 CHECK_ARG_TYPE(0, ArgType1);
478 CHECK_ARG_TYPE(1, ArgType2);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000479 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
480 ArgTypeTraits<ArgType1>::get(Args[0].Value),
481 ArgTypeTraits<ArgType2>::get(Args[1].Value)));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000482}
483
Manuel Klimek24db0f02013-05-14 09:13:00 +0000484#undef CHECK_ARG_COUNT
485#undef CHECK_ARG_TYPE
486
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000487/// \brief Helper class used to collect all the possible overloads of an
488/// argument adaptative matcher function.
489template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
490 typename FromTypes, typename ToTypes>
491class AdaptativeOverloadCollector {
492public:
Justin Lebar82380d82016-10-10 16:26:40 +0000493 AdaptativeOverloadCollector(
494 StringRef Name, std::vector<std::unique_ptr<MatcherDescriptor>> &Out)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000495 : Name(Name), Out(Out) {
496 collect(FromTypes());
497 }
498
499private:
500 typedef ast_matchers::internal::ArgumentAdaptingMatcherFunc<
501 ArgumentAdapterT, FromTypes, ToTypes> AdaptativeFunc;
502
503 /// \brief End case for the recursion
504 static void collect(ast_matchers::internal::EmptyTypeList) {}
505
506 /// \brief Recursive case. Get the overload for the head of the list, and
507 /// recurse to the tail.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000508 template <typename FromTypeList>
509 inline void collect(FromTypeList);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000510
Craig Topperbf3e3272014-08-30 16:55:52 +0000511 StringRef Name;
Justin Lebar82380d82016-10-10 16:26:40 +0000512 std::vector<std::unique_ptr<MatcherDescriptor>> &Out;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000513};
514
Peter Collingbournef43e6942013-11-23 01:34:36 +0000515/// \brief MatcherDescriptor that wraps multiple "overloads" of the same
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000516/// matcher.
517///
518/// It will try every overload and generate appropriate errors for when none or
519/// more than one overloads match the arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000520class OverloadedMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000521public:
Justin Lebar82380d82016-10-10 16:26:40 +0000522 OverloadedMatcherDescriptor(
523 MutableArrayRef<std::unique_ptr<MatcherDescriptor>> Callbacks)
524 : Overloads(std::make_move_iterator(Callbacks.begin()),
525 std::make_move_iterator(Callbacks.end())) {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000526
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +0000527 ~OverloadedMatcherDescriptor() override {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000528
Craig Toppere335f252015-10-04 04:53:55 +0000529 VariantMatcher create(SourceRange NameRange,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000530 ArrayRef<ParserValue> Args,
531 Diagnostics *Error) const override {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000532 std::vector<VariantMatcher> Constructed;
533 Diagnostics::OverloadContext Ctx(Error);
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000534 for (const auto &O : Overloads) {
535 VariantMatcher SubMatcher = O->create(NameRange, Args, Error);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000536 if (!SubMatcher.isNull()) {
537 Constructed.push_back(SubMatcher);
538 }
539 }
540
541 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
542 // We ignore the errors if any matcher succeeded.
543 Ctx.revertErrors();
544 if (Constructed.size() > 1) {
545 // More than one constructed. It is ambiguous.
546 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
547 return VariantMatcher();
548 }
549 return Constructed[0];
550 }
551
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000552 bool isVariadic() const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000553 bool Overload0Variadic = Overloads[0]->isVariadic();
554#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000555 for (const auto &O : Overloads) {
556 assert(Overload0Variadic == O->isVariadic());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000557 }
558#endif
559 return Overload0Variadic;
560 }
561
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000562 unsigned getNumArgs() const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000563 unsigned Overload0NumArgs = Overloads[0]->getNumArgs();
564#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000565 for (const auto &O : Overloads) {
566 assert(Overload0NumArgs == O->getNumArgs());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000567 }
568#endif
569 return Overload0NumArgs;
570 }
571
572 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000573 std::vector<ArgKind> &Kinds) const override {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000574 for (const auto &O : Overloads) {
575 if (O->isConvertibleTo(ThisKind))
576 O->getArgKinds(ThisKind, ArgNo, Kinds);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000577 }
578 }
579
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000580 bool isConvertibleTo(
581 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
582 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000583 for (const auto &O : Overloads) {
584 if (O->isConvertibleTo(Kind, Specificity, LeastDerivedKind))
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000585 return true;
586 }
587 return false;
588 }
589
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000590private:
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000591 std::vector<std::unique_ptr<MatcherDescriptor>> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000592};
593
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000594/// \brief Variadic operator marshaller function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000595class VariadicOperatorMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000596public:
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000597 typedef DynTypedMatcher::VariadicOperator VarOp;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000598 VariadicOperatorMatcherDescriptor(unsigned MinCount, unsigned MaxCount,
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000599 VarOp Op, StringRef MatcherName)
600 : MinCount(MinCount), MaxCount(MaxCount), Op(Op),
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000601 MatcherName(MatcherName) {}
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000602
Craig Toppere335f252015-10-04 04:53:55 +0000603 VariantMatcher create(SourceRange NameRange,
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000604 ArrayRef<ParserValue> Args,
605 Diagnostics *Error) const override {
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000606 if (Args.size() < MinCount || MaxCount < Args.size()) {
607 const std::string MaxStr =
608 (MaxCount == UINT_MAX ? "" : Twine(MaxCount)).str();
609 Error->addError(NameRange, Error->ET_RegistryWrongArgCount)
610 << ("(" + Twine(MinCount) + ", " + MaxStr + ")") << Args.size();
611 return VariantMatcher();
612 }
613
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000614 std::vector<VariantMatcher> InnerArgs;
615 for (size_t i = 0, e = Args.size(); i != e; ++i) {
616 const ParserValue &Arg = Args[i];
617 const VariantValue &Value = Arg.Value;
618 if (!Value.isMatcher()) {
619 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
620 << (i + 1) << "Matcher<>" << Value.getTypeAsString();
621 return VariantMatcher();
622 }
623 InnerArgs.push_back(Value.getMatcher());
624 }
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000625 return VariantMatcher::VariadicOperatorMatcher(Op, std::move(InnerArgs));
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000626 }
627
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000628 bool isVariadic() const override { return true; }
629 unsigned getNumArgs() const override { return 0; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000630 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000631 std::vector<ArgKind> &Kinds) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000632 Kinds.push_back(ThisKind);
633 }
634 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000635 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000636 if (Specificity)
637 *Specificity = 1;
638 if (LeastDerivedKind)
639 *LeastDerivedKind = Kind;
640 return true;
641 }
Craig Topperbbc6d622014-03-02 10:02:43 +0000642 bool isPolymorphic() const override { return true; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000643
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000644private:
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000645 const unsigned MinCount;
646 const unsigned MaxCount;
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000647 const VarOp Op;
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000648 const StringRef MatcherName;
649};
650
Manuel Klimek24db0f02013-05-14 09:13:00 +0000651/// Helper functions to select the appropriate marshaller functions.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000652/// They detect the number of arguments, arguments types and return type.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000653
654/// \brief 0-arg overload
655template <typename ReturnType>
Justin Lebar82380d82016-10-10 16:26:40 +0000656std::unique_ptr<MatcherDescriptor>
657makeMatcherAutoMarshall(ReturnType (*Func)(), StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000658 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
659 BuildReturnTypeVector<ReturnType>::build(RetTypes);
Justin Lebar82380d82016-10-10 16:26:40 +0000660 return llvm::make_unique<FixedArgCountMatcherDescriptor>(
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000661 matcherMarshall0<ReturnType>, reinterpret_cast<void (*)()>(Func),
Craig Topper00bbdcf2014-06-28 23:22:23 +0000662 MatcherName, RetTypes, None);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000663}
664
665/// \brief 1-arg overload
666template <typename ReturnType, typename ArgType1>
Justin Lebar82380d82016-10-10 16:26:40 +0000667std::unique_ptr<MatcherDescriptor>
668makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1), StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000669 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
670 BuildReturnTypeVector<ReturnType>::build(RetTypes);
671 ArgKind AK = ArgTypeTraits<ArgType1>::getKind();
Justin Lebar82380d82016-10-10 16:26:40 +0000672 return llvm::make_unique<FixedArgCountMatcherDescriptor>(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000673 matcherMarshall1<ReturnType, ArgType1>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000674 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AK);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000675}
676
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000677/// \brief 2-arg overload
678template <typename ReturnType, typename ArgType1, typename ArgType2>
Justin Lebar82380d82016-10-10 16:26:40 +0000679std::unique_ptr<MatcherDescriptor>
680makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1, ArgType2),
681 StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000682 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
683 BuildReturnTypeVector<ReturnType>::build(RetTypes);
684 ArgKind AKs[] = { ArgTypeTraits<ArgType1>::getKind(),
685 ArgTypeTraits<ArgType2>::getKind() };
Justin Lebar82380d82016-10-10 16:26:40 +0000686 return llvm::make_unique<FixedArgCountMatcherDescriptor>(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000687 matcherMarshall2<ReturnType, ArgType1, ArgType2>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000688 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AKs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000689}
690
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000691/// \brief Variadic overload.
692template <typename ResultT, typename ArgT,
693 ResultT (*Func)(ArrayRef<const ArgT *>)>
Justin Lebar82380d82016-10-10 16:26:40 +0000694std::unique_ptr<MatcherDescriptor> makeMatcherAutoMarshall(
Samuel Benzaquenc1384c12016-03-25 16:29:30 +0000695 ast_matchers::internal::VariadicFunction<ResultT, ArgT, Func> VarFunc,
696 StringRef MatcherName) {
Justin Lebar82380d82016-10-10 16:26:40 +0000697 return llvm::make_unique<VariadicFuncMatcherDescriptor>(VarFunc, MatcherName);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000698}
699
700/// \brief Overload for VariadicDynCastAllOfMatchers.
701///
702/// Not strictly necessary, but DynCastAllOfMatcherDescriptor gives us better
703/// completion results for that type of matcher.
704template <typename BaseT, typename DerivedT>
Justin Lebar82380d82016-10-10 16:26:40 +0000705std::unique_ptr<MatcherDescriptor> makeMatcherAutoMarshall(
706 ast_matchers::internal::VariadicDynCastAllOfMatcher<BaseT, DerivedT>
707 VarFunc,
708 StringRef MatcherName) {
709 return llvm::make_unique<DynCastAllOfMatcherDescriptor>(VarFunc, MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000710}
711
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000712/// \brief Argument adaptative overload.
713template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
714 typename FromTypes, typename ToTypes>
Justin Lebar82380d82016-10-10 16:26:40 +0000715std::unique_ptr<MatcherDescriptor> makeMatcherAutoMarshall(
716 ast_matchers::internal::ArgumentAdaptingMatcherFunc<ArgumentAdapterT,
717 FromTypes, ToTypes>,
718 StringRef MatcherName) {
719 std::vector<std::unique_ptr<MatcherDescriptor>> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000720 AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes, ToTypes>(MatcherName,
721 Overloads);
Justin Lebar82380d82016-10-10 16:26:40 +0000722 return llvm::make_unique<OverloadedMatcherDescriptor>(Overloads);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000723}
724
725template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
726 typename FromTypes, typename ToTypes>
727template <typename FromTypeList>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000728inline void AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes,
729 ToTypes>::collect(FromTypeList) {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000730 Out.push_back(makeMatcherAutoMarshall(
731 &AdaptativeFunc::template create<typename FromTypeList::head>, Name));
732 collect(typename FromTypeList::tail());
733}
734
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000735/// \brief Variadic operator overload.
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000736template <unsigned MinCount, unsigned MaxCount>
Justin Lebar82380d82016-10-10 16:26:40 +0000737std::unique_ptr<MatcherDescriptor> makeMatcherAutoMarshall(
738 ast_matchers::internal::VariadicOperatorMatcherFunc<MinCount, MaxCount>
739 Func,
740 StringRef MatcherName) {
741 return llvm::make_unique<VariadicOperatorMatcherDescriptor>(
742 MinCount, MaxCount, Func.Op, MatcherName);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000743}
744
Eugene Zelenko1660a5d2016-01-26 19:01:06 +0000745} // namespace internal
746} // namespace dynamic
747} // namespace ast_matchers
748} // namespace clang
Manuel Klimek24db0f02013-05-14 09:13:00 +0000749
Eugene Zelenko1660a5d2016-01-26 19:01:06 +0000750#endif // LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H