private void RenderContexts(XmlWriter reportBuilder, IEnumerable <ContextInfo> contexts)
 {
     foreach (var context in contexts)
     {
         reportBuilder.WriteStartElement("context");
         reportBuilder.WriteAttributeString("name", context.Name);
         reportBuilder.WriteAttributeString("type-name", context.TypeName);
         reportBuilder.WriteAttributeString("time", _timer.GetContextTime(context).ToString(CultureInfo.InvariantCulture));
         RenderSpecifications(reportBuilder, context);
         reportBuilder.WriteEndElement();
     }
 }