[jboss-svn-commits] JBL Code SVN: r20912 - labs/jbossrules/trunk/drools-ant/src/test/resources/org/drools/verifier.

[jboss-svn-commits at lists.jboss.org]

Author: Rikkola
Date: 2008-07-04 16:40:42 -0400 (Fri, 04 Jul 2008)
New Revision: 20912

Added:
   labs/jbossrules/trunk/drools-ant/src/test/resources/org/drools/verifier/Misc3.drl
Log:
1. JBRULES-1647
2. Rules that find patterns that are always or never satisfied.
3. HTML report had some problems with layout, fixed them.

Added: labs/jbossrules/trunk/drools-ant/src/test/resources/org/drools/verifier/Misc3.drl
===================================================================
--- labs/jbossrules/trunk/drools-ant/src/test/resources/org/drools/verifier/Misc3.drl	                        (rev 0)
+++ labs/jbossrules/trunk/drools-ant/src/test/resources/org/drools/verifier/Misc3.drl	2008-07-04 20:40:42 UTC (rev 20912)
@@ -0,0 +1,37 @@
+package com.misc.missingRanges
+
+import com.sample.DroolsTest.Message;
+
+/*
+rule "Redundant restrictions"
+	when
+		RedundancyPattern( a == 1, a == 1 )
+	then
+		// Something
+end
+
+rule "Redundant rule 1, rules"
+	when
+		RedundancyPattern( a == 1 )
+		RedundancyPattern2( a == 1 )
+	then
+		System.out.println("TEST");
+end
+*/
+rule "Redundant rule 2, rules"
+	when
+		RedundancyPattern( a == 1 )
+		RedundancyPattern2( a >= 1 )
+		RedundancyPattern3( a == 1, a == 1 )
+	then
+		System.out.println("TEST");
+end
+
+rule "Equivalent rule"
+	when
+		BlaaBlaa( a == 1 )
+		RedundancyPattern( a == 1 )
+		RedundancyPattern2( a == 1 )
+	then
+		System.out.println("NOT A TEST");
+end