SetupAPI
Operations accessed from CheckCaptures
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class Setup
Members list
Value members
Abstract methods
Used for error reporting: Maps anonymous functions appearing as function arguments to the function that is called.
Used for error reporting: Maps anonymous functions appearing as function arguments to the function that is called.
Attributes
Used for error reporting: Maps mutable variables to the symbols that capture them (in the CheckCaptures sense, i.e. symbol is referred to from a different method than the one it is defined in).
Used for error reporting: Maps mutable variables to the symbols that capture them (in the CheckCaptures sense, i.e. symbol is referred to from a different method than the one it is defined in).
Attributes
A map from currently compiled class symbols to those of their fields that have an explicit type given. Used in captureSetImpliedByFields to avoid forcing fields with inferred types prematurely. The test file where this matters is i24335.scala. The precise failure scenario which this avoids is described in #24335.
A map from currently compiled class symbols to those of their fields that have an explicit type given. Used in captureSetImpliedByFields to avoid forcing fields with inferred types prematurely. The test file where this matters is i24335.scala. The precise failure scenario which this avoids is described in #24335.
Attributes
Symbol is a term member of a class that was not capture checked The info of these symbols is made fluid.
Symbol is a term member of a class that was not capture checked The info of these symbols is made fluid.
Attributes
Check to do after the capture checking traversal
Check to do after the capture checking traversal
Attributes
Setup procedure to run for each compilation unit
Setup procedure to run for each compilation unit
Value parameters
- checker
-
the capture checker which will run subsequently.
- tree
-
the typed tree of the unit to check