dotty.tools.dotc.cc.CaptureSet$.FrozenState$
A special state that does not allow to record elements or dependent sets.
In effect this means that no new elements or dependent sets can be added
in this state (since the previous state cannot be recorded in a snapshot)
Attributes Graph Reset zoom Hide graph Show graph
Supertypes Self type Members list Concise view
Value members
Record dependent sets, return whether this was allowed.
By default, recording is allowed but the special state FrozenState
overrides this.
Record dependent sets, return whether this was allowed.
By default, recording is allowed but the special state FrozenState
overrides this.
Attributes Definition Classes
Record elements, return whether this was allowed.
By default, recording is allowed but the special state FrozenState
overrides this.
Record elements, return whether this was allowed.
By default, recording is allowed but the special state FrozenState
overrides this.
Attributes Definition Classes
Roll back global state to what was recorded in this VarState
Roll back global state to what was recorded in this VarState
Attributes Definition Classes
The recorded dependent sets of v (it's required that a recording was made)
The recorded dependent sets of v (it's required that a recording was made)
Attributes Inherited from: VarState
The recorded elements of v (it's required that a recording was made)
The recorded elements of v (it's required that a recording was made)
Attributes Inherited from: VarState
Optionally the recorded dependent sets of v, None if nothing was recorded for v
Optionally the recorded dependent sets of v, None if nothing was recorded for v
Attributes Inherited from: VarState
Optionally the recorded elements of v, None if nothing was recorded for v
Optionally the recorded elements of v, None if nothing was recorded for v
Attributes Inherited from: VarState 
