<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
17.06.2012 19:53, Manuel Klimek wrote:<br>
<blockquote
cite="mid:CAOsfVvn4=BDfJ3GUn7+VVf2d8mefQODdzZjgss5BC7YOoqg+Ew@mail.gmail.com"
type="cite">
<div style="font-family: arial,helvetica,sans-serif;"><font
size="2">
<div class="gmail_quote">
<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>
</font></div>
</blockquote>
I am not sure how hard it could be in general - I saw only small
part of Clang's ASTTree/ASTMatchers.<br>
But in any case, it is possible to restrict tool to only small
subset of expressions, but still making tool useful.<br>
<br>
I see different approaches to implement such kind of tool:<br>
1. Naive and straightforward way: just as external tool to
ASTMatchers, same method that I used in example above. Such approach
would result in some "knowledge" duplication, i.e. for each
predicate it would be additional some code in predicate-generation
tool.<br>
2. More complex way, but with some "knowledge" reuse from
ASTMatchers. That approach would require re-describing predicates
with some higher/another abstraction, what would allow us to
generate both predicates and predicates-generation stuff from one
source of "knowledge". I am not sure if such approach could be done
in general, requires some research.<br>
<br>
<blockquote
cite="mid:CAOsfVvn4=BDfJ3GUn7+VVf2d8mefQODdzZjgss5BC7YOoqg+Ew@mail.gmail.com"
type="cite">
<div style="font-family: arial,helvetica,sans-serif;"><font
size="2">
<div class="gmail_quote">
<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>
</font></div>
</blockquote>
<br>
Are you talking about dynamic parseMatcher (as in ast-query
example)?<br>
Or maybe about some interactive (maybe gui) tool for building
predicates? I remember that Chandler mentioned about something
similar at <a class="moz-txt-link-freetext" href="http://www.youtube.com/watch?v=yuIOGfcOH0k&t=27m56s">http://www.youtube.com/watch?v=yuIOGfcOH0k&t=27m56s</a> <br>
<br>
Best Regards,<br>
Evgeny<br>
<br>
</body>
</html>