add: const nsIBaseWindow         = Components.interfaces.nsIBaseWindow; 
context: var dd;const nsIXULWindow          = Components.interfaces.nsIXULWindow;const nsIInterfaceRequestor = Components.interfaces.nsIInterfaceRequestor;const nsIWebNavigation      = Components.interfaces.nsIWebNavigation;const nsIDocShellTreeItem   = Components.interfaces.nsIDocShellTreeItem;if (typeof document == "undefined") /* in xpcshell */{    dumpln = print;}else{    if (typeof dump == "function")        dumpln = function (str) {dump (str + "\n");}    else if (jsenv.HAS_RHINO)    {        dumpln = function (str) {                     var out = java.lang.System.out;                     out.println(str); out.flush();                 }    }    else        dumpln = function () {} /* no suitable function */}if (DEBUG) {    var _dd_pfx = "";    var _dd_singleIndent = "  ";    var _dd_indentLength = _dd_singleIndent.length;    var _dd_currentIndent = "";    var _dd_lastDumpWasOpen = false;    var _dd_timeStack = new Array();    dd = function _dd (str) {             if (typeof str != "string") {                 dumpln (str);             } else if (str[str.length - 1] == "{") {                 _dd_timeStack.push (new Date());                 if (_dd_lastDumpWasOpen)                     dump("\n");                 dump (_dd_pfx + _dd_currentIndent + str);                 _dd_currentIndent += _dd_singleIndent;                 _dd_lastDumpWasOpen = true;             } else if (str[0] == "}") {                 var sufx = (new Date() - _dd_timeStack.pop()) / 1000 + " sec";                 _dd_currentIndent =                      _dd_currentIndent.substr (0, _dd_currentIndent.length -                                               _dd_indentLength);                 if (_dd_lastDumpWasOpen)                     dumpln ("} " + sufx);                 else                     dumpln (_dd_pfx + _dd_currentIndent + str + " " + sufx);                 _dd_lastDumpWasOpen = false;             } else {                 if (_dd_lastDumpWasOpen)                     dump ("\n");                 dumpln (_dd_pfx + _dd_currentIndent + str);                 _dd_lastDumpWasOpen = false;             }             }} else {    dd = function (){};
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/5b6f148c580b2535a33c1e5f98787de00ca5fd96/venkman-utils.js/clean/extensions/venkman/resources/content/venkman-utils.js