scans

type DebugLogCorruption struct {
	Start model.VirtualTime
	End   model.VirtualTime
}

type DebugLogScan struct {
	Level       readlog.LogLevel
	StableID    string
	Messages    []model.VirtualTime
	Corruptions []DebugLogCorruption
}

type IORec struct {
	Timestamp model.VirtualTime
	Body      []byte
}

type IORecords struct {
	Name    string
	Records []IORec
}

type IOScan struct {
	Reads  []model.VirtualTime
	Writes []model.VirtualTime
}

type InjectionScan struct {
	Injections []model.VirtualTime
}

type Interval struct {
	Start model.VirtualTime
	End   model.VirtualTime
}

type IntervalMode string

type ReqIndivViterbiInterval struct {
	Mode  viterbi.IndivHiddenState
	Start model.VirtualTime
	End   model.VirtualTime
}

type ReqIndivViterbiIntervalScan struct {
	RequirementName string
	Intervals       []ReqIndivViterbiInterval
}

type ReqInterval struct {
	Mode       IntervalMode
	Start      model.VirtualTime
	End        model.VirtualTime
	PointCount int
}

type ReqIntervalScan struct {
	RequirementName string
	Intervals       []ReqInterval
}

type ReqScan struct {
	RequirementName string
	Failures        []model.VirtualTime
	Successes       []model.VirtualTime
	Intervals       []Interval
}

type ReqViterbiInterval struct {
	Mode  viterbi.HiddenState
	Start model.VirtualTime
	End   model.VirtualTime
}

type ReqViterbiIntervalScan struct {
	RequirementName string
	Intervals       []ReqViterbiInterval
}

type ScanEntry struct {
	RequirementName string
	Timestamp       model.VirtualTime
	NewMode         IntervalMode
}

type ScannedLine interface {
	Label() string
	LastTime() float64
	BuildPlot(lastTime float64, location float64) *tlplot.TimelinePlot
}

type SchedEntry struct {
	Timestamp model.VirtualTime
	EndTime   model.VirtualTime
	TaskName  string
	Priority  uint
}

type SchedScan struct {
	Priority uint
	Entries  []SchedEntry
}

type ViterbiStats struct {
	MeanTimeToFailure   time.Duration
	MeanTimeToRecovery  time.Duration
	BestTimeToFailure   time.Duration
	BestTimeToRecovery  time.Duration
	WorstTimeToFailure  time.Duration
	WorstTimeToRecovery time.Duration
	OkPercent           float64
}