Unrecorded

dotty.tools.dotc.cc.CCState.Unrecorded
object Unrecorded extends Unrecorded

Attributes

Graph
Supertypes
class Unrecorded
trait Stateless
class VarState
class Object
trait Matchable
class Any
Show all
Self type
Unrecorded.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

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
Unrecorded -> VarState -> Any
Inherited from:
Unrecorded
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