timecounter

Documentation

Overview

Package timecounter provides functionality for aggregating times based on a string key.

Index

• Constants
• type Group
  • func (tcg *Group) AddTime(counter counterGroupType, key string, elapsed float64)
  • func (tcg *Group) Init()
  • func (tcg *Group) String() string
  • func (tcg *Group) Update(other *Group)

Constants

const (
	// CounterGroupDefTime is the counter for definition times.
	CounterGroupDefTime counterGroupType = iota + 1
	// CounterGroupLHSDefTime is the counter for LHS definition times.
	CounterGroupLHSDefTime
	// CounterGroupEvalTime is the counter for eval times.
	CounterGroupEvalTime
	// CounterGroupHeadEvalTime is the counter for head eval times.
	CounterGroupHeadEvalTime
)

Types

type Group

type Group struct {
	// contains filtered or unexported fields
}

Group collects eval-related timeCounters.

func (*Group) AddTime

func (tcg *Group) AddTime(
	counter counterGroupType,
	key string,
	elapsed float64,
)

AddTime adds a floating-point time to a particular timeCounter, selected with a counterGroupType.

func (*Group) Init

func (tcg *Group) Init()

Init initializes the Group with empty maps.

func (*Group) String

func (tcg *Group) String() string

Prints the counter group as a formatted string.

func (*Group) Update

func (tcg *Group) Update(other *Group)

Update adds another Group to this one.