| Index: client/dom/generated/src/frog/Location.dart
|
| diff --git a/client/dom/generated/src/frog/Location.dart b/client/dom/generated/src/frog/Location.dart
|
| index 956f463e8c426186d162d62ad9007aa59695ad11..d46cb1c30ee888aed3811f8469fed3313606dc11 100644
|
| --- a/client/dom/generated/src/frog/Location.dart
|
| +++ b/client/dom/generated/src/frog/Location.dart
|
| @@ -1,23 +1,39 @@
|
|
|
| class Location native "*Location" {
|
|
|
| - String hash;
|
| + String get hash() native "return this.hash;";
|
|
|
| - String host;
|
| + void set hash(String value) native "this.hash = value;";
|
|
|
| - String hostname;
|
| + String get host() native "return this.host;";
|
|
|
| - String href;
|
| + void set host(String value) native "this.host = value;";
|
|
|
| - String origin;
|
| + String get hostname() native "return this.hostname;";
|
|
|
| - String pathname;
|
| + void set hostname(String value) native "this.hostname = value;";
|
|
|
| - String port;
|
| + String get href() native "return this.href;";
|
|
|
| - String protocol;
|
| + void set href(String value) native "this.href = value;";
|
|
|
| - String search;
|
| + String get origin() native "return this.origin;";
|
| +
|
| + String get pathname() native "return this.pathname;";
|
| +
|
| + void set pathname(String value) native "this.pathname = value;";
|
| +
|
| + String get port() native "return this.port;";
|
| +
|
| + void set port(String value) native "this.port = value;";
|
| +
|
| + String get protocol() native "return this.protocol;";
|
| +
|
| + void set protocol(String value) native "this.protocol = value;";
|
| +
|
| + String get search() native "return this.search;";
|
| +
|
| + void set search(String value) native "this.search = value;";
|
|
|
| void assign(String url) native;
|
|
|
|
|