Make DevTools client survive 'refresh' of the inspectable tab.

webkit/glue/devtools/js/dom_agent.js

 // Copyright (c) 2009 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @fileoverview Dom and DomNode are used to represent remote DOM in the
  * web inspector.
  */
 goog.provide('devtools.DomAgent');
 goog.provide('devtools.DomDocument');
@@ skipping 234 matching lines @@
     listeners[i](event);
   }
 };
 
 
 /**
  * Creates DomAgent Js representation.
  * @constructor
  */
 devtools.DomAgent = function() {
-  this.document = new devtools.DomDocument();
-  this.idToDomNode_ = { 0 : this.document };
   RemoteDomAgent.DidGetChildNodes =
       devtools.Callback.processCallback;
   RemoteDomAgent.DidPerformSearch =
       devtools.Callback.processCallback;
   RemoteDomAgent.AttributesUpdated =
       goog.bind(this.attributesUpdated, this);
   RemoteDomAgent.SetDocumentElement =
       goog.bind(this.setDocumentElement, this);
   RemoteDomAgent.SetChildNodes =
       goog.bind(this.setChildNodes, this);
   RemoteDomAgent.HasChildrenUpdated =
       goog.bind(this.hasChildrenUpdated, this);
   RemoteDomAgent.ChildNodeInserted =
       goog.bind(this.childNodeInserted, this);
   RemoteDomAgent.ChildNodeRemoved =
       goog.bind(this.childNodeRemoved, this);
+
+  /**
+   * Top-level (and the only) document.
+   * @type {devtools.DomDocument}
+   * @private
+   */
+  this.document_ = null;
+
+  /**
+   * Id to node mapping.
+   * @type {Object}
+   * @private
+   */
+  this.idToDomNode_ = null;
+
   /**
    * @type {Array.<number>} Node ids for search results.
+   * @private
    */
+  this.searchResults_ = null;
+
+  this.reset();
+};
+
+
+/**
+ * Rests dom agent to its initial state.
+ */
+devtools.DomAgent.prototype.reset = function() {
+  RemoteDomAgent.DiscardBindings();
+  this.document_ = new devtools.DomDocument();
+  this.idToDomNode_ = { 0 : this.document_ };
   this.searchResults_ = [];
 };
 
 
 /**
+ * @return {devtools.DomDocument} Top level (and the only) document.
+ */
+devtools.DomAgent.prototype.getDocument = function() {
+  return this.document_;
+};
+
+
+/**
  * Requests that the document element is sent from the agent.
  */
 devtools.DomAgent.prototype.getDocumentElementAsync = function() {
-  if (this.document.documentElement) {
+  if (this.document_.documentElement) {
     return;
   }
   RemoteDomAgent.GetDocumentElement();
 };
 
 
 /**
  * Asynchronously fetches children from the element with given id.
  * @param {number} parentId Element to get children for.
  * @param {function(devtools.DomNode):undefined} opt_callback Callback with
@@ skipping 35 matching lines @@
 devtools.DomAgent.prototype.getNodeForId = function(nodeId) {
   return this.idToDomNode_[nodeId];
 };
 
 
 /**
  * @see DomAgentDelegate.
  * {@inheritDoc}.
  */
 devtools.DomAgent.prototype.setDocumentElement = function(payload) {
-  if (this.document.documentElement) {
+  if (this.document_.documentElement) {
     return;
   }
   this.setChildNodes(0, [payload]);
-  this.document.documentElement = this.document.firstChild;
-  this.document.documentElement.ownerDocument = this.document;
-  this.document.fireDomEvent_("DOMContentLoaded");
+  this.document_.documentElement = this.document_.firstChild;
+  this.document_.documentElement.ownerDocument = this.document_;
+  this.document_.fireDomEvent_("DOMContentLoaded");
 };
 
 
 /**
  * @see DomAgentDelegate.
  * {@inheritDoc}.
  */
 devtools.DomAgent.prototype.setChildNodes = function(parentId, payloads) {
   var parent = this.idToDomNode_[parentId];
   if (parent.children) {
@@ skipping 31 matching lines @@
  * @see DomAgentDelegate.
  * {@inheritDoc}.
  */
 devtools.DomAgent.prototype.childNodeInserted = function(
     parentId, prevId, payload) {
   var parent = this.idToDomNode_[parentId];
   var prev = this.idToDomNode_[prevId];
   var node = parent.insertChild_(prev, payload);
   this.idToDomNode_[node.id] = node;
   var event = { target : node, relatedNode : parent };
-  this.document.fireDomEvent_("DOMNodeInserted", event);
+  this.document_.fireDomEvent_("DOMNodeInserted", event);
 };
 
 
 /**
  * @see DomAgentDelegate.
  * {@inheritDoc}.
  */
 devtools.DomAgent.prototype.childNodeRemoved = function(
     parentId, nodeId) {
   var parent = this.idToDomNode_[parentId];
   var node = this.idToDomNode_[nodeId];
   parent.removeChild_(node);
   var event = { target : node, relatedNode : parent };
-  this.document.fireDomEvent_("DOMNodeRemoved", event);
+  this.document_.fireDomEvent_("DOMNodeRemoved", event);
   delete this.idToDomNode_[nodeId];
 };
 
 
 /**
  * @see DomAgentDelegate.
  * {@inheritDoc}.
  */
 devtools.DomAgent.prototype.performSearch = function(query, forEach) {
   RemoteDomAgent.PerformSearch(
@@ skipping 40 matching lines @@
 function onlyTextChild() {
   if (!this.children) {
     return null;
   } else if (this.children.length == 1 &&
         this.children[0].nodeType == Node.TEXT_NODE) {
     return this.children[0];
   } else {
     return null;
   }
 }