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
class Annotation
class Object
trait Matchable
class Any
In this article