![]() |
Section 6.7.16:
|
This is a 'built-in' iter - which is actually part of the Sather language. Its purpose is to change the flow of control to leave the nearest looping environment and continue to execute following code.
This statement type makes use of the built-in routine with the 'Break' identity. This is defined as in the following invariant -
The well-formedness for this iterator is identically true.
The attach statement associates a new thread for the first argument with a method call which is its second argument.
TO BE DONE
![]() |
Specification Index | ![]() |
Language Index | ![]() |
Section 6 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Monday, 22 May 2000. |
![]() |