| Index: client/dom/generated/src/frog/WorkerLocation.dart
|
| diff --git a/client/dom/generated/src/frog/WorkerLocation.dart b/client/dom/generated/src/frog/WorkerLocation.dart
|
| index 8839bd8775ba1d4497ecad9f154a916fc648aa57..aaec5d9c89ed735bdcdc0ac57df15c3896214b8d 100644
|
| --- a/client/dom/generated/src/frog/WorkerLocation.dart
|
| +++ b/client/dom/generated/src/frog/WorkerLocation.dart
|
| @@ -1,21 +1,21 @@
|
|
|
| class WorkerLocation native "*WorkerLocation" {
|
|
|
| - String hash;
|
| + String get hash() native "return this.hash;";
|
|
|
| - String host;
|
| + String get host() native "return this.host;";
|
|
|
| - String hostname;
|
| + String get hostname() native "return this.hostname;";
|
|
|
| - String href;
|
| + String get href() native "return this.href;";
|
|
|
| - String pathname;
|
| + String get pathname() native "return this.pathname;";
|
|
|
| - String port;
|
| + String get port() native "return this.port;";
|
|
|
| - String protocol;
|
| + String get protocol() native "return this.protocol;";
|
|
|
| - String search;
|
| + String get search() native "return this.search;";
|
|
|
| String toString() native;
|
|
|
|
|