className = "";
function = fun.toString();
}
Global global = Global.getGlobalProto();
LineMap lineMap = global != null ? global.getLineMap(className) : null;
String line = file.toString();
if (lineMap != null) {
p = file.indexOf(':');
if (p > 0) {
try {
String filename = file.substring(0, p);
int lineNo = Integer.parseInt(file.substring(p + 1));
line = lineMap.convertLine(filename, lineNo);
} catch (Exception e) {
}
}
else
line = lineMap.convertLine(file.toString(), 1);
}
buf.append("\tat ");
buf.append(fun);
buf.append("(");