[Checkins] SVN: Sandbox/adamg/ocql/trunk/src/ocql/tests/functions.txt quantor works now

Adam Groszer agroszer at gmail.com
Wed Aug 27 04:43:46 EDT 2008


Log message for revision 90411:
  quantor works now

Changed:
  U   Sandbox/adamg/ocql/trunk/src/ocql/tests/functions.txt

-=-
Modified: Sandbox/adamg/ocql/trunk/src/ocql/tests/functions.txt
===================================================================
--- Sandbox/adamg/ocql/trunk/src/ocql/tests/functions.txt	2008-08-27 08:25:16 UTC (rev 90410)
+++ Sandbox/adamg/ocql/trunk/src/ocql/tests/functions.txt	2008-08-27 08:43:46 UTC (rev 90411)
@@ -91,15 +91,19 @@
     >>> engine.compile("list [ d in IDepartment; d.name == \"Computing Science\" | d  ]").execute()
     [Department <Computing Science>]
 
-# FIXME: not working!
-# Join using existentially quantified expressions:
-#     >>> engine.compile("""list [ d in IDepartment; c in ICourse; d.name == "Computing Science"; d == some c.runBy | c  ]""").execute()
-#     set([Course <C1>, Course <C3>])
+Join using existentially quantified expressions:
+    >>> engine.compile("""list [ d in IDepartment; c in ICourse; d.name == "Computing Science"; d == some c.runBy | c  ]""").execute()
+    [Course <C1>, Course <C3>]
 
+Join using universally quantified expressions:
+    >>> engine.compile("""set [ d in IDepartment; every set [ c in ICourse; some c.runBy == d | c.credits ] == 2 | d.name ]""").execute()
+    set(['Other department'])
+
+
 # FIXME: not working!
-# Join using universally quantified expressions:
-#      >>> engine.compile("""list [ d in IDepartment; c in ICourse; d.name == "Computing Science"; d == every c.runBy | c  ]""").execute()
-#      set([Course <C3>])
+#Join using universally quantified expressions:
+#    >>> engine.compile("""list [ d in IDepartment; c in ICourse; d.name == "Computing Science"; d == every c.runBy | c  ]""").execute()
+#    [Course <C3>]
 
 # FIXME: not working!
 # Expression in the result:



More information about the Checkins mailing list