Allowing notifyAll for now

Author: Robbert van Renesse

harmony_model_checker/modules/synch.hny

@@ -60,6 +60,10 @@ def notify(c):
 def notify_all(c):
     atomically !c = bags.empty()
 
+# Deprecated
+def notifyAll(c):
+    atomically !c = bags.empty()
+
 def Semaphore(cnt) returns result:
     result = cnt
 

harmony_model_checker/modules/synchBusy.hny

@@ -26,6 +26,10 @@ def notify(c):
 def notify_all(c):
     pass
 
+# Deprecated
+def notifyAll(c):
+    pass
+
 def Semaphore(cnt):
     result = cnt
 

harmony_model_checker/modules/synchImprecise.hny

@@ -33,6 +33,10 @@ def notify(c):
 def notify_all(c):
     c->waiters = {}
 
+# Deprecated
+def notifyAll(c):
+    c->waiters = {}
+
 def Semaphore(cnt):
     result = cnt
 

harmony_model_checker/modules/synchS.hny

@@ -54,12 +54,16 @@ def notify(c):
     atomically if !c != []:
         go ((!c)[0]) ()
         del (!c)[0]
-        
+ 
 def notify_all(c):
     atomically:
         for ctx in !c:
             go ctx ()
         !c = []
+
+# Deprecated
+def notifyAll(c):
+    notify_all(c)
 
 def Semaphore(cnt):
     result = { .count: cnt, .waiters: [] }