![]() |
Section 6.7.23:
|
Attachment is the way in which a Sather program can associate a new thread with a lock and some computation. The result is that a thread can initiate some actions and, when completion is required can wait for the created thread to complete. See the prevasive abstract class $ATTACH for the requirements of the associated lock.
This statement type makes use of the built-in routine with the 'Attach' identity. This is defined as in the following invariant -
The first argument has to be of a sub-type of the pervasive abstract class $ATTACH. The second must be a method call.
TO BE DONE
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: Wednesday, 31 May 2000. |
![]() |