Ignore:
Timestamp:
Feb 25, 2023, 8:12:47 AM (21 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, ast-experimental, master
Children:
b1ad41f
Parents:
f2a1cd2
Message:

update from old to new trait syntax using forall

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/concurrency/mutex_stmt.hfa

    rf2a1cd2 rdd3576b  
    44//-----------------------------------------------------------------------------
    55// is_lock
    6 trait is_lock(L & | sized(L)) {
     6forall(L & | sized(L))
     7trait is_lock {
    78        // For acquiring a lock
    89        void lock( L & );
Note: See TracChangeset for help on using the changeset viewer.