Expand overloaded methods and optional parameters in the html library.

tools/dom/scripts/monitored.py

 #!/usr/bin/python
 # Copyright (c) 2013, 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 maps and sets that report unused elements."""
 
 _monitored_values = []
 
 
@@ skipping 28 matching lines @@
     self._used_keys.add(key)
     return key in self._map
 
   def __iter__(self):
     return self._map.__iter__()
 
   def get(self, key, default=None):
     self._used_keys.add(key)
     return self._map.get(key, default)
 
+  def keys(self):
+    return self._map.keys()
+
   def CheckUsage(self):
     for v in sorted(self._map.keys()):
       if v not in self._used_keys:
         print "dict '%s' has unused key '%s'" % (self.name, v)
 
 
 class Set(MonitoredCollection):
   """Wrapper for a set that reports unused keys."""
 
   def __init__(self, name, a_set, dart2jsOnly=False):
     super(Set, self).__init__(name, dart2jsOnly)
     self._set = a_set
 
   def __contains__(self, key):
     self._used_keys.add(key)
     return key in self._set
 
   def __iter__(self):
     return self._set.__iter__()
 
   def add(self, key):
     self._set += [key]
 
   def CheckUsage(self):
     for v in sorted(self._set):
       if v not in self._used_keys:
         print "set '%s' has unused key '%s'" % (self.name, v)