SharedCapability
scala.caps.SharedCapability
trait SharedCapability extends Capability, Classifier
Marker trait for capabilities that can be safely shared in a concurrent context. During separation checking, shared capabilities are not taken into account.
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Known subtypes
In this article