The capture checker
Attributes
- Companion
- class
- Graph
-
- Supertypes
- Self type
-
CheckCaptures.type
Members list
Type members
Classlikes
A class describing environments.
A class describing environments.
Value parameters
- captured
-
the caputure set containing all references to tracked free variables outside of boxes
- kind
-
the environment's kind
- outer0
-
the next enclosing environment
- owner
-
the current owner
Attributes
- Supertypes
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait SymTransformerclass PreRechecktrait DenotTransformerclass Phaseclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
- Self type
Similar normal substParams, but this is an approximating type map that maps parameters in contravariant capture sets to the empty set.
Similar normal substParams, but this is an approximating type map that maps parameters in contravariant capture sets to the empty set.
Attributes
- Supertypes
-
trait IdempotentCaptRefMapclass ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass AnyShow all
Value members
Concrete methods
Check that a @retains annotation only mentions references that can be tracked. This check is performed at Typer.
Check that a @retains annotation only mentions references that can be tracked. This check is performed at Typer.
Attributes
If tp
is a capturing type, check that all references it mentions have non-empty capture sets. Also: warn about redundant capture annotations. This check is performed after capture sets are computed in phase cc.
If tp
is a capturing type, check that all references it mentions have non-empty capture sets. Also: warn about redundant capture annotations. This check is performed after capture sets are computed in phase cc.
Attributes
Warn if ann
, which is the tree of a @retains annotation, defines some elements that are already accounted for by other elements of the same annotation. Note: We need to perform the check on the original annotation rather than its capture set since the conversion to a capture set already eliminates redundant elements.
Warn if ann
, which is the tree of a @retains annotation, defines some elements that are already accounted for by other elements of the same annotation. Note: We need to perform the check on the original annotation rather than its capture set since the conversion to a capture set already eliminates redundant elements.
Attributes
Concrete fields
Attachment key for bodies of closures, provided they are values
Attachment key for bodies of closures, provided they are values