<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
The word "predicate" here is used in its mathematical sense:
<a class="moz-txt-link-freetext" href="https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)">https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)</a><br>
<br>
All this really means is that each individual matcher is a function
that accept an AST node and return either true ("matches") or false
("doesn't match").<br>
<br>
<div class="moz-cite-prefix">On 7/2/20 11:03 PM, Yafei Liu via
cfe-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAMUQReszeQdbvkJ8crdbk_0WthuhYfNDqkxDuZRT3xaBhTRMug@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div>For example in this sentence:<br>
</div>
<div><span style="color:rgb(51,51,51);font-family:"DejaVu
Sans",Arial,Helvetica,sans-serif;font-size:14.4px;text-align:justify">AST
matchers are predicates on nodes in the AST.</span><br>
</div>
<div>Or this:</div>
<div><span style="color:rgb(51,51,51);font-family:"DejaVu
Sans",Arial,Helvetica,sans-serif;font-size:14.4px;text-align:justify">LibASTMatchers
provides a domain specific language to create predicates on
Clang’s AST.</span><br>
</div>
<div><span style="color:rgb(51,51,51);font-family:"DejaVu
Sans",Arial,Helvetica,sans-serif;font-size:14.4px;text-align:justify"><br>
</span></div>
<div>Can someone help to explain what predicates are?</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>