[rules-users] Drools verifier

[Toni Rikkola]

Hi Frank and Wolfgang,

Looks right. Are you using the latest codes or 5.2.0.M1? The latest codes in git are not working properly.
If you get the same result with any of the the Drools release jars please open a Jira and I will take a look.

> "Gaps" is not something a verifier would detect. It does not try to
> "understand" your rules. What do you expect?

The verifier can actually find some gaps from rule sets. For example uncovered checks for number values.
If you have 
Person( age <18 )
it gives a warning that you might want to cover Person( age >= 18 ).

Toni Rikkola

On Mar 15, 2011, at 11:58 AM, Wolfgang Laun wrote:

> Try a rule with an empty consequence. (rule x when Object() then end).
> 
> The .DRL file must compile for the Verifier to do its task.
> Duplicate rules (rule names) do not compile.
> 
> "Gaps" is not something a verifier would detect. It does not try to
> "understand" your rules. What do you expect?
> 
> -W
> 
> 
> On 15 March 2011 09:21, FrankVhh <frank.vanhoenshoven at agserv.eu> wrote:
> Hi all,
> 
> Triggered by a post on this forum, I decided to try a testcase
> implementation of Drool Verifiier.
> 
> I manage to write some code that does not produce any errors at runtime,
> which is good. Unfortunately, it doesn't produce any errors/warnings/notes
> on my rulefile either, which isn't good.
> 
> The drl file consists of some duplicate rules, and since the file is only
> part of a ruleset, there might be some gaps as well.
> 
> I pasted the java-code below. Does anyone see where I am going wrong?
> 
> Thanks in advance!
> 
> Regards,
> Frank
> 
>                VerifierBuilder vBuilder =
> VerifierBuilderFactory.newVerifierBuilder();
> 
>                Verifier verifier = vBuilder.newVerifier();
> 
>                String ruleText  =
> "C:\\Users\\Frank\\Documents\\DroolsWorkSpaces\\EmpiricalExperiments\\Financial
> Rules\\src\\main\\rules\\clearancerules.drl";
>                verifier.addResourcesToVerify( ResourceFactory.newReaderResource(
> new StringReader( ruleText ) ), ResourceType.DRL );
> 
>                verifier.fireAnalysis();
> 
>                VerifierReport result = verifier.getResult();
> 
>                for(VerifierMessageBase base: result.getBySeverity(
> Severity.ERROR ) ){
>                    System.out.println( base );
>                }
>                for(VerifierMessageBase base: result.getBySeverity(
> Severity.WARNING ) ){
>                    System.out.println( base );
>                }
>                for(VerifierMessageBase base: result.getBySeverity( Severity.NOTE )
> ){
>                    System.out.println( base );
>                }
> 
> --
> View this message in context: http://drools-java-rules-engine.46999.n3.nabble.com/Drools-verifier-tp2681002p2681002.html
> Sent from the Drools - User mailing list archive at Nabble.com.
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
> 
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-users/attachments/20110315/1f05c40b/attachment.html