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
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
In this article