Changeset be5f0a5 for libcfa/src/bits/containers.hfa

Timestamp:

Oct 28, 2022, 5:22:32 PM (21 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

15c93d8

Parents:

13edbac

Message:

Changed monitors to use the user_link instead of the ready_link

File:

• libcfa/src/bits/containers.hfa (modified) (1 diff)

libcfa/src/bits/containers.hfa

@@ -152 +152 @@
 
                 void append( __queue(T) & this, T * val ) with(this) {
+                        verify(get_next( *val ) == 0p);
                         verify(this.tail != 0p);
                         verify(*this.tail == 1p);