[jboss-jira] [JBoss JIRA] Resolved: (JBRULES-2344) Pattern analysis can never be satisfied, however the rule is logically correct

[Toni Rikkola (JIRA)]

     [ https://jira.jboss.org/browse/JBRULES-2344?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Toni Rikkola resolved JBRULES-2344.
-----------------------------------

        Labels: validator rule_analysis pattern reckognition  (was: validator rule_analysis pattern reckognition )
    Resolution: Done


> Pattern analysis can never be satisfied, however the rule is logically correct
> ------------------------------------------------------------------------------
>
>                 Key: JBRULES-2344
>                 URL: https://jira.jboss.org/browse/JBRULES-2344
>             Project: Drools
>          Issue Type: Bug
>      Security Level: Public(Everyone can see) 
>          Components: drools-verifier
>    Affects Versions: 5.0.1.FINAL
>         Environment: MacBook Pro 17" Core 2 Duo
> Ubuntu 9.10 64bit (native, not virtualized) - Apache Tomcat 6.0.18 - Java 6
>            Reporter: Claudio Gargiulo
>            Assignee: Toni Rikkola
>             Fix For: 5.1.0.CR1
>
>
> When I launch the analysis of a rule I get the following message:
> Pattern, name: TrafficoEntrata in Rule 'backToNormal' can never be satisfied.
> Pattern, name: StatoRete in Rule 'backToNormal' can never be satisfied.
> The Rule "backToNormal" is the following:
> rule "backToNormal"
> 	dialect "mvel"
> 	when
> 		exists Attacco( )
> 		attack : Attacco( )
> 		StatoRete( numero_utenti > "25" && < "80" )
> 		TrafficoEntrata( banda_occupata > "20"  && < "80" )
> 	then
> 		retract( attack );
> end
> The integer values are taken from an enumeration. Altering the conditions in this way:
> 		numero_utenti >"25", numero_utenti < "80"
> makes no difference at analysis time.
> -- EDIT --
> how to get this error (in the simplest case)
> 1. create a new package
> 2. create a new model
>   2.1 in the model, create a new fact (call it Fact1)
>   2.2 in Fact1, add just one integer field (call it value)
> 3. save changes and create a new rule
> WHEN Fact1( element : value > "10"  && < "20" ) THEN [...]
> 4. save changes and try to analyse the package containing this rule
> Note: these steps are all made in guvnor

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira