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

[Toni Rikkola (JIRA)]

     [ http://jira.jboss.com/jira/browse/JBRULES-1647?page=all ]

Toni Rikkola closed JBRULES-1647.
---------------------------------

    Fix Version/s:  5.0.0.M2
                       (was: 5.0.0.M1)
       Resolution: Done

> 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.M2
>
>
> 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