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 Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product