Env

dotty.tools.dotc.cc.CheckCaptures.Env

case class Env(owner: Symbol, nestedInOwner: Boolean, captured: CaptureSet, isBoxed: Boolean, outer0: Env | Null)

A class describing environments.

Value parameters

captured: the caputure set containing all references to tracked free variables outside of boxes
isBoxed: true if the environment is inside a box (in which case references are not counted)
nestedInOwner: true if the environment is a temporary one nested in the owner's environment, and does not have a different actual owner symbol (this happens when doing box adaptation).
outer0: the next enclosing environment
owner: the current owner

Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

If an environment is open it tracks free references

In this article

Generated with