Stateless

dotty.tools.dotc.cc.CaptureSet.VarState.Stateless
trait Stateless extends VarState

A mixin trait that overrides the addHidden and unify operations to not depend in state.

Attributes

Graph
Supertypes
class VarState
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

override def addHidden(hidden: HiddenSet, elem: Capability)(using Context): Boolean

Allow adding hidden elements, but don't store them

Allow adding hidden elements, but don't store them

Attributes

Definition Classes
override def unify(c1: ResultCap, c2: ResultCap)(using Context): Boolean

Don't allow to unify result caps

Don't allow to unify result caps

Attributes

Definition Classes

Inherited methods

Record elements, return whether this was allowed. By default, recording is allowed in regular but not in frozen states.

Record elements, return whether this was allowed. By default, recording is allowed in regular but not in frozen states.

Attributes

Inherited from:
VarState
def ifNotSeen(ref: Capability)(pred: => Boolean): Boolean

Run test pred unless ref was seen in an enclosing ifNotSeen operation

Run test pred unless ref was seen in an enclosing ifNotSeen operation

Attributes

Inherited from:
VarState

Does this state allow additions of elements to capture set variables?

Does this state allow additions of elements to capture set variables?

Attributes

Inherited from:
VarState

Attributes

Inherited from:
VarState
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
VarState -> Any
Inherited from:
VarState