Changeset b6de35e for tests/concurrency/examples

Timestamp:

Nov 7, 2025, 8:28:03 AM (8 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

0048327

Parents:

f5856ecd

Message:

change name is_empty to empty for monitor conditions

File:

• tests/concurrency/examples/datingService.cfa (modified) (3 diffs)

tests/concurrency/examples/datingService.cfa

@@ -10 +10 @@
 // Created On       : Mon Oct 30 12:56:20 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Sep 27 15:42:25 2020
-// Update Count     : 40
+// Last Modified On : Tue Nov  4 21:58:29 2025
+// Update Count     : 41
 //
 
@@ -28 +28 @@
 
 unsigned int girl( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-        if ( is_empty( Boys[ccode] ) ) {                                        // no compatible boy ?
+        if ( empty( Boys[ccode] ) ) {                                           // no compatible boy ?
                 wait( Girls[ccode] );                                                   // wait for boy
                 GirlPhoneNo = PhoneNo;                                                  // make phone number available
@@ -40 +40 @@
 
 unsigned int boy( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-        if ( is_empty( Girls[ccode] ) ) {                                       // no compatible girl ?
+        if ( empty( Girls[ccode] ) ) {                                          // no compatible girl ?
                 wait( Boys[ccode] );                                                    // wait for girl
                 BoyPhoneNo = PhoneNo;                                                   // make phone number available