// Debugging //////////////////////////////////////////////////////////////////////
public String toString() { return "JSFunction [" + sourceName + ":" + firstLine + "]"; }
+
public String dump() {
StringBuffer sb = new StringBuffer(1024);
sb.append("\n" + sourceName + ": " + firstLine + "\n");