consume
scala.caps.consume
final class consume extends StaticAnnotation
An annotations on parameters and update methods. On a parameter it states that any capabilties passed in the argument are no longer available afterwards, unless they are of class SharableCapabilitty
. On an update method, it states that the this
of the enclosing class is consumed, which means that any capabilities of the method prefix are no longer available afterwards.
Attributes
- Source
- caps.scala
- Graph
-
- Supertypes
In this article