2011/3/15 Toni Rikkola <span dir="ltr"><<a href="mailto:toni.rikkola@gmail.com">toni.rikkola@gmail.com</a>></span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div style=""><br><div>The verifier can actually find some gaps from rule sets. For example uncovered checks for number values.</div><div>If you have </div><div>Person( age <18 )</div><div>it gives a warning that you might want to cover Person( age >= 18 ).</div>
<div><br></div></div></blockquote><div><br>I'd say that such a warning may not be very useful because<br> - in many cases you may not be interested in the "other" values at all,<br> - in some cases 18, 19,... is handled with Person( age < 50 ) with low salience (not recommended!),<br>
- in many (other) cases you use a (low salience) "catch all" rule to handle facts not selected by 1st order rules,<br><br>Moreover, I'm thinking of using additional rules with Verifier, with one of the primary targets being "magic numbers".<br>
<br>But Verifier is a fine achievement, and the confiugration is here to get you what you want!<br><br>-W<br><br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div style=""><div></div><font color="#888888"><div>Toni Rikkola</div></font><div><div></div><br></div></div></blockquote><div><br> </div></div><br>