Env
Environment for parameters
Attributes
- Graph
-
- Supertypes
- Self type
-
Env.type
Members list
Value members
Concrete methods
An empty environment can be used for non-method environments, e.g., field initializers.
An empty environment can be used for non-method environments, e.g., field initializers.
The owner for the local environment for field initializers is the primary constructor of the enclosing class.
Attributes
Resolve the environment owned by the given method.
Resolve the environment owned by the given method.
The method could be located in outer scope with intermixed classes between its definition site and usage site.
Due to widening, the corresponding environment might not exist. As a result reading the local variable will return Cold and it's forbidden to write to the local variable.
Value parameters
- env
-
The local environment where the local variable is referenced.
- meth
-
The method which owns the environment
- thisV
-
The value for
thisof the enclosing class where the local variable is referenced.
Attributes
- Returns
-
the environment and value for
thisowned by the given method.