Changeset 8edbe40 for libcfa/src/concurrency/thread.hfa

Timestamp:

Apr 23, 2021, 4:26:52 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

50f6afb

Parents:

aaf92de

Message:

SomeThreadCancelled? -> ThreadCancelled?: thread cancellations carry type information again.

File:

• libcfa/src/concurrency/thread.hfa (modified) (3 diffs)

libcfa/src/concurrency/thread.hfa

@@ -31 +31 @@
         $thread* get_thread(T& this);
 };
-
-EHM_EXCEPTION(SomeThreadCancelled) (
-        void * the_thread;
-        exception_t * the_exception;
-);
-
-EHM_EXTERN_VTABLE(SomeThreadCancelled, std_thread_cancelled);
 
 EHM_FORALL_EXCEPTION(ThreadCancelled, (thread_t &), (thread_t)) (
@@ -86 +79 @@
 };
 
-forall( T & | is_thread(T) | IS_EXCEPTION(SomeThreadCancelled) )
-void ?{}( thread_dtor_guard_t & this, T & thrd, void(*)(SomeThreadCancelled &) );
+forall( T & | is_thread(T) | IS_EXCEPTION(ThreadCancelled, (T))
+    | { _EHM_VTABLE_TYPE(ThreadCancelled)(T) & const _default_vtable; } )
+void ?{}( thread_dtor_guard_t & this, T & thrd, void(*)(ThreadCancelled(T) &) );
 void ^?{}( thread_dtor_guard_t & this );
 
@@ -132 +126 @@
 //----------
 // join
-forall( T & | is_thread(T) | IS_RESUMPTION_EXCEPTION(SomeThreadCancelled) )
+forall( T & | is_thread(T) | IS_RESUMPTION_EXCEPTION(ThreadCancelled, (T))
+    | { _EHM_VTABLE_TYPE(ThreadCancelled)(T) & const _default_vtable; } )
 T & join( T & this );