Period

dotty.tools.dotc.core.Periods$.Period$
See thePeriod companion class
object Period

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Period.type

Members list

Concise view

Value members

Concrete methods

def allInRun(rid: RunId): Period

The interval consisting of all periods of given run id

The interval consisting of all periods of given run id

Attributes

def apply(rid: RunId, pid: PhaseId): Period

The single-phase period consisting of given run id and phase id

The single-phase period consisting of given run id and phase id

Attributes

def apply(rid: RunId, loPid: PhaseId, hiPid: PhaseId): Period

The period consisting of given run id, and lo/hi phase ids

The period consisting of given run id, and lo/hi phase ids

Attributes