[jboss-svn-commits] JBL Code SVN: r15290 - labs/jbossrules/trunk/documentation/manual/en/Chapter-Rule_Language.

[jboss-svn-commits at lists.jboss.org]

Author: mark.proctor at jboss.com
Date: 2007-09-22 12:27:43 -0400 (Sat, 22 Sep 2007)
New Revision: 15290

Modified:
   labs/jbossrules/trunk/documentation/manual/en/Chapter-Rule_Language/Section-Rule.xml
Log:
JBRULES-1082 Fixed memberOf
-added parenthsis to forall rule, with additional docs.

Modified: labs/jbossrules/trunk/documentation/manual/en/Chapter-Rule_Language/Section-Rule.xml
===================================================================
--- labs/jbossrules/trunk/documentation/manual/en/Chapter-Rule_Language/Section-Rule.xml	2007-09-22 14:27:35 UTC (rev 15289)
+++ labs/jbossrules/trunk/documentation/manual/en/Chapter-Rule_Language/Section-Rule.xml	2007-09-22 16:27:43 UTC (rev 15290)
@@ -1510,15 +1510,17 @@
 
       <para>Forall can be nested inside other CEs for complete expressiveness.
       For instance, <emphasis role="bold">forall</emphasis> can be used inside
-      a <emphasis role="bold">not</emphasis> CE:<example>
+      a <emphasis role="bold">not</emphasis> CE, note that only single
+      patterns have optional parenthesis, so with a nested forall parenthesis
+      must be used :<example>
           <title>Combining Forall with Not CE</title>
 
           <programlisting>rule "not all employees have health and dental care"
 when 
-    not forall( $emp : Employee()
+    not ( forall( $emp : Employee()
                 HealthCare( employee == $emp )
-                DentalCare( employee == $emp )
-              )
+                DentalCare( employee == $emp ) ) 
+        )
 then
     # not all employees have health and dental care
 end