The capture checker
Attributes
- Companion
- class
- Graph
-
- Supertypes
- Self type
-
CheckCaptures.type
Members list
Type members
Classlikes
Attributes
- Supertypes
- Known subtypes
-
class CaptureChecker
A class describing environments.
A class describing environments.
Value parameters
- captured
-
the capture set containing all references to tracked free variables outside of boxes
- kind
-
the environment's kind
- nestedClosure
-
under deferredReaches: If this is an env of a method with an anonymous function or anonymous class as RHS, the symbol of that function or class. NoSymbol in all other cases.
- outer0
-
the next enclosing environment
- owner
-
the current owner
Attributes
- Supertypes
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
A prototype that indicates selection with an immutable value
A prototype that indicates selection with an immutable value
Attributes
- Supertypes
-
class WildcardSelectionProtoclass SelectionPrototrait Serializabletrait Producttrait Equalstrait ValueTypeOrPrototrait TermTypetrait ProtoTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
-
class 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.