//$Id: di.js 4679 2007-06-25 18:39:40Z tv.raman.tv $
/*
 * Description: DomInspector helpers
 */


/*
 * Show attributes of a DOM node along with NameSpace information
 */
repl.showAttributes = function(node) {
  var map = node.attributes;
  if (map  instanceof NamedNodeMap) {
    for (i = 0; i < map.length; i++) {
      repl.print (map[i].name +' = ' + map[i].value, false);
      if (map[i].namespaceURI) {
        repl.print("\tNamespace: " + map[i].namespaceURI);
      } else {
        repl.print("");
      }
    }
  } else {
    repl.print (node + " has no attributes.");
  }
};
 

/*
 * Function to attach to window.onerror
 */
repl.showErrors = function (m, u, l) {
    repl.print("Message: " +m + "URL: " +u +"Line: " + l);
};


/*
 * Show properties of an object.
 */
repl.showProps = function (object) {
    for (var name in object) {
      repl.print(name);
    }
};

"Loaded di.js";
