ClosedUnrecorded

dotty.tools.dotc.cc.CCState.ClosedUnrecorded

Attributes

Graph
Supertypes
trait Stateless
class Closed
class VarState
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Inherited 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
Inherited from:
Stateless
override def canRecord: Boolean

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

Definition Classes
Inherited from:
Closed
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
override def isOpen: Boolean

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

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

Attributes

Definition Classes
Inherited from:
Closed

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
Inherited from:
ClosedUnrecorded
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 from:
Stateless