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();
        }
示例#2
0
 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));
 }