| Index: client/dom/generated/src/interface/Location.dart
|
| diff --git a/client/dom/generated/src/interface/Location.dart b/client/dom/generated/src/interface/Location.dart
|
| index 9ffbaf26b8173d4fc5190a196dba746a715e18f6..16c967cb6088d27ff64645dce9077c25bf62f4da 100644
|
| --- a/client/dom/generated/src/interface/Location.dart
|
| +++ b/client/dom/generated/src/interface/Location.dart
|
| @@ -6,39 +6,23 @@
|
|
|
| interface Location {
|
|
|
| - String get hash();
|
| + String hash;
|
|
|
| - void set hash(String value);
|
| + String host;
|
|
|
| - String get host();
|
| + String hostname;
|
|
|
| - void set host(String value);
|
| + String href;
|
|
|
| - String get hostname();
|
| + final String origin;
|
|
|
| - void set hostname(String value);
|
| + String pathname;
|
|
|
| - String get href();
|
| + String port;
|
|
|
| - void set href(String value);
|
| + String protocol;
|
|
|
| - String get origin();
|
| -
|
| - String get pathname();
|
| -
|
| - void set pathname(String value);
|
| -
|
| - String get port();
|
| -
|
| - void set port(String value);
|
| -
|
| - String get protocol();
|
| -
|
| - void set protocol(String value);
|
| -
|
| - String get search();
|
| -
|
| - void set search(String value);
|
| + String search;
|
|
|
| void assign(String url);
|
|
|
|
|