add: ", Options " + context.options + ", Private " + context.privateData + 
context: function cmdDumpContexts(){    console.contexts = new Array();    var i = 0;        var enumer = {        enumerateContext: function _ec (context) {                              if (!context.isValid)                              {                                  dd("enumerate got invalid context");                              }                              else                              {                                  var v = context.globalObject.getWrappedValue();                                  var title = "<n/a>";                                  if (v instanceof Object &&                                      "document" in v)                                  {                                      title = v.document.title;                                  }                                                                dd ("enumerateContext: Index " + i +                                      ", Version " + context.version +                                      ", Tag " + context.tag +                                      ", Title " + title +                                      ", Scripts Enabled " +                                      context.scriptsEnabled);                              }                              console.contexts[i++] = context;                          }    };        console.jsds.enumerateContexts(enumer);    return true;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e9124b4f9da0a0f3db933609d955aad4862fece1/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js