ExclusiveCapability

scala.caps.ExclusiveCapability

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
trait Classifier
trait Capability
class Object
trait Matchable
class Any
Known subtypes
trait Mutable
trait Read
In this article