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

[Mario Fusco (Jira)]

     [ https://issues.redhat.com/browse/DROOLS-4903?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mario Fusco resolved DROOLS-4903.
---------------------------------
    Resolution: Done


Fixed by https://github.com/kiegroup/drools/commit/9ac0e309d716606c8b07085386d13fde0cd7f2ac

> 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
>            Priority: Major
>         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], [DROOLS-4633]



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