[jboss-jira] [JBoss JIRA] (DROOLS-4903) In constraints fail to compile if negated or inside a forall pattern

[Matteo Casalino (Jira)]

Matteo Casalino created DROOLS-4903:
---------------------------------------

             Summary: In constraints fail to compile if negated or inside a forall pattern
                 Key: DROOLS-4903
                 URL: https://issues.redhat.com/browse/DROOLS-4903
             Project: Drools
          Issue Type: Bug
          Components: core engine
    Affects Versions: 7.31.0.Final
            Reporter: Matteo Casalino
            Assignee: Mario Fusco
         Attachments: in-constraint-negation.tgz

It appears that the KieBuilder fails to compile the following pattern:

{noformat}
    Pojo(!(x in (1,2,3)))
{noformat}

returning the following error:

{noformat}
    Error Messages:
    Message [id=1, kieBase=defaultKieBase, level=ERROR, path=rules.drl, line=4, column=0
       text=Unable to Analyse Expression !(x in (1,2,3)):
    [Error: unexpected token: ,2]
    [Near : {... !(x in (1,2,3)) ....}]
{noformat}

Furthermore, as of Drools 7.29.0.Final, the following form will also fail to compile:

{noformat}
    forall(Pojo(y==42, x in (1,2,3)))
{noformat}

with the following error:

{noformat}
    Error Messages:
    Message [id=1, kieBase=defaultKieBase, level=ERROR, path=rules.drl, line=4, column=0
       text=Unable to Analyse Expression !(y==42) || !(x in (1,2,3)):
    [Error: unexpected token: ,2]
    [Near : {... !(y==42) || !(x in (1,2,3)) ....}]
{noformat}

The latter is likely a consequence of the negation introduced by [DROOLS-4632|https://issues.redhat.com/browse/DROOLS-4632]




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