scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/dotty.tools.dotc.transform.init/Objects/State

State

dotty.tools.dotc.transform.init.Objects.State
object State

Checking state

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Objects.this.Objects.this.State.type

Members list

Type members

Classlikes

class Data

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def checkObjectAccess(clazz: ClassSymbol)(using data: Data, ctx: Context, pendingTrace: Trace, heap: MutableData, envMap: EnvMapMutableData): Objects.this.ObjectRef
def currentObject(using data: Data): ClassSymbol
def isQuotaExhausted(obj: Objects.this.ObjectRef)(using data: Data): Boolean
def recordCall()(using data: Data): Unit
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL