Suppressing media events from list of global events.

tools/dom/scripts/htmleventgenerator.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 functionality to generate dart:html event classes."""
 
 import logging
 import monitored
 
@@ skipping 366 matching lines @@
     return False
 
   def _IsEventSuppressed(self, interface, event_name, event_type):
     """ Checks if the event should not be emitted.
     """
     if self._renamer.ShouldSuppressMember(interface, event_name, 'on:'):
       return True
 
     if (interface.doc_js_name == 'Window' or
         interface.doc_js_name == 'Element' or
-        interface.doc_js_name == 'Document'):
+        interface.doc_js_name == 'Document' or
+        interface.doc_js_name == 'GlobalEventHandlers'):

[vsm, 2014/01/07 18:45:22]

There is also WindowEventHandlers now - do we need to drop it there as well?

       media_interface = self._database.GetInterface('HTMLMediaElement')
       media_events = self._GetEvents(media_interface, [])
       if self._HasEvent(media_events, event_name, event_type):
         return True
 
   def _GetEventRedirection(self, interface, event_name, event_type):
     """ For events which are declared in one place, but exposed elsewhere,
     this gets the source of the event (where the provider is declared)
     """
     if interface.doc_js_name == 'Window' or interface.doc_js_name == 'Document':
       element_interface = self._database.GetInterface('Element')
       element_events = self._GetEvents(element_interface, [])
       if self._HasEvent(element_events, event_name, event_type):
         return 'Element'
     return None
 
   def _FindEventInfo(self, html_interface_name, dom_event_name):
     """ Finds the event info (event name and type).
     """
     key = '%s.%s' % (html_interface_name, dom_event_name)
     if key in _html_event_types:
       return _html_event_types[key]
     key = '*.%s' % dom_event_name
     if key in _html_event_types:
       return _html_event_types[key]
     _logger.warn('Cannot resolve event type for %s.%s' %
         (html_interface_name, dom_event_name))
     return None