// Debugging //////////////////////////////////////////////////////////////////////
public String toString() { return "JSFunction [" + sourceName + ":" + firstLine + "]"; }
// Debugging //////////////////////////////////////////////////////////////////////
public String toString() { return "JSFunction [" + sourceName + ":" + firstLine + "]"; }