walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

tools/compare.cs: changed format for error message

This commit is contained in:
Daniel Marjamäki 2018-02-15 15:17:04 +01:00
parent a796330a50
commit 791f85295c
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
tools/compare.cs
View File

@ -133,7 +133,22 @@ namespace difftool
"static", "const", "template", "typename", "auto", "virtual", "static", "const", "template", "typename", "auto", "virtual",
"true", "false", "this" }; "true", "false", "this" };
System.IO.StreamWriter file = new System.IO.StreamWriter(path + filename); System.IO.StreamWriter file = new System.IO.StreamWriter(path + filename);
file.Write("<html><head><title>" + TextToHtml(w) + "</title></head><body bgcolor=\"" + backgroundColor + "\"><pre>" + foregroundFont + TextToHtml(w) + "\n"); file.WriteLine("<html>");
file.WriteLine("<head>");
file.WriteLine("<title>" + TextToHtml(w) + "</title>");
file.WriteLine("<style>");
file.WriteLine(" table {");
file.WriteLine(" border: 0px;");
file.WriteLine(" border-spacing: 0;");
file.WriteLine(" }");
file.WriteLine(" td {");
file.WriteLine(" border: 1px solid red;");
file.WriteLine(" padding: 5px;");
file.WriteLine(" background-color: #ffe0e0;");
file.WriteLine("}");
file.WriteLine("</style>");
file.WriteLine("</head>");
file.WriteLine("<body bgcolor=\"" + backgroundColor + "\"><pre>" + foregroundFont + TextToHtml(w) + "\n");
int linenr = 0; int linenr = 0;
bool multiline = false; bool multiline = false;
foreach (string line in lines) foreach (string line in lines)
@ -217,7 +232,7 @@ namespace difftool
file.Write('\n'); file.Write('\n');
if (errorLine == linenr) if (errorLine == linenr)
file.Write(" <mark>" + TextToHtml(w.Substring(w.IndexOf(": "))) + "</mark>\n"); file.WriteLine("<table width=\"100%\"><tr><td><b>" + TextToHtml(errorMessage) + "</td></tr></table>");
} }
file.Write("</font></pre></body></html>"); file.Write("</font></pre></body></html>");
file.Close(); file.Close();