New cross frame base types

lib/html/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
 import os
 from generator import *
 
 _js_custom_members = set([
     'AudioBufferSourceNode.start',
     'AudioBufferSourceNode.stop',
     'CSSStyleDeclaration.getPropertyValue',
     'CSSStyleDeclaration.setProperty',
     'Element.insertAdjacentElement',
     'Element.insertAdjacentHTML',
     'Element.insertAdjacentText',
     'Element.remove',
     'ElementEvents.mouseWheel',
     'IDBDatabase.transaction',
     'IFrameElement.contentWindow',
     'MouseEvent.offsetX',
     'MouseEvent.offsetY',
     'TableElement.createTBody',
-    'Window.document',
-    'Window.indexedDB',
-    'Window.location',
-    'Window.open',
-    'Window.top',
-    'Window.webkitCancelAnimationFrame',
-    'Window.webkitRequestAnimationFrame',
+    'LocalWindow.document',
+    'LocalWindow.indexedDB',
+    'LocalWindow.location',
+    'LocalWindow.open',
+    'LocalWindow.top',
+    'LocalWindow.webkitCancelAnimationFrame',
+    'LocalWindow.webkitRequestAnimationFrame',
     ])
 
 # This map controls merging of interfaces in dart:html library.
 # All constants, attributes, and operations of merged interface (key) are
 # added to target interface (value). All references to the merged interface
 # (e.g. parameter types, return types, parent interfaces) are replaced with
 # target interface. There are two important restrictions:
 # 1) Merged and target interfaces shouldn't have common members, otherwise there
 # would be duplicated declarations in generated Dart code.
 # 2) Merged interface should be direct child of target interface, so the
 # children of merged interface are not affected by the merge.
 # As a consequence, target interface implementation and its direct children
 # interface implementations should implement merged attribute accessors and
 # operations. For example, SVGElement and Element implementation classes should
 # implement HTMLElement.insertAdjacentElement(), HTMLElement.innerHTML, etc.
 _merged_html_interfaces = {
    'HTMLDocument': 'Document',
    'HTMLElement': 'Element'
 }
 
+# Types that are accessible cross-frame in a limited fashion.
+# In these cases, the base type (e.g., Window) provides restricted access
+# while the subtype (e.g., LocalWindow) provides full access to the
+# corresponding objects if there are from the same frame.
+_secure_base_types = {
+  'LocalWindow': 'Window',
+  'LocalLocation': 'Location',
+  'LocalHistory': 'History',
+}
+
+def SecureOutputType(generator, type_name):
+  dart_name = generator._DartType(type_name)
+  if dart_name in _secure_base_types:
+    return _secure_base_types[dart_name]
+  return dart_name
+
 # Information for generating element constructors.
 #
 # TODO(sra): maybe remove all the argument complexity and use cascades.
 #
 #   var c = new CanvasElement(width: 100, height: 70);
 #   var c = new CanvasElement()..width = 100..height = 70;
 #
 class ElementConstructorInfo(object):
   def __init__(self, name=None, tag=None,
                params=[], opt_params=[],
@@ skipping 178 matching lines @@
         # Parent is a DOM type.
         implements.append(self._DartType(parent.type.id))
       elif '<' in parent.type.id:
         # Parent is a Dart collection type.
         # TODO(vsm): Make this check more robust.
         implements.append(self._DartType(parent.type.id))
       else:
         suppressed_implements.append('%s.%s' %
             (self._common_prefix, self._DartType(parent.type.id)))
 
+    if typename in _secure_base_types:
+      implements.append(_secure_base_types[typename])
+
     comment = ' extends'
     implements_str = ''
     if implements:
       implements_str += ' implements ' + ', '.join(implements)
       comment = ','
     if suppressed_implements:
       implements_str += ' /*%s %s */' % (comment,
           ', '.join(suppressed_implements))
 
     factory_provider = None
@@ skipping 185 matching lines @@
       self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME */',
           DOMINTERFACE=attribute.doc_js_interface_name,
           DOMNAME=dom_name)
       if read_only:
         template = '\n  abstract $TYPE get $NAME;\n'
       else:
         template = '\n  $TYPE $NAME;\n'
 
       self._members_emitter.Emit(template,
                                  NAME=html_name,
-                                 TYPE=self._DartType(attribute.type.id))
+                                 TYPE=SecureOutputType(self, attribute.type.id))
 
     self._backend.AddAttribute(attribute, html_name, read_only)
 
   def AddSecondaryAttribute(self, interface, attribute):
     self._backend.SecondaryContext(interface)
     self.AddAttribute(attribute, True)
 
   def AddOperation(self, info, skip_declaration=False):
     """
     Arguments:
@@ skipping 14 matching lines @@
 
       if info.IsStatic():
         # FIXME: provide a type.
         self._members_emitter.Emit('\n'
                                   '  static final $NAME = $IMPL_CLASS_NAME.$NAME;\n',
                                   IMPL_CLASS_NAME=self._backend.ImplementationClassName(),
                                   NAME=html_name)
       else:
         self._members_emitter.Emit('\n'
                                   '  $TYPE $NAME($PARAMS);\n',
-                                  TYPE=self._DartType(info.type_name),
+                                  TYPE=SecureOutputType(self, info.type_name),
                                   NAME=html_name,
                                   PARAMS=info.ParametersInterfaceDeclaration(self._DartType))
     self._backend.AddOperation(info, html_name)
 
   def AddSecondaryOperation(self, interface, info):
     self._backend.SecondaryContext(interface)
     self.AddOperation(info, True)
 
   def AddConstant(self, constant):
     type = TypeOrNothing(self._DartType(constant.type.id), constant.type.id)
@@ skipping 536 matching lines @@
 
   def _NarrowToImplementationType(self, type_name):
     if self._ShouldNarrowToImplementationType(type_name):
       return self._ImplClassName(self._DartType(type_name))
     return self._DartType(type_name)
 
   def _NarrowInputType(self, type_name):
     return self._NarrowToImplementationType(type_name)
 
   def _NarrowOutputType(self, type_name):
-    return self._NarrowToImplementationType(type_name)
+    return SecureOutputType(self, self._NarrowToImplementationType(type_name))
 
   def _FindShadowedAttribute(self, attr, merged_interfaces={}):
     """Returns (attribute, superinterface) or (None, None)."""
     def FindInParent(interface):
       """Returns matching attribute in parent, or None."""
       if interface.parents:
         parent = interface.parents[0]
         if IsDartCollectionType(parent.type.id):
           return (None, None)
         if IsPureInterface(parent.type.id):
@@ skipping 54 matching lines @@
 
     library_emitter = self._multiemitter.FileEmitter(library_file_path)
     library_file_dir = os.path.dirname(library_file_path)
     auxiliary_dir = os.path.relpath(auxiliary_dir, library_file_dir)
     imports_emitter = library_emitter.Emit(
         self._template, AUXILIARY_DIR=massage_path(auxiliary_dir))
     for path in sorted(self._path_to_emitter.keys()):
       relpath = os.path.relpath(path, library_file_dir)
       imports_emitter.Emit(
           "#source('$PATH');\n", PATH=massage_path(relpath))