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
This commit is contained in:
halw
2011-05-24 23:10:06 +00:00
parent 6d56a366f3
commit 921a8c2b46

View File

@@ -150,7 +150,9 @@ Because the argument <code>my_separate_argument</code> 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 <code>{PHILOSOPHER}.eat</code> 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|<br/>
1) The <code>{PHILOSOPHER}.eat</code> 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.<br/>
2) [[SCOOP Implementation#The Wait Rule|How the ''Wait rule'' is implemented]] in EiffelStudio. }}
===Controlled expressions===