|   | 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. |   |