SharedCapability
scala.caps.SharedCapability
trait SharedCapability extends Capability, Classifier
Marker trait for capabilities that can be safely shared in a concurrent context.
SharedCapability has a formal meaning when Capture Checking is turned on. During separation checking, shared capabilities are not taken into account.
Attributes
- Source
- package.scala
- Graph
-
- Supertypes
- Known subtypes
In this article