<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Yes it can often be ignored and we need some configuration to silence the unwanted warnings. The current way is best for use cases like the decision table verification in Guvnor.<div><br></div><div>Age is a good example. Person's age can't be less than 0 or more than 120. The top number is difficult. 120 is pretty safe, but usually you should be suspicious from ~90.</div><div>So in the configurations you could set:</div><div>Person.age 0-90 => check that they are covered</div><div>Person.age 90-120 => check them, but make a notification</div><div><br></div><div>You can of course do this today with custom verification rules. Just use a clean verifier base and add your own verifier rules.<br><div><br></div><div>Toni</div><div><br><div><div>On Mar 15, 2011, at 12:39 PM, Wolfgang Laun wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">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>
_______________________________________________<br>rules-users mailing list<br><a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>https://lists.jboss.org/mailman/listinfo/rules-users<br></blockquote></div><br></div></div></body></html>