Index: client/html/generated/src/wrapping/_LocationWrappingImplementation.dart |
diff --git a/client/html/generated/src/wrapping/_LocationWrappingImplementation.dart b/client/html/generated/src/wrapping/_LocationWrappingImplementation.dart |
deleted file mode 100644 |
index 2c821aef04c32b752f466cd5689a64849cb1c1e8..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/wrapping/_LocationWrappingImplementation.dart |
+++ /dev/null |
@@ -1,66 +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. |
- |
-// WARNING: Do not edit - generated code. |
- |
-class LocationWrappingImplementation extends DOMWrapperBase implements Location { |
- LocationWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} |
- |
- String get hash() { return _ptr.hash; } |
- |
- void set hash(String value) { _ptr.hash = value; } |
- |
- String get host() { return _ptr.host; } |
- |
- void set host(String value) { _ptr.host = value; } |
- |
- String get hostname() { return _ptr.hostname; } |
- |
- void set hostname(String value) { _ptr.hostname = value; } |
- |
- String get href() { return _ptr.href; } |
- |
- void set href(String value) { _ptr.href = value; } |
- |
- String get origin() { return _ptr.origin; } |
- |
- String get pathname() { return _ptr.pathname; } |
- |
- void set pathname(String value) { _ptr.pathname = value; } |
- |
- String get port() { return _ptr.port; } |
- |
- void set port(String value) { _ptr.port = value; } |
- |
- String get protocol() { return _ptr.protocol; } |
- |
- void set protocol(String value) { _ptr.protocol = value; } |
- |
- String get search() { return _ptr.search; } |
- |
- void set search(String value) { _ptr.search = value; } |
- |
- void assign(String url) { |
- _ptr.assign(url); |
- return; |
- } |
- |
- String getParameter(String name) { |
- return _ptr.getParameter(name); |
- } |
- |
- void reload() { |
- _ptr.reload(); |
- return; |
- } |
- |
- void replace(String url) { |
- _ptr.replace(url); |
- return; |
- } |
- |
- String toString() { |
- return _ptr.toString(); |
- } |
-} |