Index: lib/html/dartium/html_dartium.dart |
diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart |
index 1b8c4e42c662de3faa405572a80817205e77c1e7..57b36823eb84d684593dde6ff46871f79ad32459 100644 |
--- a/lib/html/dartium/html_dartium.dart |
+++ b/lib/html/dartium/html_dartium.dart |
@@ -596,6 +596,144 @@ spawnDomIsolate(Window targetWindow, String entryPoint) => |
dom.LayoutTestController get layoutTestController() => |
dom.layoutTestController; |
+class _HistoryCrossFrameImpl implements History { |
+ |
+ void back() { |
+ _ptr.back(); |
+ return; |
+ } |
+ |
+ void forward() { |
+ _ptr.forward(); |
+ return; |
+ } |
+ |
+ void go(int distance) { |
+ _ptr.go(distance); |
+ return; |
+ } |
+ |
+ // Implementation. |
+ _HistoryImpl _ptr; |
+ |
+ _HistoryCrossFrameImpl._(this._ptr); |
+ |
+ static _createSafe(ptr) { |
+ if (ptr === window.history) { |
+ return window.history; |
+ } else { |
+ // TODO(vsm): Should we cache to try to get reference equality? |
+ return new _HistoryCrossFrameImpl._(ptr); |
+ } |
+ } |
+ |
+ operator ==(other) { |
+ return (other is _HistoryCrossFrameImpl) && |
+ (this._ptr === other._ptr); |
+ } |
+} |
+ |
+class _LocationCrossFrameImpl implements Location { |
+ |
+ void set href(String value) { _ptr.href = value; } |
+ |
+ // Implementation. |
+ _LocationImpl _ptr; |
+ |
+ _LocationCrossFrameImpl._(this._ptr); |
+ |
+ static _createSafe(ptr) { |
+ if (ptr === window.location) { |
+ return window.location; |
+ } else { |
+ // TODO(vsm): Should we cache to try to get reference equality? |
+ return new _LocationCrossFrameImpl._(ptr); |
+ } |
+ } |
+ |
+ operator ==(other) { |
+ return (other is _LocationCrossFrameImpl) && |
+ (this._ptr === other._ptr); |
+ } |
+} |
+ |
+class _WindowCrossFrameImpl implements Window { |
+ |
+ bool get closed() => _ptr.closed; |
+ |
+ Window get frames() => _ptr.frames; |
+ |
+ History get history() => _ptr.history; |
+ |
+ int get length() => _ptr.length; |
+ |
+ Location get location() => _ptr.location; |
+ |
+ void set location(Location value) { _ptr.location = value; } |
+ |
+ Window get opener() => _ptr.opener; |
+ |
+ Window get parent() => _ptr.parent; |
+ |
+ Window get self() => _ptr.self; |
+ |
+ Window get top() => _ptr.top; |
+ |
+ void blur() { |
+ _ptr.blur(); |
+ return; |
+ } |
+ |
+ void close() { |
+ _ptr.close(); |
+ return; |
+ } |
+ |
+ void focus() { |
+ _ptr.focus(); |
+ return; |
+ } |
+ |
+ void postMessage(/*SerializedScriptValue*/ message, String targetOrigin, [List messagePorts = null]) { |
+ if (messagePorts === null) { |
+ _ptr.postMessage(message, targetOrigin, messagePorts); |
+ return; |
+ } else { |
+ _ptr.postMessage(message, targetOrigin, messagePorts); |
+ return; |
+ } |
+ } |
+ |
+ void webkitPostMessage(/*SerializedScriptValue*/ message, String targetOrigin, [List transferList = null]) { |
+ if (transferList === null) { |
+ _ptr.webkitPostMessage(message, targetOrigin, transferList); |
+ return; |
+ } else { |
+ _ptr.webkitPostMessage(message, targetOrigin, transferList); |
+ return; |
+ } |
+ } |
+ |
+ // Implementation. |
+ _WindowImpl _ptr; |
+ |
+ _WindowCrossFrameImpl._(this._ptr); |
+ |
+ static _createSafe(ptr) { |
+ if (ptr === window) { |
+ return window; |
+ } else { |
+ // TODO(vsm): Should we cache to try to get reference equality? |
+ return new _WindowCrossFrameImpl._(ptr); |
+ } |
+ } |
+ |
+ operator ==(other) { |
+ return (other is _WindowCrossFrameImpl) && |
+ (this._ptr === other._ptr); |
+ } |
+} |
+ |
class _AbstractWorkerImpl extends _EventTargetImpl implements AbstractWorker { |
_AbstractWorkerImpl._wrap(ptr) : super._wrap(ptr); |
@@ -9852,8 +9990,6 @@ class _FormElementImpl extends _ElementImpl implements FormElement { |
class _FrameElementImpl extends _ElementImpl implements FrameElement { |
_FrameElementImpl._wrap(ptr) : super._wrap(ptr); |
- Document get contentDocument() => _wrap(_ptr.contentDocument); |
- |
Window get contentWindow() => _wrap(_ptr.contentWindow); |
String get frameBorder() => _wrap(_ptr.frameBorder); |
@@ -10739,8 +10875,6 @@ class _IFrameElementImpl extends _ElementImpl implements IFrameElement { |
void set align(String value) { _ptr.align = _unwrap(value); } |
- Document get contentDocument() => _wrap(_ptr.contentDocument); |
- |
Window get contentWindow() => _wrap(_ptr.contentWindow); |
String get frameBorder() => _wrap(_ptr.frameBorder); |
@@ -13336,8 +13470,6 @@ class _ObjectElementImpl extends _ElementImpl implements ObjectElement { |
void set codeType(String value) { _ptr.codeType = _unwrap(value); } |
- Document get contentDocument() => _wrap(_ptr.contentDocument); |
- |
String get data() => _wrap(_ptr.data); |
void set data(String value) { _ptr.data = _unwrap(value); } |
@@ -21522,8 +21654,6 @@ class _WindowImpl extends _EventTargetImpl implements Window { |
Event get event() => _wrap(_ptr.event); |
- Element get frameElement() => _wrap(_ptr.frameElement); |
- |
Window get frames() => _wrap(_ptr.frames); |
History get history() => _wrap(_ptr.history); |
@@ -21606,8 +21736,6 @@ class _WindowImpl extends _EventTargetImpl implements Window { |
StorageInfo get webkitStorageInfo() => _wrap(_ptr.webkitStorageInfo); |
- Window get window() => _wrap(_ptr.window); |
- |
void $dom_addEventListener(String type, EventListener listener, [bool useCapture = null]) { |
if (useCapture === null) { |
_ptr.addEventListener(_unwrap(type), _unwrap(listener)); |
@@ -29414,9 +29542,6 @@ interface FormElement extends Element { |
/// @domName HTMLFrameElement |
interface FrameElement extends Element { |
- /** @domName HTMLFrameElement.contentDocument */ |
- final Document contentDocument; |
- |
/** @domName HTMLFrameElement.contentWindow */ |
final Window contentWindow; |
@@ -30170,9 +30295,6 @@ interface IFrameElement extends Element { |
/** @domName HTMLIFrameElement.align */ |
String align; |
- /** @domName HTMLIFrameElement.contentDocument */ |
- final Document contentDocument; |
- |
/** @domName HTMLIFrameElement.contentWindow */ |
final Window contentWindow; |
@@ -32330,9 +32452,6 @@ interface ObjectElement extends Element { |
/** @domName HTMLObjectElement.codeType */ |
String codeType; |
- /** @domName HTMLObjectElement.contentDocument */ |
- final Document contentDocument; |
- |
/** @domName HTMLObjectElement.data */ |
String data; |
@@ -40016,9 +40135,6 @@ interface Window extends EventTarget { |
/** @domName DOMWindow.event */ |
final Event event; |
- /** @domName DOMWindow.frameElement */ |
- final Element frameElement; |
- |
/** @domName DOMWindow.frames */ |
final Window frames; |
@@ -40133,9 +40249,6 @@ interface Window extends EventTarget { |
/** @domName DOMWindow.webkitStorageInfo */ |
final StorageInfo webkitStorageInfo; |
- /** @domName DOMWindow.window */ |
- final Window window; |
- |
/** @domName DOMWindow.addEventListener */ |
void $dom_addEventListener(String type, EventListener listener, [bool useCapture]); |