ExclusiveCapability
scala.caps.ExclusiveCapability
trait ExclusiveCapability extends Capability, Classifier
Marker trait for capabilities that should only be used by one concurrent process at a given time. For example, write-access to a shared mutable buffer.
ExclusiveCapability has a formal meaning when Capture Checking is turned on. During separation checking, exclusive usage of marked capabilities will be enforced.
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Known subtypes
In this article