added CLOSED

oberon-lang · Dec 27, 2023 · add754c · add754c
1 parent 4ed3e8a
commit add754c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/_posts/2023-12-25-towards-concurrency.md b/_posts/2023-12-25-towards-concurrency.md
@@ -425,9 +425,11 @@ The call to SEND or RECEIVE returns TRUE on success or FALSE if the channel was
 
 ```
 PROCEDURE CLOSE(VAR c: CHANNEL OF T);
+
+PROCEDURE CLOSED(VAR c: CHANNEL OF T):BOOLEAN;
 ```
 
-The CLOSE procedure sets the channel status to closed. Once called, a channel cannot be reopened again. Calling CLOSE on an already closed channel has no effect.
+The CLOSE procedure sets the channel status to closed. Once called, a channel cannot be reopened again. Calling CLOSE on an already closed channel has no effect. The CLOSED procedure returns TRUE if c was closed, FALSE otherwise.
 
 ```
 PROCEDURE SELECT(n: INTEGER