<div style="font-family: arial, helvetica, sans-serif"><font size="2"><div class="gmail_quote">On Sun, Jun 17, 2012 at 5:28 PM, Evgeny Panasyuk <span dir="ltr"><<a href="mailto:evgeny.panasyuk@gmail.com" target="_blank">evgeny.panasyuk@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
I have played today with ASTMatchers/Refactoring - it is great tool,<br>
thank you guys!<br>
<br>
I am thinking about tool which would automatically generate strictest<br>
possible (or at least very strict) matcher predicate for given piece of<br>
code. That would help to "dive into" predicate syntax for new users of<br>
ASTMatchers.<br>
Also it would be helpful for getting right qualified names, etc.<br>
<br>
One of possible usage pattern is:<br>
1. Prepare several pieces of code of interest, place into real code in<br>
order to get right context. Highlight these codes somehow, maybe with<br>
some special macro.<br>
2. Run tool over these units, and get strict predicates as the result.<br>
3. Adjust predicates, combine them, relax conditions, etc, and finally<br>
use them<br>
<br>
Small proof-of-concept:<br>
tool: <a href="http://ideone.com/XetAL" target="_blank">http://ideone.com/XetAL</a> (based on remove-cstr-calls, same build<br>
options)<br>
test_case: <a href="http://ideone.com/GXEcw" target="_blank">http://ideone.com/GXEcw</a><br>
tool output: <a href="http://ideone.com/xEgFJ" target="_blank">http://ideone.com/xEgFJ</a><br>
<br>
What do you think about such concept?<br></blockquote><div><br></div><div>Hi Evgeny,</div><div><br></div><div>I love the idea! In general, I think it's a really hard problem (which is the main reason we haven't tackled this yet ourselves). I guess it's a little more researchy, but I'd be super interested in seeing more work going into making C++ tooling easier and more powerful ...</div>
<div><br></div><div>I don't know whether you're aware, but in the tooling branch there's also a proof-of-concept implementation for dynamic matcher generation, and it might make sense to base your stuff on that.</div>
<div><br></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">
<br>
Best Regards,<br>
Evgeny<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</blockquote></div><br></font></div>