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