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@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@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users