Regions

dotty.tools.dotc.transform.init.Objects.Regions
opaque object Regions

Region context for mutable states

By default, the region context is empty.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Regions.type

Members list

Type members

Types

opaque type Data

Value members

Concrete methods

def exists(pos: SourcePosition)(using data: Data): Boolean
def extend(pos: SourcePosition)(using data: Data): Data
def show(using data: Data, ctx: Context): String

Concrete fields

val empty: Data