VarState

dotty.tools.dotc.cc.CaptureSet.VarState
class VarState

A VarState serves as a snapshot mechanism that can undo additions of elements or super sets if an operation fails

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FrozenState

Members list

Value members

Concrete 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

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

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

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

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

def putElems(v: Var, elems: 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

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