blob: b78bc03819906a5823de71a2831387ff448ff200 [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
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
Peter Collingbourned32e28c2014-01-23 22:48:38 +000035
Manuel Klimek24db0f02013-05-14 09:13:00 +000036/// \brief Helper template class to just from argument type to the right is/get
37/// functions in VariantValue.
38/// Used to verify and extract the matcher arguments below.
39template <class T> struct ArgTypeTraits;
40template <class T> struct ArgTypeTraits<const T &> : public ArgTypeTraits<T> {
41};
42
43template <> struct ArgTypeTraits<std::string> {
44 static bool is(const VariantValue &Value) { return Value.isString(); }
45 static const std::string &get(const VariantValue &Value) {
46 return Value.getString();
47 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000048 static ArgKind getKind() {
49 return ArgKind(ArgKind::AK_String);
50 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000051};
52
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +000053template <>
54struct ArgTypeTraits<StringRef> : public ArgTypeTraits<std::string> {
55};
56
Manuel Klimek24db0f02013-05-14 09:13:00 +000057template <class T> struct ArgTypeTraits<ast_matchers::internal::Matcher<T> > {
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000058 static bool is(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000059 return Value.isMatcher() && Value.getMatcher().hasTypedMatcher<T>();
Samuel Benzaquen81ef9292013-06-20 14:28:32 +000060 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000061 static ast_matchers::internal::Matcher<T> get(const VariantValue &Value) {
Samuel Benzaquen998cda232013-08-30 15:09:52 +000062 return Value.getMatcher().getTypedMatcher<T>();
Manuel Klimek24db0f02013-05-14 09:13:00 +000063 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000064 static ArgKind getKind() {
65 return ArgKind(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
66 }
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000067};
Manuel Klimek24db0f02013-05-14 09:13:00 +000068
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000069template <> struct ArgTypeTraits<unsigned> {
70 static bool is(const VariantValue &Value) { return Value.isUnsigned(); }
71 static unsigned get(const VariantValue &Value) {
72 return Value.getUnsigned();
73 }
Peter Collingbourned32e28c2014-01-23 22:48:38 +000074 static ArgKind getKind() {
75 return ArgKind(ArgKind::AK_Unsigned);
76 }
Manuel Klimek24db0f02013-05-14 09:13:00 +000077};
78
Manuel Klimek3fe8a382014-08-25 11:23:50 +000079template <> struct ArgTypeTraits<attr::Kind> {
80private:
81 static attr::Kind getAttrKind(llvm::StringRef AttrKind) {
82 return llvm::StringSwitch<attr::Kind>(AttrKind)
83#define ATTR(X) .Case("attr::" #X, attr:: X)
84#include "clang/Basic/AttrList.inc"
85 .Default(attr::Kind(-1));
86 }
87public:
88 static bool is(const VariantValue &Value) {
89 return Value.isString() &&
90 getAttrKind(Value.getString()) != attr::Kind(-1);
91 }
92 static attr::Kind get(const VariantValue &Value) {
93 return getAttrKind(Value.getString());
94 }
95 static ArgKind getKind() {
96 return ArgKind(ArgKind::AK_String);
97 }
98};
99
Peter Collingbournef43e6942013-11-23 01:34:36 +0000100/// \brief Matcher descriptor interface.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000101///
Peter Collingbournef43e6942013-11-23 01:34:36 +0000102/// Provides a \c create() method that constructs the matcher from the provided
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000103/// arguments, and various other methods for type introspection.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000104class MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000105public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000106 virtual ~MatcherDescriptor() {}
107 virtual VariantMatcher create(const SourceRange &NameRange,
108 ArrayRef<ParserValue> Args,
109 Diagnostics *Error) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000110
111 /// Returns whether the matcher is variadic. Variadic matchers can take any
112 /// number of arguments, but they must be of the same type.
113 virtual bool isVariadic() const = 0;
114
115 /// Returns the number of arguments accepted by the matcher if not variadic.
116 virtual unsigned getNumArgs() const = 0;
117
118 /// Given that the matcher is being converted to type \p ThisKind, append the
119 /// set of argument types accepted for argument \p ArgNo to \p ArgKinds.
120 // FIXME: We should provide the ability to constrain the output of this
121 // function based on the types of other matcher arguments.
122 virtual void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
123 std::vector<ArgKind> &ArgKinds) const = 0;
124
125 /// Returns whether this matcher is convertible to the given type. If it is
126 /// so convertible, store in *Specificity a value corresponding to the
127 /// "specificity" of the converted matcher to the given context, and in
128 /// *LeastDerivedKind the least derived matcher kind which would result in the
129 /// same matcher overload. Zero specificity indicates that this conversion
130 /// would produce a trivial matcher that will either always or never match.
131 /// Such matchers are excluded from code completion results.
132 virtual bool isConvertibleTo(
Craig Topper210e1ad2014-05-17 18:49:24 +0000133 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity = nullptr,
134 ast_type_traits::ASTNodeKind *LeastDerivedKind = nullptr) const = 0;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000135
136 /// Returns whether the matcher will, given a matcher of any type T, yield a
137 /// matcher of type T.
138 virtual bool isPolymorphic() const { return false; }
Manuel Klimek24db0f02013-05-14 09:13:00 +0000139};
140
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000141inline bool isRetKindConvertibleTo(
Craig Topper00bbdcf2014-06-28 23:22:23 +0000142 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000143 ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
144 ast_type_traits::ASTNodeKind *LeastDerivedKind) {
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000145 for (const ast_type_traits::ASTNodeKind &NodeKind : RetKinds) {
146 if (ArgKind(NodeKind).isConvertibleTo(Kind, Specificity)) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000147 if (LeastDerivedKind)
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000148 *LeastDerivedKind = NodeKind;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000149 return true;
150 }
151 }
152 return false;
153}
154
Manuel Klimek24db0f02013-05-14 09:13:00 +0000155/// \brief Simple callback implementation. Marshaller and function are provided.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000156///
157/// This class wraps a function of arbitrary signature and a marshaller
Peter Collingbournef43e6942013-11-23 01:34:36 +0000158/// function into a MatcherDescriptor.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000159/// The marshaller is in charge of taking the VariantValue arguments, checking
160/// their types, unpacking them and calling the underlying function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000161class FixedArgCountMatcherDescriptor : public MatcherDescriptor {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000162public:
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000163 typedef VariantMatcher (*MarshallerType)(void (*Func)(),
164 StringRef MatcherName,
165 const SourceRange &NameRange,
166 ArrayRef<ParserValue> Args,
167 Diagnostics *Error);
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000168
Dmitri Gribenkocb63baf2013-05-17 17:50:16 +0000169 /// \param Marshaller Function to unpack the arguments and call \c Func
170 /// \param Func Matcher construct function. This is the function that
171 /// compile-time matcher expressions would use to create the matcher.
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000172 /// \param RetKinds The list of matcher types to which the matcher is
173 /// convertible.
174 /// \param ArgKinds The types of the arguments this matcher takes.
175 FixedArgCountMatcherDescriptor(
176 MarshallerType Marshaller, void (*Func)(), StringRef MatcherName,
Craig Topper00bbdcf2014-06-28 23:22:23 +0000177 ArrayRef<ast_type_traits::ASTNodeKind> RetKinds,
178 ArrayRef<ArgKind> ArgKinds)
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000179 : Marshaller(Marshaller), Func(Func), MatcherName(MatcherName),
180 RetKinds(RetKinds.begin(), RetKinds.end()),
181 ArgKinds(ArgKinds.begin(), ArgKinds.end()) {}
Manuel Klimek24db0f02013-05-14 09:13:00 +0000182
Peter Collingbournef43e6942013-11-23 01:34:36 +0000183 VariantMatcher create(const SourceRange &NameRange,
184 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000185 return Marshaller(Func, MatcherName, NameRange, Args, Error);
186 }
187
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000188 bool isVariadic() const { return false; }
189 unsigned getNumArgs() const { return ArgKinds.size(); }
190 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
191 std::vector<ArgKind> &Kinds) const {
192 Kinds.push_back(ArgKinds[ArgNo]);
193 }
194 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
195 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
196 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
197 LeastDerivedKind);
198 }
199
Manuel Klimek24db0f02013-05-14 09:13:00 +0000200private:
201 const MarshallerType Marshaller;
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000202 void (* const Func)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000203 const std::string MatcherName;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000204 const std::vector<ast_type_traits::ASTNodeKind> RetKinds;
205 const std::vector<ArgKind> ArgKinds;
Manuel Klimek24db0f02013-05-14 09:13:00 +0000206};
207
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000208/// \brief Helper methods to extract and merge all possible typed matchers
209/// out of the polymorphic object.
210template <class PolyMatcher>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000211static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000212 std::vector<DynTypedMatcher> &Out,
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000213 ast_matchers::internal::EmptyTypeList) {}
214
215template <class PolyMatcher, class TypeList>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000216static void mergePolyMatchers(const PolyMatcher &Poly,
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000217 std::vector<DynTypedMatcher> &Out, TypeList) {
218 Out.push_back(ast_matchers::internal::Matcher<typename TypeList::head>(Poly));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000219 mergePolyMatchers(Poly, Out, typename TypeList::tail());
220}
221
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000222/// \brief Convert the return values of the functions into a VariantMatcher.
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000223///
224/// There are 2 cases right now: The return value is a Matcher<T> or is a
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000225/// polymorphic matcher. For the former, we just construct the VariantMatcher.
226/// For the latter, we instantiate all the possible Matcher<T> of the poly
227/// matcher.
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000228static VariantMatcher outvalueToVariantMatcher(const DynTypedMatcher &Matcher) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000229 return VariantMatcher::SingleMatcher(Matcher);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000230}
231
232template <typename T>
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000233static VariantMatcher outvalueToVariantMatcher(const T &PolyMatcher,
234 typename T::ReturnTypes * =
235 NULL) {
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000236 std::vector<DynTypedMatcher> Matchers;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000237 mergePolyMatchers(PolyMatcher, Matchers, typename T::ReturnTypes());
Benjamin Kramer3f755aa2014-03-10 17:55:02 +0000238 VariantMatcher Out = VariantMatcher::PolymorphicMatcher(std::move(Matchers));
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000239 return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000240}
241
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000242template <typename T>
243inline void buildReturnTypeVectorFromTypeList(
244 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
245 RetTypes.push_back(
246 ast_type_traits::ASTNodeKind::getFromNodeKind<typename T::head>());
247 buildReturnTypeVectorFromTypeList<typename T::tail>(RetTypes);
248}
249
250template <>
251inline void
252buildReturnTypeVectorFromTypeList<ast_matchers::internal::EmptyTypeList>(
253 std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {}
254
255template <typename T>
256struct BuildReturnTypeVector {
257 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
258 buildReturnTypeVectorFromTypeList<typename T::ReturnTypes>(RetTypes);
259 }
260};
261
262template <typename T>
263struct BuildReturnTypeVector<ast_matchers::internal::Matcher<T> > {
264 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
265 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
266 }
267};
268
269template <typename T>
270struct BuildReturnTypeVector<ast_matchers::internal::BindableMatcher<T> > {
271 static void build(std::vector<ast_type_traits::ASTNodeKind> &RetTypes) {
272 RetTypes.push_back(ast_type_traits::ASTNodeKind::getFromNodeKind<T>());
273 }
274};
275
276/// \brief Variadic marshaller function.
277template <typename ResultT, typename ArgT,
278 ResultT (*Func)(ArrayRef<const ArgT *>)>
279VariantMatcher
280variadicMatcherDescriptor(StringRef MatcherName, const SourceRange &NameRange,
281 ArrayRef<ParserValue> Args, Diagnostics *Error) {
282 ArgT **InnerArgs = new ArgT *[Args.size()]();
283
284 bool HasError = false;
285 for (size_t i = 0, e = Args.size(); i != e; ++i) {
286 typedef ArgTypeTraits<ArgT> ArgTraits;
287 const ParserValue &Arg = Args[i];
288 const VariantValue &Value = Arg.Value;
289 if (!ArgTraits::is(Value)) {
290 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
291 << (i + 1) << ArgTraits::getKind().asString() << Value.getTypeAsString();
292 HasError = true;
293 break;
294 }
295 InnerArgs[i] = new ArgT(ArgTraits::get(Value));
296 }
297
298 VariantMatcher Out;
299 if (!HasError) {
Craig Topper8c2a2a02014-08-30 16:55:39 +0000300 Out = outvalueToVariantMatcher(Func(llvm::makeArrayRef(InnerArgs,
301 Args.size())));
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000302 }
303
304 for (size_t i = 0, e = Args.size(); i != e; ++i) {
305 delete InnerArgs[i];
306 }
307 delete[] InnerArgs;
308 return Out;
309}
310
311/// \brief Matcher descriptor for variadic functions.
312///
313/// This class simply wraps a VariadicFunction with the right signature to export
314/// it as a MatcherDescriptor.
315/// This allows us to have one implementation of the interface for as many free
316/// functions as we want, reducing the number of symbols and size of the
317/// object file.
318class VariadicFuncMatcherDescriptor : public MatcherDescriptor {
319public:
320 typedef VariantMatcher (*RunFunc)(StringRef MatcherName,
321 const SourceRange &NameRange,
322 ArrayRef<ParserValue> Args,
323 Diagnostics *Error);
324
325 template <typename ResultT, typename ArgT,
326 ResultT (*F)(ArrayRef<const ArgT *>)>
327 VariadicFuncMatcherDescriptor(llvm::VariadicFunction<ResultT, ArgT, F> Func,
328 StringRef MatcherName)
329 : Func(&variadicMatcherDescriptor<ResultT, ArgT, F>),
330 MatcherName(MatcherName.str()),
331 ArgsKind(ArgTypeTraits<ArgT>::getKind()) {
332 BuildReturnTypeVector<ResultT>::build(RetKinds);
333 }
334
335 VariantMatcher create(const SourceRange &NameRange,
336 ArrayRef<ParserValue> Args, Diagnostics *Error) const {
337 return Func(MatcherName, NameRange, Args, Error);
338 }
339
340 bool isVariadic() const { return true; }
341 unsigned getNumArgs() const { return 0; }
342 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
343 std::vector<ArgKind> &Kinds) const {
344 Kinds.push_back(ArgsKind);
345 }
346 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
347 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
348 return isRetKindConvertibleTo(RetKinds, Kind, Specificity,
349 LeastDerivedKind);
350 }
351
352private:
353 const RunFunc Func;
354 const std::string MatcherName;
355 std::vector<ast_type_traits::ASTNodeKind> RetKinds;
356 const ArgKind ArgsKind;
357};
358
359/// \brief Return CK_Trivial when appropriate for VariadicDynCastAllOfMatchers.
360class DynCastAllOfMatcherDescriptor : public VariadicFuncMatcherDescriptor {
361public:
362 template <typename BaseT, typename DerivedT>
363 DynCastAllOfMatcherDescriptor(
364 ast_matchers::internal::VariadicDynCastAllOfMatcher<BaseT, DerivedT> Func,
365 StringRef MatcherName)
366 : VariadicFuncMatcherDescriptor(Func, MatcherName),
367 DerivedKind(ast_type_traits::ASTNodeKind::getFromNodeKind<DerivedT>()) {
368 }
369
Craig Toppera798a9d2014-03-02 09:32:10 +0000370 bool
371 isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
372 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000373 // If Kind is not a base of DerivedKind, either DerivedKind is a base of
374 // Kind (in which case the match will always succeed) or Kind and
375 // DerivedKind are unrelated (in which case it will always fail), so set
376 // Specificity to 0.
377 if (VariadicFuncMatcherDescriptor::isConvertibleTo(Kind, Specificity,
378 LeastDerivedKind)) {
379 if (Kind.isSame(DerivedKind) || !Kind.isBaseOf(DerivedKind)) {
380 if (Specificity)
381 *Specificity = 0;
382 }
383 return true;
384 } else {
385 return false;
386 }
387 }
388
389private:
390 const ast_type_traits::ASTNodeKind DerivedKind;
391};
392
393/// \brief Helper macros to check the arguments on all marshaller functions.
394#define CHECK_ARG_COUNT(count) \
395 if (Args.size() != count) { \
396 Error->addError(NameRange, Error->ET_RegistryWrongArgCount) \
397 << count << Args.size(); \
398 return VariantMatcher(); \
399 }
400
401#define CHECK_ARG_TYPE(index, type) \
402 if (!ArgTypeTraits<type>::is(Args[index].Value)) { \
403 Error->addError(Args[index].Range, Error->ET_RegistryWrongArgType) \
404 << (index + 1) << ArgTypeTraits<type>::getKind().asString() \
405 << Args[index].Value.getTypeAsString(); \
406 return VariantMatcher(); \
407 }
408
409
Manuel Klimek24db0f02013-05-14 09:13:00 +0000410/// \brief 0-arg marshaller function.
411template <typename ReturnType>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000412static VariantMatcher matcherMarshall0(void (*Func)(), StringRef MatcherName,
413 const SourceRange &NameRange,
414 ArrayRef<ParserValue> Args,
415 Diagnostics *Error) {
416 typedef ReturnType (*FuncType)();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000417 CHECK_ARG_COUNT(0);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000418 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)());
Manuel Klimek24db0f02013-05-14 09:13:00 +0000419}
420
421/// \brief 1-arg marshaller function.
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000422template <typename ReturnType, typename ArgType1>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000423static VariantMatcher matcherMarshall1(void (*Func)(), StringRef MatcherName,
424 const SourceRange &NameRange,
425 ArrayRef<ParserValue> Args,
426 Diagnostics *Error) {
427 typedef ReturnType (*FuncType)(ArgType1);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000428 CHECK_ARG_COUNT(1);
429 CHECK_ARG_TYPE(0, ArgType1);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000430 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
431 ArgTypeTraits<ArgType1>::get(Args[0].Value)));
Manuel Klimek24db0f02013-05-14 09:13:00 +0000432}
433
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000434/// \brief 2-arg marshaller function.
435template <typename ReturnType, typename ArgType1, typename ArgType2>
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000436static VariantMatcher matcherMarshall2(void (*Func)(), StringRef MatcherName,
437 const SourceRange &NameRange,
438 ArrayRef<ParserValue> Args,
439 Diagnostics *Error) {
440 typedef ReturnType (*FuncType)(ArgType1, ArgType2);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000441 CHECK_ARG_COUNT(2);
442 CHECK_ARG_TYPE(0, ArgType1);
443 CHECK_ARG_TYPE(1, ArgType2);
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000444 return outvalueToVariantMatcher(reinterpret_cast<FuncType>(Func)(
445 ArgTypeTraits<ArgType1>::get(Args[0].Value),
446 ArgTypeTraits<ArgType2>::get(Args[1].Value)));
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000447}
448
Manuel Klimek24db0f02013-05-14 09:13:00 +0000449#undef CHECK_ARG_COUNT
450#undef CHECK_ARG_TYPE
451
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000452/// \brief Helper class used to collect all the possible overloads of an
453/// argument adaptative matcher function.
454template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
455 typename FromTypes, typename ToTypes>
456class AdaptativeOverloadCollector {
457public:
458 AdaptativeOverloadCollector(StringRef Name,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000459 std::vector<MatcherDescriptor *> &Out)
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000460 : Name(Name), Out(Out) {
461 collect(FromTypes());
462 }
463
464private:
465 typedef ast_matchers::internal::ArgumentAdaptingMatcherFunc<
466 ArgumentAdapterT, FromTypes, ToTypes> AdaptativeFunc;
467
468 /// \brief End case for the recursion
469 static void collect(ast_matchers::internal::EmptyTypeList) {}
470
471 /// \brief Recursive case. Get the overload for the head of the list, and
472 /// recurse to the tail.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000473 template <typename FromTypeList>
474 inline void collect(FromTypeList);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000475
Craig Topperbf3e3272014-08-30 16:55:52 +0000476 StringRef Name;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000477 std::vector<MatcherDescriptor *> &Out;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000478};
479
Peter Collingbournef43e6942013-11-23 01:34:36 +0000480/// \brief MatcherDescriptor that wraps multiple "overloads" of the same
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000481/// matcher.
482///
483/// It will try every overload and generate appropriate errors for when none or
484/// more than one overloads match the arguments.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000485class OverloadedMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000486public:
Peter Collingbournef43e6942013-11-23 01:34:36 +0000487 OverloadedMatcherDescriptor(ArrayRef<MatcherDescriptor *> Callbacks)
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000488 : Overloads(Callbacks.begin(), Callbacks.end()) {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000489
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000490 virtual ~OverloadedMatcherDescriptor() {}
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000491
Peter Collingbournef43e6942013-11-23 01:34:36 +0000492 virtual VariantMatcher create(const SourceRange &NameRange,
493 ArrayRef<ParserValue> Args,
494 Diagnostics *Error) const {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000495 std::vector<VariantMatcher> Constructed;
496 Diagnostics::OverloadContext Ctx(Error);
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000497 for (const auto &O : Overloads) {
498 VariantMatcher SubMatcher = O->create(NameRange, Args, Error);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000499 if (!SubMatcher.isNull()) {
500 Constructed.push_back(SubMatcher);
501 }
502 }
503
504 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
505 // We ignore the errors if any matcher succeeded.
506 Ctx.revertErrors();
507 if (Constructed.size() > 1) {
508 // More than one constructed. It is ambiguous.
509 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
510 return VariantMatcher();
511 }
512 return Constructed[0];
513 }
514
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000515 bool isVariadic() const {
516 bool Overload0Variadic = Overloads[0]->isVariadic();
517#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000518 for (const auto &O : Overloads) {
519 assert(Overload0Variadic == O->isVariadic());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000520 }
521#endif
522 return Overload0Variadic;
523 }
524
525 unsigned getNumArgs() const {
526 unsigned Overload0NumArgs = Overloads[0]->getNumArgs();
527#ifndef NDEBUG
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000528 for (const auto &O : Overloads) {
529 assert(Overload0NumArgs == O->getNumArgs());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000530 }
531#endif
532 return Overload0NumArgs;
533 }
534
535 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
536 std::vector<ArgKind> &Kinds) const {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000537 for (const auto &O : Overloads) {
538 if (O->isConvertibleTo(ThisKind))
539 O->getArgKinds(ThisKind, ArgNo, Kinds);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000540 }
541 }
542
543 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
544 ast_type_traits::ASTNodeKind *LeastDerivedKind) const {
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000545 for (const auto &O : Overloads) {
546 if (O->isConvertibleTo(Kind, Specificity, LeastDerivedKind))
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000547 return true;
548 }
549 return false;
550 }
551
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000552private:
Ahmed Charlesbfb62322014-03-09 12:24:23 +0000553 std::vector<std::unique_ptr<MatcherDescriptor>> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000554};
555
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000556/// \brief Variadic operator marshaller function.
Peter Collingbournef43e6942013-11-23 01:34:36 +0000557class VariadicOperatorMatcherDescriptor : public MatcherDescriptor {
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000558public:
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000559 typedef DynTypedMatcher::VariadicOperator VarOp;
Peter Collingbournef43e6942013-11-23 01:34:36 +0000560 VariadicOperatorMatcherDescriptor(unsigned MinCount, unsigned MaxCount,
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000561 VarOp Op, StringRef MatcherName)
562 : MinCount(MinCount), MaxCount(MaxCount), Op(Op),
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000563 MatcherName(MatcherName) {}
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000564
Peter Collingbournef43e6942013-11-23 01:34:36 +0000565 virtual VariantMatcher create(const SourceRange &NameRange,
566 ArrayRef<ParserValue> Args,
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000567 Diagnostics *Error) const override {
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000568 if (Args.size() < MinCount || MaxCount < Args.size()) {
569 const std::string MaxStr =
570 (MaxCount == UINT_MAX ? "" : Twine(MaxCount)).str();
571 Error->addError(NameRange, Error->ET_RegistryWrongArgCount)
572 << ("(" + Twine(MinCount) + ", " + MaxStr + ")") << Args.size();
573 return VariantMatcher();
574 }
575
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000576 std::vector<VariantMatcher> InnerArgs;
577 for (size_t i = 0, e = Args.size(); i != e; ++i) {
578 const ParserValue &Arg = Args[i];
579 const VariantValue &Value = Arg.Value;
580 if (!Value.isMatcher()) {
581 Error->addError(Arg.Range, Error->ET_RegistryWrongArgType)
582 << (i + 1) << "Matcher<>" << Value.getTypeAsString();
583 return VariantMatcher();
584 }
585 InnerArgs.push_back(Value.getMatcher());
586 }
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000587 return VariantMatcher::VariadicOperatorMatcher(Op, std::move(InnerArgs));
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000588 }
589
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000590 bool isVariadic() const override { return true; }
591 unsigned getNumArgs() const override { return 0; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000592 void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo,
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000593 std::vector<ArgKind> &Kinds) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000594 Kinds.push_back(ThisKind);
595 }
596 bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity,
Fariborz Jahanian5afc8692014-10-01 16:56:40 +0000597 ast_type_traits::ASTNodeKind *LeastDerivedKind) const override {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000598 if (Specificity)
599 *Specificity = 1;
600 if (LeastDerivedKind)
601 *LeastDerivedKind = Kind;
602 return true;
603 }
Craig Topperbbc6d622014-03-02 10:02:43 +0000604 bool isPolymorphic() const override { return true; }
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000605
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000606private:
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000607 const unsigned MinCount;
608 const unsigned MaxCount;
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000609 const VarOp Op;
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000610 const StringRef MatcherName;
611};
612
Manuel Klimek24db0f02013-05-14 09:13:00 +0000613/// Helper functions to select the appropriate marshaller functions.
Samuel Benzaquenb5dd69f2013-06-11 18:51:07 +0000614/// They detect the number of arguments, arguments types and return type.
Manuel Klimek24db0f02013-05-14 09:13:00 +0000615
616/// \brief 0-arg overload
617template <typename ReturnType>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000618MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000619 StringRef MatcherName) {
620 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
621 BuildReturnTypeVector<ReturnType>::build(RetTypes);
622 return new FixedArgCountMatcherDescriptor(
623 matcherMarshall0<ReturnType>, reinterpret_cast<void (*)()>(Func),
Craig Topper00bbdcf2014-06-28 23:22:23 +0000624 MatcherName, RetTypes, None);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000625}
626
627/// \brief 1-arg overload
628template <typename ReturnType, typename ArgType1>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000629MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1),
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000630 StringRef MatcherName) {
631 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
632 BuildReturnTypeVector<ReturnType>::build(RetTypes);
633 ArgKind AK = ArgTypeTraits<ArgType1>::getKind();
Peter Collingbournef43e6942013-11-23 01:34:36 +0000634 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000635 matcherMarshall1<ReturnType, ArgType1>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000636 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AK);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000637}
638
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000639/// \brief 2-arg overload
640template <typename ReturnType, typename ArgType1, typename ArgType2>
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000641MatcherDescriptor *makeMatcherAutoMarshall(ReturnType (*Func)(ArgType1, ArgType2),
642 StringRef MatcherName) {
643 std::vector<ast_type_traits::ASTNodeKind> RetTypes;
644 BuildReturnTypeVector<ReturnType>::build(RetTypes);
645 ArgKind AKs[] = { ArgTypeTraits<ArgType1>::getKind(),
646 ArgTypeTraits<ArgType2>::getKind() };
Peter Collingbournef43e6942013-11-23 01:34:36 +0000647 return new FixedArgCountMatcherDescriptor(
Samuel Benzaquen998cda232013-08-30 15:09:52 +0000648 matcherMarshall2<ReturnType, ArgType1, ArgType2>,
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000649 reinterpret_cast<void (*)()>(Func), MatcherName, RetTypes, AKs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000650}
651
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000652/// \brief Variadic overload.
653template <typename ResultT, typename ArgT,
654 ResultT (*Func)(ArrayRef<const ArgT *>)>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000655MatcherDescriptor *
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000656makeMatcherAutoMarshall(llvm::VariadicFunction<ResultT, ArgT, Func> VarFunc,
Manuel Klimek24db0f02013-05-14 09:13:00 +0000657 StringRef MatcherName) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000658 return new VariadicFuncMatcherDescriptor(VarFunc, MatcherName);
659}
660
661/// \brief Overload for VariadicDynCastAllOfMatchers.
662///
663/// Not strictly necessary, but DynCastAllOfMatcherDescriptor gives us better
664/// completion results for that type of matcher.
665template <typename BaseT, typename DerivedT>
666MatcherDescriptor *
667makeMatcherAutoMarshall(ast_matchers::internal::VariadicDynCastAllOfMatcher<
668 BaseT, DerivedT> VarFunc,
669 StringRef MatcherName) {
670 return new DynCastAllOfMatcherDescriptor(VarFunc, MatcherName);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000671}
672
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000673/// \brief Argument adaptative overload.
674template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
675 typename FromTypes, typename ToTypes>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000676MatcherDescriptor *
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000677makeMatcherAutoMarshall(ast_matchers::internal::ArgumentAdaptingMatcherFunc<
678 ArgumentAdapterT, FromTypes, ToTypes>,
679 StringRef MatcherName) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000680 std::vector<MatcherDescriptor *> Overloads;
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000681 AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes, ToTypes>(MatcherName,
682 Overloads);
Peter Collingbournef43e6942013-11-23 01:34:36 +0000683 return new OverloadedMatcherDescriptor(Overloads);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000684}
685
686template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
687 typename FromTypes, typename ToTypes>
688template <typename FromTypeList>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000689inline void AdaptativeOverloadCollector<ArgumentAdapterT, FromTypes,
690 ToTypes>::collect(FromTypeList) {
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000691 Out.push_back(makeMatcherAutoMarshall(
692 &AdaptativeFunc::template create<typename FromTypeList::head>, Name));
693 collect(typename FromTypeList::tail());
694}
695
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000696/// \brief Variadic operator overload.
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000697template <unsigned MinCount, unsigned MaxCount>
Peter Collingbournef43e6942013-11-23 01:34:36 +0000698MatcherDescriptor *
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000699makeMatcherAutoMarshall(ast_matchers::internal::VariadicOperatorMatcherFunc<
700 MinCount, MaxCount> Func,
701 StringRef MatcherName) {
Samuel Benzaquen2c15e8c2014-11-20 15:45:53 +0000702 return new VariadicOperatorMatcherDescriptor(MinCount, MaxCount, Func.Op,
Peter Collingbournef43e6942013-11-23 01:34:36 +0000703 MatcherName);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000704}
705
Manuel Klimek24db0f02013-05-14 09:13:00 +0000706} // namespace internal
707} // namespace dynamic
708} // namespace ast_matchers
709} // namespace clang
710
711#endif // LLVM_CLANG_AST_MATCHERS_DYNAMIC_MARSHALLERS_H