Convert DOM and HTML frog to dart2js.

lib/dom/scripts/systemhtml.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."""
 
 import emitter
 
-from systemfrog import *
+from systemdart2js import *
 from systeminterface import *
 
 _js_custom_members = set([
     'IDBDatabase.transaction',
     'IFrameElement.contentWindow',
     'Window.document',
     'Window.top',
     'Window.location',
     'Window.open',
     ])
@@ skipping 711 matching lines @@
     pass
 
   def AddOperation(self, info, html_name):
     pass
 
 
 # ------------------------------------------------------------------------------
 
 # TODO(jmesserly): inheritance is probably not the right way to factor this long
 # term, but it makes merging better for now.
-class HtmlFrogClassGenerator(FrogInterfaceGenerator):
-  """Generates a Frog class for the dart:html library from a DOM IDL
+class HtmlDart2JSClassGenerator(Dart2JSInterfaceGenerator):
+  """Generates a dart2js class for the dart:html library from a DOM IDL
   interface.
   """
 
   def __init__(self, system, interface):
-    super(HtmlFrogClassGenerator, self).__init__(
+    super(HtmlDart2JSClassGenerator, self).__init__(
         system, interface, None, None)
     self._html_interface_name = system._renamer.RenameInterface(self._interface)
 
   def HasImplementation(self):
     return not (IsPureInterface(self._interface.id) or
                 self._interface.id in _merged_html_interfaces)
 
   def ImplementationClassName(self):
     return self._ImplClassName(self._html_interface_name)
 
   def FilePathForDartImplementation(self):
-    return os.path.join(self._system._output_dir, 'html', 'frog',
+    return os.path.join(self._system._output_dir, 'html', 'dart2js',
                         '%s.dart' % self._html_interface_name)
 
   def FilePathForDartFactoryProviderImplementation(self):
-    return os.path.join(self._system._output_dir, 'html', 'frog',
+    return os.path.join(self._system._output_dir, 'html', 'dart2js',
                         '_%sFactoryProvider.dart' % self._html_interface_name)
 
   def FilePathForDartElementsFactoryProviderImplementation(self):
-    return os.path.join(self._system._output_dir, 'html', 'frog',
+    return os.path.join(self._system._output_dir, 'html', 'dart2js',
                         '_Elements.dart')
 
   def SetImplementationEmitter(self, implementation_emitter):
     self._dart_code = implementation_emitter
 
   def ImplementsMergedMembers(self):
     return True
 
   def _ImplClassName(self, type_name):
     return '_%sImpl' % type_name
@@ skipping 21 matching lines @@
 
     # TODO: Include all implemented interfaces, including other Lists.
     implements = [self._html_interface_name]
     element_type = MaybeTypedArrayElementType(self._interface)
     if element_type:
       implements.append('List<%s>' % self._DartType(element_type))
       implements.append('JavaScriptIndexingBehavior')
 
     template_file = 'impl_%s.darttemplate' % self._html_interface_name
     template = (self._system._templates.TryLoad(template_file) or
-                self._system._templates.Load('frog_impl.darttemplate'))
+                self._system._templates.Load('dart2js_impl.darttemplate'))
     self._members_emitter = self._dart_code.Emit(
         template,
         #class $CLASSNAME$EXTENDS$IMPLEMENTS$NATIVESPEC {
         #$!MEMBERS
         #}
         CLASSNAME=self._class_name,
         EXTENDS=extends,
         IMPLEMENTS=' implements ' + ', '.join(implements),
         NATIVESPEC=' native "' + native_spec + '"')
     if self._members_emitter == None:
@@ skipping 170 matching lines @@
           NAME=info.name,
           PARAMS=info.ParametersImplementationDeclaration(
               lambda type_name: self._NarrowInputType(type_name)))
 
   def _HasCustomImplementation(self, member_name):
     member_name = '%s.%s' % (self._html_interface_name, member_name)
     return member_name in _js_custom_members
 
 # ------------------------------------------------------------------------------
 
-class HtmlFrogSystem(System):
+class HtmlDart2JSSystem(System):
 
   def __init__(self, options):
-    super(HtmlFrogSystem, self).__init__(options)
+    super(HtmlDart2JSSystem, self).__init__(options)
 
   def ImplementationGenerator(self, interface):
-    return HtmlFrogClassGenerator(self, interface)
+    return HtmlDart2JSClassGenerator(self, interface)
 
   def GenerateLibraries(self, dart_files):
     self._GenerateLibFile(
-        'html_frog.darttemplate',
-        os.path.join(self._output_dir, 'html_frog.dart'),
+        'html_dart2js.darttemplate',
+        os.path.join(self._output_dir, 'html_dart2js.dart'),
         dart_files)
 
   def Finish(self):
     pass