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 enclosing.
Resolve the environment owned by the given method enclosing.
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
- enclosing
-
The method which owns the environment. This method is called to look up the environment owned by the enclosing method of some symbol.
- env
-
The local environment where the local variable is referenced.
- 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.
Resolve the environment by searching for a given symbol.
Resolve the environment by searching for a given symbol.
Searches for the environment that owns target, starting from env as the innermost.
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.
- target
-
The symbol to search for.
- thisV
-
The value for
thisof the enclosing class where the local variable is referenced.
Attributes
- Returns
-
the environment that owns the
targetand value forthisowned by the given method.