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

[Claudio Gargiulo (JIRA)]

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

Claudio Gargiulo updated JBRULES-2344:
--------------------------------------

    Description: 
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

  was:
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.



> 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: Toni Rikkola
>
> 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/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira