[jboss-jira] [JBoss JIRA] Created: (JBRULES-1647) Incorrect reporting by verifier of unmatchable pattern with connective OR

[Michael Neale (JIRA)]

Incorrect reporting by verifier of unmatchable pattern with connective OR
-------------------------------------------------------------------------

                 Key: JBRULES-1647
                 URL: http://jira.jboss.com/jira/browse/JBRULES-1647
             Project: JBoss Drools
          Issue Type: Bug
      Security Level: Public (Everyone can see)
          Components: Verifier
    Affects Versions: 5.0.0-M1
            Reporter: Michael Neale
         Assigned To: Toni Rikkola
             Fix For: 5.0.0-M1


rule "Gold Discount High Priority"
   dialect "mvel"
   when
       customer : Customer( status > "30"  && < "50" )
       order : OrderHeader( customer == customer , orderPriority == "3"  || == "4" )
   then
       order.setOrderDiscount(  6.0 );
end

Generates this error:

Restriction LiteralRestriction from rule [Gold Discount High Priority] value '== 4' and LiteralRestriction from rule [Gold Discount High Priority] value '== 3'are in conflict. Because of this, pattern that contains them can never be satisfied. 

when a connective (like || ==) is used, this should not be treated as a conjunction of extra literal restrictions. 

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira