Statistics

object Statistics
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def emptyStats(fragment: Fragment): Stats

create an empty Stats object for a given fragment, counting 1 for an example

create an empty Stats object for a given fragment, counting 1 for an example

def fold: AsyncFold[Fragment, Stats] { type S = Stats; }

Fold for collecting stats

Fold for collecting stats

def fromFragment(fragment: Fragment): Action[Stats]
def runStats(spec: SpecStructure)(ee: ExecutionEnv): Stats

collect all the stats for a specification

collect all the stats for a specification

get the stats for each fragment of a specification

get the stats for each fragment of a specification