Changeset 858350a

Timestamp:

Mar 4, 2023, 2:58:57 PM (14 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

4933f18

Parents:

2856044a

Message:

added poison pill messages and made test for them

Files:

• libcfa/src/concurrency/actor.hfa (modified) (1 diff)
• tests/concurrent/actors/.expect/poison.txt (added)
• tests/concurrent/actors/poison.cfa (added)

libcfa/src/concurrency/actor.hfa

@@ -662 +662 @@
 
 // Default messages to send to any actor to change status
-// struct __DeleteMsg { inline message; } DeleteMsg;
-// void ?{}( __DeleteMsg & this ) { ((message &) this){ Finished }; }
-// struct __DestroyMsg { inline message; } DestroyMsg;
-// void ?{}( __DestroyMsg & this ) { ((message &) this){ Finished }; }
-// struct __FinishedMsg { inline message; } FinishedMsg;
-// void ?{}( __FinishedMsg & this ) { ((message &) this){ Finished }; }
-
-// Allocation receive( actor & this, __DeleteMsg & msg ) { return Delete; }
-// Allocation receive( actor & this, __DestroyMsg & msg ) { return Destroy; }
-// Allocation receive( actor & this, __FinishedMsg & msg ) { return Finished; }
+// assigned at creation to __base_msg_finished to avoid unused message warning
+message __base_msg_finished @= { .allocation_ : Finished };
+struct __DeleteMsg { inline message; } DeleteMsg = __base_msg_finished;
+struct __DestroyMsg { inline message; } DestroyMsg = __base_msg_finished;
+struct __FinishedMsg { inline message; } FinishedMsg = __base_msg_finished;
+void ?{}( __DeleteMsg & this, Allocation status ) { ((message &) this){ status }; }
+void ?{}( __DestroyMsg & this, Allocation status ) { ((message &) this){ status }; }
+void ?{}( __FinishedMsg & this, Allocation status ) { ((message &) this){ status }; }
+
+Allocation receive( actor & this, __DeleteMsg & msg ) { return Delete; }
+Allocation receive( actor & this, __DestroyMsg & msg ) { return Destroy; }
+Allocation receive( actor & this, __FinishedMsg & msg ) { return Finished; }