ActiveProfile

dotty.tools.dotc.reporting.ActiveProfile
class ActiveProfile(details: Int) extends Profile

Attributes

Graph
Supertypes
class Profile
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def printSummary()(using Context): Unit
def recordMethodSize(meth: Symbol, size: Int, span: Span)(using Context): Unit
def recordNewLine()(using Context): Unit
def recordNewToken()(using Context): Unit
def recordTasty(size: Int)(using Context): Unit