<html>
<head></head>
<body>
<p>Hi,</p>
<blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><p>This is indeed something I haven't considered, but should be easy to fix. Looking at the documentation for CXXCtorInitializer, you'll see that there's a member called isBaseInitializer(). The other thing you'll need to check (probably, if that is what you need) for is whether the base ctor call is implicit, which is probably done best by constraining the CXXConstructExpr with argumentCountIs(0). Putting together a custom matcher using these should be simple.</p>
</blockquote><p>I found isWritten() member for CXXCtorInitializer:<br/>
"<span style="font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; font-size: 14px;">Returns true if this initializer is explicitly written in the source code."</span><br/>
<span style="font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; font-size: 14px;">And finally, I accomplished what I wanted. Now, only B constructor is matched in:</span></p>
<p>class A{<br /> public: A(){}<br />};<br /><br />class B: public A{<br /> public: int b, h;<br /> B():A(){b=0; h=0;}<br />};<br /><br />class C: public A{<br /> public C(){}<br />};</p>
<p>But thanks for the members you have indicated: i'm sure I'll have to use them in the future. </p>
<blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br/>
<div>Also keep in mind that if you put together a generic and useful enough matcher, you should totally contribute it as a patch, so that others in need of a similar thing have it available in the future.</div></blockquote><p>Ok. But I don't know where I should put or send these matchers to share them. Could you indicate me?</p>
<blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br/>
<div>Yes, you need to use these in the matcher callback. It is indeed inefficient, but we've been unable to come up with any better solution. The problem is in the underlying compiler technology, i.e. the nature of header files.<em><br /></em></div><div>> <em>Is it possible to search for nodes only in some files indicated by the user?</em></div><div><em><br /></em></div><div>Sure, take a look at the clang::ast_matchers::match functions - they allow you to run a matcher on the specified node, not the whole AST. Unfortunately I do not think this will help you in this case, as you cannot distinguish the parts of the TU coming from system header files and the parts coming from user files at the AST level.</div></blockquote><p>Ok, that's a setback i should have in mind. When you say "they allow you to run a matcher on the specified node, not the whole AST." you mean something like this?:</p>
<pre style="overflow-x: auto; overflow-y: hidden; border: thin dotted #0c3762; margin: 0px 0px 12px; padding: 0.8em; background-color: #f0f0f0; color: #333333;"><span class="n">Result</span><span class="p">.</span><span class="n">Nodes</span><span class="p">.</span><span class="n">getNodeAs</span><span class="o" style="color: #666666;"><</span><span class="n">clang</span><span class="o" style="color: #666666;">::</span><span class="n">ForStmt</span><span class="o" style="color: #666666;">></span><span class="p">(</span><span class="s" style="color: #4070a0;">"forLoop"</span><span class="p">))</span></pre><p>This is the way I retrieve the nodes I need to match at this moment.</p>
<p>The problem for me is that I'll have to make some source-to-source translations: sometimes I'll have to modify the .cpp file and sometimes the .h (or even both of them) For instance, if i want to know if a certain method is declared as "virtual", I would need to examinate the .h file. Thus, I cannot exclude all .h files. So, how can I manage this? </p>
<blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><em>> I have seen that every file has "id" and, for instance, instead of using "isInSystemHeader" and "isInExternCSystemHeader" could i do the next?:<br /></em></div><div><em><br /></em></div><div>I'm not sure I understand what you're trying to do here... As the error you're getting, it's because getSourceManager is missing the paranthesis, i.e. the () that would indicate it's a method call.</div></blockquote><p>What I was trying to do is to examinate the nodes only from the file provided by the user in the execution (for instance, if I run bin/default-constructor test.cpp, I only want the nodes from test.cpp) I tought that with member getMainFileID() I would achieve what I wanted, but this isn't working as expected (sorry for the error of getSourceManager(), but I tested it really quick and late only to write the message). I have also tried with:<br/>
if (!Context->getSourceManager().isInSystemHeader(FullLocation) && ! Context->getSourceManager().isInExternCSystemHeader(FullLocation)){<br/>
... <br/>
}</p>
<p>but it is still matching nodes in other files, such as ostream, bits/basic_ios.h or bits/streambuf_interator.h because I included the iostream header. I need to avoid all these nodes, but I don't know how to do it.</p>
<blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div>Yes, that's quite possible, as I'm using clang 3.2. Nonetheless, you should be able to figure out what the issue is, as I've given you a draft (a pattern, if you will).</div></blockquote><p>Ok. I'm going to check this like you taugth me ;)</p>
<p>And a last question if you don't mind. I based my examples for the moment in the matcher shown in:<br/>
<a href="http://clang.llvm.org/docs/LibASTMatchersTutorial.html">http://clang.llvm.org/docs/LibASTMatchersTutorial.html</a><br/>
But you told me that it's possible to merge the usage of Matchers and RecursiveASTVisitor as in:<br/>
<a href="http://clang.llvm.org/docs/RAVFrontendAction.html">http://clang.llvm.org/docs/RAVFrontendAction.html</a><br/>
I see that I can retrieve some nodes using matchers and then use a RecursiveASTVisitor on that nodes, but I can't clearly see the contrary: if I'm visiting only a kind of node, I know that I can directly use the methods of that class, but how could I use a matcher in the same way as in the example below?:</p>
<pre style="overflow-x: auto; overflow-y: hidden; border: thin dotted #0c3762; margin: 0px 0px 12px; padding: 0.8em; background-color: #f0f0f0; color: #333333;"><span class="k" style="color: #007020; font-weight: bold;">virtual</span> <span class="kt" style="color: #902000;">void</span> <span class="n">run</span><span class="p">(</span><span class="k" style="color: #007020; font-weight: bold;">const</span> <span class="n">MatchFinder</span><span class="o" style="color: #666666;">::</span><span class="n">MatchResult</span> <span class="o" style="color: #666666;">&</span><span class="n">Result</span><span class="p">)</span> <span class="p">{</span> <span class="k" style="color: #007020; font-weight: bold;">if</span> <span class="p">(</span><span class="k" style="color: #007020; font-weight: bold;">const</span> <span class="n">ForStmt</span> <span class="o" style="color: #666666;">*</span><span class="n">FS</span> <span class="o" style="color: #666666;">=</span> <span class="n">Result</span><span class="p">.</span><span class="n">Nodes</span><span class="p">.</span><span class="n">getNodeAs</span><span class="o" style="color: #666666;"><</span><span class="n">clang</span><span class="o" style="color: #666666;">::</span><span class="n">ForStmt</span><span class="o" style="color: #666666;">></span><span class="p">(</span><span class="s" style="color: #4070a0;">"forLoop"</span><span class="p">))</span> <span class="n">FS</span><span class="o" style="color: #666666;">-></span><span class="n">dump</span><span class="p">();</span> <span class="p">}</span></pre><p>I hope you can understand what I mean.</p>
<p>Thank you for all your help,</p>
<p>Pedro</p>
<br/>
<div><em>El dia 21 abr 2013 01:43, Gábor Kozár <kozargabor@gmail.com> escribió:</em></div><blockquote class="replyBlock" style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr"><div>Hi,</div><div>> <em>The default constructor of C is also matched as there is an implicit call to the default constructor of class A (and effectively, this is an expression and not a declaration as I said in the last message). So, I've been thinking about it and, though I don't have the solution, I'm quite sure we have to change "anything()" inside "hasAnyConstructorInitializer()" to avoid this exception. Any suggestion?</em></div><div><em><br /></em></div><div>This is indeed something I haven't considered, but should be easy to fix. Looking at the documentation for CXXCtorInitializer, you'll see that there's a member called isBaseInitializer(). The other thing you'll need to check (probably, if that is what you need) for is whether the base ctor call is implicit, which is probably done best by constraining the CXXConstructExpr with argumentCountIs(0). Putting together a custom matcher using these should be simple.<em><br /> </em></div><div>Also keep in mind that if you put together a generic and useful enough matcher, you should totally contribute it as a patch, so that others in need of a similar thing have it available in the future.</div><div>> <em>On the other hand, I've been trying to use the methods you told me, but I have to use those methods after the matcher execution, haven't I? This is a bit inefficiently as the mathcer is looking up in some files that are not needed.</em></div><div><em><br /></em></div><div>Yes, you need to use these in the matcher callback. It is indeed inefficient, but we've been unable to come up with any better solution. The problem is in the underlying compiler technology, i.e. the nature of header files.<em><br /> </em></div><div>> <em>Is it possible to search for nodes only in some files indicated by the user?</em></div><div><em><br /></em></div><div>Sure, take a look at the clang::ast_matchers::match functions - they allow you to run a matcher on the specified node, not the whole AST. Unfortunately I do not think this will help you in this case, as you cannot distinguish the parts of the TU coming from system header files and the parts coming from user files at the AST level.</div><div><em><br /></em></div><div><em>> I have seen that every file has "id" and, for instance, instead of using "isInSystemHeader" and "isInExternCSystemHeader" could i do the next?:<br /></em></div><div><em><br /></em></div><div>I'm not sure I understand what you're trying to do here... As the error you're getting, it's because getSourceManager is missing the paranthesis, i.e. the () that would indicate it's a method call.</div><div>> <em>Umm... What a strange thing... I will get over this one more time and see if I did something wrong.<br />Maybe something is missing or is different in AStMatchersInternal or ASTMatchersMacros.</em></div><div>Yes, that's quite possible, as I'm using clang 3.2. Nonetheless, you should be able to figure out what the issue is, as I've given you a draft (a pattern, if you will).<em><br /></em></div><div>Good luck!</div><div>Gabor</div></div><div class="gmail_extra"><br /><br /><div class="gmail_quote">2013/4/21 Pedro Delgado Perez <span dir="ltr"><<a href="mailto:pedro.delgadoperez@mail.uca.es" target="_blank">pedro.delgadoperez@mail.uca.es</a>></span><br /><blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><div><p>Hi and thanks again,<br /><br />I clearly expressed incorretly the problem. I'll try to explain it more in detail:<br /><br />If we have the classes below:<br /><br />class A{<br /> public: A(){}<br />};<br /><br />class B: public A{<br /> public: int b, h;<br /> B():A(){b=0; h=0;}<br />};<br /><br />class C: public A{<br /> public C(){}<br />};<br /><br />I want my matcher retrieves ONLY the default constructor declaration of B. However this is what happened with the matcher you proposed me:<br /> <br />CXXConstructorDecl 0xa1f6080 </home/pedro/clang-llvm/build/testClases.cpp:14:3, col:25> B 'void (void)'<br />|-CXXCtorInitializer 'class A'<br />| |-CXXConstructExpr 0xa1f6608 <col:8, col:10> 'class A' 'void (void)'<br /> `-CompoundStmt 0xa1f6710 <col:11, col:25><br /> |-BinaryOperator 0xa1f6698 <col:12, col:16> 'int' lvalue '='<br /> | |-MemberExpr 0xa1f6660 <col:12> 'int' lvalue ->b 0xa1f6100<br /> | | `-CXXThisExpr 0xa1f6650 <col:12> 'class B *' this<br /> | `-IntegerLiteral 0xa1f6680 <col:16> 'int' 0<br /> `-BinaryOperator 0xa1f66f8 <col:19, col:23> 'int' lvalue '='<br /> |-MemberExpr 0xa1f66c0 <col:19> 'int' lvalue ->h 0xa1f6140<br /> | `-CXXThisExpr 0xa1f66b0 <col:19> 'class B *' this<br /> `-IntegerLiteral 0xa1f66e0 <col:23> 'int' 0<br /> Found declaration at 14:3<br />CXXConstructorDecl 0xa1f68b0 </home/pedro/clang-llvm/build/testClases.cpp:25:3, col:7> C 'void (void)'<br />|-CXXCtorInitializer 'class A'<br />| |-CXXConstructExpr 0xa1f6c08 <col:3> 'class A' 'void (void)'<br /> `-CompoundStmt 0xa1f6c58 <col:6, col:7><br />Found declaration at 25:3<br /><br />The default constructor of C is also matched as there is an implicit call to the default constructor of class A (and effectively, this is an expression and not a declaration as I said in the last message). So, I've been thinking about it and, though I don't have the solution, I'm quite sure we have to change "anything()" inside "hasAnyConstructorInitializer()" to avoid this exception. Any suggestion?<br /> <br /><br />On the other hand, I've been trying to use the methods you told me, but I have to use those methods after the matcher execution, haven't I? This is a bit inefficiently as the mathcer is looking up in some files that are not needed. Is it possible to search for nodes only in some files indicated by the user? Normally, a class is declared in a .h file and defined in the .cpp file and i would like to search in both of them.<br /> I have seen that every file has "id" and, for instance, instead of using "isInSystemHeader" and "isInExternCSystemHeader" could i do the next?:<br /><br />class DefaultConstructor : public MatchFinder::MatchCallback {<br /> public :<br /> virtual void run(const MatchFinder::MatchResult &Result) {<br /> ASTContext *Context = Result.Context;<br /> FileID mainFileID = Context->getSourceManager.getMainFileID();<br /> if (const CXXConstructorDecl *FS = Result.Nodes.getNodeAs<clang::CXXConstructorDecl>("methods")){<br /> FullSourceLoc FullLocation = Context->getFullLoc(FS->getLocStart());<br /> if (FullLocation.isValid() && FullLocation.getFileID() == mainFileID)<br /> ... ...<br /> }<br /> }<br />};<br /><br />( I got an error with this: reference to non-static member function must be called<br /> FileID mainFileID = (Context->getSourceManager).getMainFileID();<br /> ^~~~~~~~~~~~~~~~~~~~~~~~~~~ )</p>
<div class="im"><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><p>> <em>Thank you for your time Gábor. I have put this, but I don't know why it doesn't fetch any nodes at all... Could you test this?<br /> <br /></em><br />I did test it, and worked fine for me. Not sure what could be the issue.</p>
</blockquote></div><p>Umm... What a strange thing... I will get over this one more time and see if I did something wrong.<br />Maybe something is missing or is different in AStMatchersInternal or ASTMatchersMacros.</p>
<p>Thanks,</p>
<p>Pedro.</p>
<br/>
<div><em>El dia 19 abr 2013 16:28, Gábor Kozár <<a href="mailto:kozargabor@gmail.com" target="_blank">kozargabor@gmail.com</a>> escribió:</em></div><div><div class="h5"><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr"><div><div><div><div><div><div>Hi,</div><div><br />> <em>Thank you for your time Gábor. I have put this, but I don't know why it doesn't fetch any nodes at all... Could you test this?<br /><br /></em></div><p>I did test it, and worked fine for me. Not sure what could be the issue.</p>
</div><p>> <em>An implicit node is detected: the default constructor of class A in the list of constructors in default constructor of class B. So, I tried to fix this doing this:</em></p>
</div><p>I believe this is what you need then, as Manuel suggested:</p>
<p>constructorDecl(isDefinition(), parameterCountIs(0), unless(isImplicit()),</p>
<div> anyOf(hasAnyConstructorInitializer(anything()), has(compoundStmt(has(stmt())))));</div><div>How you compose your matchers dictate how they will behave. Lets take a simple example: functionDecl(isDefinition()). Here the fact that isDefinition() was given as a parameter to functionDecl() indicates that it refines that matcher, i.e. imposes further conditions that have to be met in order for a node to be matched.</div><div>Now with this logic, lets look at what you tried: <span style="font-size: 12.7273px;">withInitializer(constructorDecl(isImplicit()))<br /></span></div><p>This means something like "an initializer that is an implicit constructor declaration" - which obviously makes no sense, and thanks to template voodoo magic, it doesn't compile either. The reason is that withInitializer expects a Matcher<Expr>, that is, a matcher that matches certain Exprs (that meet a certain criteria). constructorDecl() yields a Matcher<CXXConstructorDecl>, because it is a matcher that accepts CXXConstructorDecl objects.</p>
</div><p>> <em><span style="font-size: 12.7273px;">In addition, I would like to work only with the code that is explicit and for example when I try to match "methodDecl(isOverride())" a lot of implicit </span><span style="font-size: 12.7273px;">methods</span><span style="font-size: 12.7273px;"> </span><span style="font-size: 12.7273px;">(and even methods from other files apart of mine) are detected with this matcher. How can I avoid this?</span></em></p>
</div><p>I'm not sure what you mean by "implicit" methods here. Obviously you'll get matches in header files as well, most notably, system header files. SourceManager::isInSystemHeader and isInExternCSystemHeader is what you're looking for if you want to avoid that - you'll place such a check in your matcher callback function.</p>
</div><p>Gabor</p>
</div><div class="gmail_extra"><br /><br /><div class="gmail_quote">2013/4/19 Pedro Delgado Perez <span dir="ltr"><<a href="mailto:pedro.delgadoperez@mail.uca.es" target="_blank">pedro.delgadoperez@mail.uca.es</a>></span><br /><blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><div><p>Thank you ver much both of you, it really helps:</p>
<div><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div>All of the ways you cite make sense. What you want really depends on what kind of control you want. Note that you can always easily start with AST matchers to find higher level things you're interested in, and then drill down through the AST nodes by calling the methods or even by using a RecursiveASTVisitor on a node...</div></blockquote></div><p> Ok, Manuel. I need to study this a bit more to catch on the best way for me, but it's good to know I can merge both strategies.</p>
<div><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style="font-size: 12.727272033691406px;">I have put together quickly the matcher that I believe suits your needs, just so that you can see how it works:<br /> <br />namespace clang {<br />namespace ast_matchers {<br /><br />using namespace clang::ast_matchers::internal;<br /><br />AST_MATCHER(CXXConstructorDecl, defaultNonTrivialCtor)<br />{<br /> return Node.isThisDeclarationADefinition()<br /> && Node.isDefaultConstructor()<br /> && (Node.getNumCtorInitializers() != 0 || !Node.hasTrivialBody());<br />}<br /><br />} // ast_matchers<br />} // clang<br /><br /></div><p><span style="font-size: 12.727272033691406px;">(Don't forget to include ASTMatchers.h, ASTMatchersInternal.h and ASTMatchersMacros.h)</span></p>
</blockquote></div><p>Thank you for your time Gábor. I have put this, but I don't know why it doesn't fetch any nodes at all... Could you test this?</p>
<div><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style="font-size: 12.727272033691406px;">constructorDecl(isDefinition(), parameterCountIs(0),<br /> anyOf(hasAnyConstructorInitializer(anything()), has(compoundStmt(has(stmt())))));</div><div style="font-size: 12.727272033691406px;"><div>(I did a quick test, and seems to work as intended, but you should make sure to test it thoroughly yourself.)</div></div></blockquote></div><p>I have put this as well and this time does it works, but indeed it needs something more, because if we have:</p>
<p>class A{<br />public:<br />A(){}<br />... <br />};</p>
<p>class B: public A{<br />public:<br />B(){}<br />...<br />};</p>
<p>An implicit node is detected: the default constructor of class A in the list of constructors in default constructor of class B. So, I tried to fix this doing this:</p>
<p><span style="font-size: 12.727272033691406px;">constructorDecl(isDefinition(), parameterCountIs(0),</span><br style="font-size: 12.727272033691406px;" /><span style="font-size: 12.727272033691406px;"> anyOf(hasAnyConstructorInitializer(<strong>unless(withInitializer(constructorDecl(isImplicit())))</strong>)), has(compoundStmt(has(stmt())))));</span></p>
<p><span style="font-size: 12.727272033691406px;">But, I newbie in this and it doesn't work as constructorDecl returns a Decl and withInitializer a Expr (i think). How could I do this? Sorry for this, but I would like to have at least an example complete. </span></p>
<p><span style="font-size: 12.727272033691406px;">In addition, I would like to work only with the code that is explicit and for example when I try to match "methodDecl(isOverride())" a lot of implicit </span><span style="font-size: 12.727272033691406px;">methods</span><span style="font-size: 12.727272033691406px;"> </span><span style="font-size: 12.727272033691406px;">(and even methods from other files apart of mine) are detected with this matcher. How can I avoid this?</span></p>
<p><span style="font-size: 12.727272033691406px;">Thanks,</span></p>
<p><span style="font-size: 12.727272033691406px;">Pedro.</span></p>
<div><em>El dia 19 abr 2013 13:50, Manuel Klimek <<a href="mailto:klimek@google.com" target="_blank">klimek@google.com</a>> escribió:</em></div><div><div><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr">On Fri, Apr 19, 2013 at 12:18 PM, Pedro Delgado Perez <span dir="ltr"><<a href="mailto:pedro.delgadoperez@mail.uca.es" target="_blank">pedro.delgadoperez@mail.uca.es</a>></span> wrote:<br /><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><div><p>Hi again,</p>
<p>Well, I've just understood that not all the methods in a class have a matcher related. For instance, I'm trying to match the default constructor declaration of a class:</p>
<p>class Foo {<br />public:<br /><strong>Foo(){}</strong><br />Foo(int a){... ...}<br />}</p>
<br/>
<p>And in CXXConstructorDecl we have isDefaultConstructor(), but I can't find an AST_MATCHER to do this. So, I suppose I would have to implement a new AST_MATCHER like this:</p>
<p><em>AST_MATCHER(CXXConstructorDecl, isDefaultConstructor){</em><br /><em>return Node.isDefaultConstructor();</em><br /><em>}</em></p>
<p>Wouldn't it? But, this happens often, so... would you recommend me use AST_MATCHERS? Or it would be better to do something like it is explained in <a href="http://clang.llvm.org/docs/RAVFrontendAction.html" target="_blank">http://clang.llvm.org/docs/RAVFrontendAction.html</a> ? This way, I can directly use the methods in the classes. For instance:</p>
<pre style="overflow-x: auto; overflow-y: hidden; border: thin dotted #0c3762; margin: 0px 0px 12px; padding: 0.8em; background-color: #f0f0f0; color: #333333;"> bool VisitCXXConstructorDecl(CXXConstructorDecl *Declaration) { if (Declaration->isDefaultConstructor()) {</pre><p>I have to visit a lot of kind of nodes with different features, not only this. </p>
</div></blockquote><div>All of the ways you cite make sense. What you want really depends on what kind of control you want. Note that you can always easily start with AST matchers to find higher level things you're interested in, and then drill down through the AST nodes by calling the methods or even by using a RecursiveASTVisitor on a node...</div><div>Cheers,</div><div>/Manuel</div><div> </div><blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><div><p>Please, I need a path to get down to work.</p>
<p>Thanks in advance,</p>
<div><p>Pedro.</p>
<br/>
<div><em>El dia 19 abr 2013 01:58, Gábor Kozár <<a href="mailto:kozargabor@gmail.com" target="_blank">kozargabor@gmail.com</a>> escribió:</em></div><blockquote style="border-left: 2px solid #000083; margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr"><div><div><div>Hi,<br /><br /></div><p>What version are you using? The matchers isOverride() and isVirtual() I know for certain were not in version 3.2, and can only be found on SVN (in this file: <a href="http://llvm.org/svn/llvm-project/cfe/trunk/include/clang/ASTMatchers/ASTMatchers.h" target="_blank">http://llvm.org/svn/llvm-project/cfe/trunk/include/clang/ASTMatchers/ASTMatchers.h</a>).</p>
</div><p>Nonetheless, you can implement them all very easily manually, or just indeed copy their implementation from the link above. Also, instead of isDefaultConstructor(), you could use argumentCountIs(0).</p>
</div><p>Gabor</p>
</div><div class="gmail_extra"><br /><br /><div class="gmail_quote">2013/4/18 Pedro Delgado Perez <span dir="ltr"><<a href="mailto:pedro.delgadoperez@mail.uca.es" target="_blank">pedro.delgadoperez@mail.uca.es</a>></span><br /><blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><div><p>Hi,</p>
<p>I'm newbie using ASTMatchers and I'm trying to learn little by little how to use them.</p>
<p>I was basing on the matcher <span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">recordDecl(hasName("Foo"),</span><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify; background-color: #e2e2e2;"> </span><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">isDerivedFrom("Bar")) </span>shown in <a href="http://clang.llvm.org/docs/LibASTMatchers.html" target="_blank">http://clang.llvm.org/docs/LibASTMatchers.html</a> trying to include new features. For instance, I tried to look for classes which have at least one virtual method:</p>
<p><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">recordDecl(hasName("Foo"),</span><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify; background-color: #e2e2e2;"> </span><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">isDerivedFrom("Bar"), hasMethod(isVirtual()))</span></p>
<p>Or I tried to match protected overriden methods:</p>
<p><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">methodDecl(allOf(isProtected(), isOverride()</span><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">);</span></p>
<p>But neither of them worked as it couldn't find "isOverride" and "isVirtual" identifiers. I was trying a lot of combinations, but I can't understand this well.</p>
<p>Finally, I tried to look for the the default constructor of a certain class:</p>
<p><span style="color: #333333; font-family: monospace; font-size: 12px; line-height: 17px; text-align: justify;">constructorDecl(hasName("Foo"), isDefaultConstructor())</span></p>
<p>but this is wrong. What I'm doing bad? Please, any information you give me will be fine to me to understand how to use matchers.</p>
<p>Thanks in advance,</p>
<p>Pedro.</p>
<br/>
</div><br/>
<p>_______________________________________________<br />cfe-dev mailing list<br /><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a></p>
</blockquote></div></div><p><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></p>
</blockquote></div></div><br/>
<p>_______________________________________________<br />cfe-dev mailing list<br /><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a></p>
</blockquote></div></div></div><p><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></p>
</blockquote></div></div></div></blockquote></div><br/>
</div></blockquote></div></div></div></blockquote></div><br/>
</div></blockquote>
</body>
</html>