[jboss-jira] [JBoss JIRA] (DROOLS-4925) forall pattern with date constraint fail to match

[Matteo Casalino (Jira)]

Matteo Casalino created DROOLS-4925:
---------------------------------------

             Summary: forall pattern with date constraint fail to match
                 Key: DROOLS-4925
                 URL: https://issues.redhat.com/browse/DROOLS-4925
             Project: Drools
          Issue Type: Bug
          Components: core engine
    Affects Versions: 7.31.0.Final, 7.30.0.Final, 7.29.0.Final
            Reporter: Matteo Casalino
            Assignee: Mario Fusco
         Attachments: forall-date-constraint.tgz, network.png

As of Drools 7.29.0.Final, {{forall}} patterns containing equality constraints on dates won't match as expected.

For instance, given the following drl

{noformat}
    declare Fact
      d : java.util.Date
    end
    
    rule "forall with date"
    when
      forall(Fact(d == "01-Jan-2020"))
    then
    end
{noformat}

and the following working memory:

{noformat}
    Fact( d=Wed Jan 01 00:00:00 CET 2020 )
    Fact( d=Wed Jan 01 00:00:00 CET 2020 )
    Fact( d=Wed Jan 01 00:00:00 CET 2020 )
{noformat}

Drools <= 7.28.0.Final will fire 1 rule, whereas Drools >= 7.29.0.Final will fire 0 rules.

This is probably due to the fact that the rewriting implemented in [DROOLS-4632] fails to negate the constraint on the date, as visible in the attached picture of the network.

I am wondering whether there would be an equivalent problem with any constraint on dates (e.g.,  >=, <=, ...)?




--
This message was sent by Atlassian Jira
(v7.13.8#713008)