FrozenState

dotty.tools.dotc.cc.CaptureSet.FrozenState
object FrozenState extends VarState

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
Supertypes
class VarState
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def putDeps(v: Var, deps: Deps): Boolean

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
override def putElems(v: Var, refs: Refs): Boolean

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
override def rollBack(): Unit

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

Inherited methods

def deps(v: Var): Deps

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
def elems(v: Var): Refs

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
def getDeps(v: Var): Option[Deps]

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
def getElems(v: Var): Option[Refs]

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