Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-18 14:56:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixed up -blame option to use line marking.

Browse Source
This commit is contained in:
beard%netscape.com 1999-10-30 05:59:02 +00:00
parent f1b07b5419
commit d120ed2e68
1 changed files with 17 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
gc/boehm/leaksoup/tracesoup.java
View File

@ -132,12 +132,8 @@ public class tracesoup {
int rightBracket = line.indexOf(']', leftBracket + 1);
String macPath = line.substring(leftBracket + 1, comma);
String path = macPath.replace(':', '/');
int mozillaIndex = path.indexOf(MOZILLA_BASE);
String locationURL;
if (mozillaIndex > -1)
locationURL = (USE_BLAME ? BONSAI_BASE : LXR_BASE) + path.substring(path.indexOf(MOZILLA_BASE) + MOZILLA_BASE.length());
else
locationURL = "file:///" + path;
// compute the line number in the file.
int offset = 0;
try {
offset = Integer.parseInt(line.substring(comma + 1, rightBracket));
@ -150,7 +146,21 @@ public class tracesoup {
fileTables.put(path, table);
}
int lineNumber = 1 + table.getLine(offset);
// return line.substring(0, leftBracket) + "[" + locationURL + "#" + lineNumber + "]";
// compute the URL of the file.
int mozillaIndex = path.indexOf(MOZILLA_BASE);
String locationURL;
if (mozillaIndex > -1)
locationURL = (USE_BLAME ? BONSAI_BASE : LXR_BASE) + path.substring(path.indexOf(MOZILLA_BASE) + MOZILLA_BASE.length());
else
locationURL = "file:///" + path;
// if using blame, hilite the line number of the call.
if (USE_BLAME) {
locationURL += "&mark=" + lineNumber;
lineNumber -= 10;
}
return "<A HREF=\"" + locationURL + "#" + lineNumber + "\"TARGET=\"SOURCE\">" + line.substring(0, leftBracket) + "</A>";
}
}