// Debugging //////////////////////////////////////////////////////////////////////
- // FIXME: Put this back in
- public String xtoString() { return "JSFunction [" + sourceName + ":" + firstLine + "]"; }
+ String debugToString() { return "JSFunction [" + sourceName + ":" + firstLine + "]"; }
String dump() { return dump(""); }
private String dump(String prefix) {