+ public void addBacktrace(String sourceName, int lineNo) { backtrace.addElement(sourceName + ":" + lineNo); }
+ public String backtrace() {
+ StringBuffer sb = new StringBuffer(1024);
+ for(int i=0;i<backtrace.size();i++)
+ sb.append(" at " + (String) backtrace.elementAt(i) + "\n");
+ return sb.toString();
+ }