Changeset b6de35e for tests

Timestamp:

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

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

0048327

Parents:

f5856ecd

Message:

change name is_empty to empty for monitor conditions

Location:

tests/concurrency

Files:

• examples/datingService.cfa (modified) (3 diffs)
• signal/block.cfa (modified) (1 diff)

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

tests/concurrency/signal/block.cfa

@@ -80 +80 @@
         [a.last_thread, b.last_thread, a.last_signaller, b.last_signaller] = active_thread();
 
-        if( !is_empty( cond ) ) {
+        if( ! empty( cond ) ) {
 
                 thread$ * next = ( thread$ * ) front( cond );