MutConsumedSet

dotty.tools.dotc.cc.SepCheck.MutConsumedSet
class MutConsumedSet extends ConsumedSet

A mutable consumed set, which is initially empty

Attributes

Graph
Supertypes
class ConsumedSet
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def ++=(that: ConsumedSet)(using Context): Unit

Add all references with their associated positions from that which are not yet in the set.

Add all references with their associated positions from that which are not yet in the set.

Attributes

def clashing(ref: CaptureRef)(using Context): SrcPos | Null
def get(ref: CaptureRef): SrcPos | Null

If ref is in the set, its associated source position, otherwise null

If ref is in the set, its associated source position, otherwise null

Attributes

def put(ref: CaptureRef, loc: SrcPos)(using Context): Unit

If ref is not yet in the set, add it with given source position

If ref is not yet in the set, add it with given source position

Attributes

def segment(op: => Unit): ConsumedSet

Run op and return any new references it created in a separate ConsumedSet. The current mutable set is reset to its state before op was run.

Run op and return any new references it created in a separate ConsumedSet. The current mutable set is reset to its state before op was run.

Attributes

Inherited methods

def show(using Context): String

Attributes

Inherited from:
ConsumedSet

Attributes

Inherited from:
ConsumedSet

Concrete fields

var locs: Array[SrcPos]

The associated source positoons. The array should be treated as immutable in client code

The associated source positoons. The array should be treated as immutable in client code

Attributes

var peaks: Refs

The references in the set. The array should be treated as immutable in client code

The references in the set. The array should be treated as immutable in client code

Attributes

var size: Int

The number of references in the set

The number of references in the set

Attributes