Go backward to close: Closing a Bag Go up to Miscellaneous

stop: Stopping a Bag

Specification: Stops the bag b i.e. ensures that the bag is not accessed any more.

Constraints: It is illegal to apply close if b is unbound or if b is bound to an already stopped bag. It is illegal to apply any operation to a closed b.

Implementation: All threads in the bag that have not yet completed execution are stopped.