Added "/// @docsEditable" to all generated members in the HTML lib.

sdk/lib/html/scripts/htmldartgenerator.py

 #!/usr/bin/python
 # Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 """This module provides shared functionality for the system to generate
 dart:html APIs from the IDL database."""
 
 from generator import AnalyzeOperation, ConstantOutputOrder, \
     DartDomNameOfAttribute, FindMatchingAttribute, IsDartCollectionType, \
@@ skipping 14 matching lines @@
     self._database = options.database
     self._interface = interface
     self._type_registry = options.type_registry
     self._interface_type_info = self._type_registry.TypeInfo(self._interface.id)
     self._renamer = options.renamer
 
   def EmitAttributeDocumentation(self, attribute):
     """ Emits the MDN dartdoc comment for an attribute.
     """
     dom_name = DartDomNameOfAttribute(attribute)
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */',
+    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */\n'
+                               '  /// @docsEditable',
         DOMINTERFACE=attribute.doc_js_interface_name,
         DOMNAME=dom_name)
 
   def EmitOperationDocumentation(self, operation):
     """ Emits the MDN dartdoc comment for an operation.
     """
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */',
+    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */\n'

[blois, 2012/11/19 23:19:06]

Seems odd to have two doc comments- can we just roll them into one? Or make them
the same style?

+                               '  /// @docsEditable',
         DOMINTERFACE=operation.overloads[0].doc_js_interface_name,
         DOMNAME=operation.name)
 
   def EmitEventGetter(self, events_class_name):
     self._members_emitter.Emit(
         '\n  /**'
         '\n   * @domName EventTarget.addEventListener, '
         'EventTarget.removeEventListener, EventTarget.dispatchEvent'
-        '\n   */'
+        '\n   */\n  /// @docsEditable'
         '\n  $TYPE get on =>\n    new $TYPE(this);\n',
         TYPE=events_class_name)
 
   def AddMembers(self, interface, declare_only=False):
     for const in sorted(interface.constants, ConstantOutputOrder):
       self.AddConstant(const)
 
     for attr in sorted(interface.attributes, ConstantOutputOrder):
       if attr.type.id != 'EventListener':
         self.AddAttribute(attr, declare_only)
@@ skipping 239 matching lines @@
         walk(interface.parents)
       else:
         walk(interface.parents[1:])
     return result
 
   def _DartType(self, type_name):
     return self._type_registry.DartType(type_name)
 
   def _IsPrivate(self, name):
     return name.startswith('_')