public void ReportTimings(Mono.TextEditor.TextDocument document)
{
if (count == 0)
{
// No timings recorded.
return;
}
string extension = document.FileName.Extension;
var average = totalTime.TotalMilliseconds / count;
var metadata = new TypingTimingMetadata {
Average = average,
First = firstTime.Value.TotalMilliseconds,
Maximum = maxTime.TotalMilliseconds,
Dropped = droppedEvents
};
if (!string.IsNullOrEmpty(extension))
{
metadata.Extension = extension;
}
metadata.AddBuckets(buckets);
MonoDevelop.SourceEditor.Counters.Typing.Inc(metadata);
}
internal TypingTimingMetadata GetTypingTimingMetadata(string extension)
{
var average = totalTime.TotalMilliseconds / count;
var metadata = new TypingTimingMetadata {
Average = average,
First = firstTime.Value.TotalMilliseconds,
Maximum = maxTime.TotalMilliseconds,
Dropped = droppedEvents
};
if (!string.IsNullOrEmpty(extension))
{
metadata.Extension = extension;
}
metadata.AddBuckets(buckets);
return(metadata);
}
