| Index: sdk/lib/html/src/dart2js_LocationWrapper.dart
|
| diff --git a/sdk/lib/html/src/dart2js_LocationWrapper.dart b/sdk/lib/html/src/dart2js_LocationWrapper.dart
|
| deleted file mode 100644
|
| index f430534da8cbc8bd45a81ca6f960f229b0718c9f..0000000000000000000000000000000000000000
|
| --- a/sdk/lib/html/src/dart2js_LocationWrapper.dart
|
| +++ /dev/null
|
| @@ -1,84 +0,0 @@
|
| -// Copyright (c) 2011, 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.
|
| -
|
| -part of html;
|
| -
|
| -// On Firefox 11, the object obtained from 'window.location' is very strange.
|
| -// It can't be monkey-patched and seems immune to putting methods on
|
| -// Object.prototype. We are forced to wrap the object.
|
| -
|
| -class _LocationWrapper implements Location {
|
| -
|
| - final _ptr; // Opaque reference to real location.
|
| -
|
| - _LocationWrapper(this._ptr);
|
| -
|
| - // TODO(sra): Replace all the _set and _get calls with 'JS' forms.
|
| -
|
| - // final List<String> ancestorOrigins;
|
| - List<String> get ancestorOrigins => _get(_ptr, 'ancestorOrigins');
|
| -
|
| - // String hash;
|
| - String get hash => _get(_ptr, 'hash');
|
| - void set hash(String value) {
|
| - _set(_ptr, 'hash', value);
|
| - }
|
| -
|
| - // String host;
|
| - String get host => _get(_ptr, 'host');
|
| - void set host(String value) {
|
| - _set(_ptr, 'host', value);
|
| - }
|
| -
|
| - // String hostname;
|
| - String get hostname => _get(_ptr, 'hostname');
|
| - void set hostname(String value) {
|
| - _set(_ptr, 'hostname', value);
|
| - }
|
| -
|
| - // String href;
|
| - String get href => _get(_ptr, 'href');
|
| - void set href(String value) {
|
| - _set(_ptr, 'href', value);
|
| - }
|
| -
|
| - // final String origin;
|
| - String get origin => _get(_ptr, 'origin');
|
| -
|
| - // String pathname;
|
| - String get pathname => _get(_ptr, 'pathname');
|
| - void set pathname(String value) {
|
| - _set(_ptr, 'pathname', value);
|
| - }
|
| -
|
| - // String port;
|
| - String get port => _get(_ptr, 'port');
|
| - void set port(String value) {
|
| - _set(_ptr, 'port', value);
|
| - }
|
| -
|
| - // String protocol;
|
| - String get protocol => _get(_ptr, 'protocol');
|
| - void set protocol(String value) {
|
| - _set(_ptr, 'protocol', value);
|
| - }
|
| -
|
| - // String search;
|
| - String get search => _get(_ptr, 'search');
|
| - void set search(String value) {
|
| - _set(_ptr, 'search', value);
|
| - }
|
| -
|
| - void assign(String url) => JS('void', '#.assign(#)', _ptr, url);
|
| -
|
| - void reload() => JS('void', '#.reload()', _ptr);
|
| -
|
| - void replace(String url) => JS('void', '#.replace(#)', _ptr, url);
|
| -
|
| - String toString() => JS('String', '#.toString()', _ptr);
|
| -
|
| -
|
| - static _get(p, m) => JS('var', '#[#]', p, m);
|
| - static _set(p, m, v) => JS('void', '#[#] = #', p, m, v);
|
| -}
|
|
|