ProfileRange

dotty.tools.dotc.profile.ProfileRange
case class ProfileRange(start: ProfileSnap, end: ProfileSnap, phase: Phase, purpose: String, taskCount: Int, thread: Thread)

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product