package
profiledb
Type Members
-
-
sealed
trait
ContentType extends GeneratedEnum
-
final
case class
Counter(id: String = "", ticks: Long = 0L) extends GeneratedMessage with Message[Counter] with Updatable[Counter] with Product with Serializable
-
final
case class
Database(type: ContentType = ..., entries: Seq[DatabaseEntry] = _root_.scala.collection.Seq.empty) extends GeneratedMessage with Message[Database] with Updatable[Database] with Product with Serializable
-
-
-
final
case class
MacroProfile(position: Option[Position] = None, expandedMacros: Long = 0L, approximateSize: Long = 0L, duration: Option[Duration] = None) extends GeneratedMessage with Message[MacroProfile] with Updatable[MacroProfile] with Product with Serializable
-
final
case class
PhaseProfile(name: String = "", timers: Seq[Timer] = _root_.scala.collection.Seq.empty, counters: Seq[Counter] = _root_.scala.collection.Seq.empty) extends GeneratedMessage with Message[PhaseProfile] with Updatable[PhaseProfile] with Product with Serializable
-
final
case class
Position(point: Int = 0, line: Int = 0, column: Int = 0) extends GeneratedMessage with Message[Position] with Updatable[Position] with Product with Serializable
-
final
case class
RunProfile(phaseProfiles: Seq[PhaseProfile] = _root_.scala.collection.Seq.empty) extends GeneratedMessage with Message[RunProfile] with Updatable[RunProfile] with Product with Serializable
-
final
case class
Timer(id: String = "", duration: Option[Duration] = None) extends GeneratedMessage with Message[Timer] with Updatable[Timer] with Product with Serializable