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

[Claudio Gargiulo (JIRA)]

Pattern analysis can never be satisfied, however the rule is logically correct
------------------------------------------------------------------------------

                 Key: JBRULES-2344
                 URL: https://jira.jboss.org/jira/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: Mark Proctor


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.

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