From 921a8c2b4641483b5ffaa9b5fa9b8bda383133b9 Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 24 May 2011 23:10:06 +0000 Subject: [PATCH] Added link to Wait rule implementation notes. Author:halw Date:2011-05-24T23:10:06.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@912 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../concurrent-computing/concurrent-eiffel-scoop/index.wiki | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki index 024d1834..570ae960 100644 --- a/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki +++ b/documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/index.wiki @@ -150,7 +150,9 @@ Because the argument my_separate_argument is of a separate type, th {{Rule|name=Wait|text=A routine call with separate arguments will execute when all corresponding processors are available and hold them exclusively for the duration of the routine.}} -{{SeeAlso|The {PHILOSOPHER}.eat feature of the [[Dining philosophers|dining philosophers]] example. This feature has two separate arguments, and will wait to execute until the processors associated with both are available.}} +{{SeeAlso|
+1) The {PHILOSOPHER}.eat feature of the [[Dining philosophers|dining philosophers]] example. This feature has two separate arguments, and will wait to execute until the processors associated with both are available.
+2) [[SCOOP Implementation#The Wait Rule|How the ''Wait rule'' is implemented]] in EiffelStudio. }} ===Controlled expressions===