Try a rule with an empty consequence. (rule x when Object() then end).<br><br>The .DRL file must compile for the Verifier to do its task.<br>Duplicate rules (rule names) do not compile.<br><br>&quot;Gaps&quot; is not something a verifier would detect. It does not try to<br>
&quot;understand&quot; your rules. What do you expect?<br><br>-W<br><br><br><div class="gmail_quote">On 15 March 2011 09:21, FrankVhh <span dir="ltr">&lt;<a href="mailto:frank.vanhoenshoven@agserv.eu">frank.vanhoenshoven@agserv.eu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi all,<br>
<br>
Triggered by a post on this forum, I decided to try a testcase<br>
implementation of Drool Verifiier.<br>
<br>
I manage to write some code that does not produce any errors at runtime,<br>
which is good. Unfortunately, it doesn&#39;t produce any errors/warnings/notes<br>
on my rulefile either, which isn&#39;t good.<br>
<br>
The drl file consists of some duplicate rules, and since the file is only<br>
part of a ruleset, there might be some gaps as well.<br>
<br>
I pasted the java-code below. Does anyone see where I am going wrong?<br>
<br>
Thanks in advance!<br>
<br>
Regards,<br>
Frank<br>
<br>
                VerifierBuilder vBuilder =<br>
VerifierBuilderFactory.newVerifierBuilder();<br>
<br>
                Verifier verifier = vBuilder.newVerifier();<br>
<br>
                String ruleText  =<br>
&quot;C:\\Users\\Frank\\Documents\\DroolsWorkSpaces\\EmpiricalExperiments\\Financial<br>
Rules\\src\\main\\rules\\clearancerules.drl&quot;;<br>
                verifier.addResourcesToVerify( ResourceFactory.newReaderResource(<br>
new StringReader( ruleText ) ), ResourceType.DRL );<br>
<br>
                verifier.fireAnalysis();<br>
<br>
                VerifierReport result = verifier.getResult();<br>
<br>
                for(VerifierMessageBase base: result.getBySeverity(<br>
Severity.ERROR ) ){<br>
                    System.out.println( base );<br>
                }<br>
                for(VerifierMessageBase base: result.getBySeverity(<br>
Severity.WARNING ) ){<br>
                    System.out.println( base );<br>
                }<br>
                for(VerifierMessageBase base: result.getBySeverity( Severity.NOTE )<br>
){<br>
                    System.out.println( base );<br>
                }<br>
<font color="#888888"><br>
--<br>
View this message in context: <a href="http://drools-java-rules-engine.46999.n3.nabble.com/Drools-verifier-tp2681002p2681002.html" target="_blank">http://drools-java-rules-engine.46999.n3.nabble.com/Drools-verifier-tp2681002p2681002.html</a><br>

Sent from the Drools - User mailing list archive at Nabble.com.<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</font></blockquote></div><br>