private void EmitOutcomeToBaseLine(WarningKind kind, ProofOutcome outcome, APC pc, string message)
{
int primaryILOffset, methodILOffset;
GetILOffsets(pc, this.currentMethod, out primaryILOffset, out methodILOffset);
xmlWriter.WriteStartElement("Outcome");
xmlWriter.WriteAttributeString("Kind", kind.ToString());
xmlWriter.WriteAttributeString("Outcome", outcome.ToString());
xmlWriter.WriteAttributeString("Message", message);
xmlWriter.WriteAttributeString("PrimaryILOffset", primaryILOffset.ToString("x"));
xmlWriter.WriteAttributeString("MethodILOffset", methodILOffset.ToString("x"));
xmlWriter.WriteEndElement();
}
static string CanonicalFormat(ProofOutcome outcome, string message, int primaryILOffset, int methodILOffset)
{
return(String.Format("Outcome=ProofOutcome.{0},Message=\"{1}\",PrimaryILOffset={2},MethodILOffset={3}", outcome.ToString(), message, primaryILOffset, methodILOffset));
}