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 b9cf5d3275ae32f630d36446415ecc8ab55ec4ef..ba0b419992d0362f41f4159da432d90025e7c507 100644 |
--- a/client/dom/generated/src/frog/WorkerLocation.dart |
+++ b/client/dom/generated/src/frog/WorkerLocation.dart |
@@ -1,21 +1,21 @@ |
class _WorkerLocationJs extends _DOMTypeJs implements WorkerLocation native "*WorkerLocation" { |
- String get hash() native "return this.hash;"; |
+ final String hash; |
- String get host() native "return this.host;"; |
+ final String host; |
- String get hostname() native "return this.hostname;"; |
+ final String hostname; |
- String get href() native "return this.href;"; |
+ final String href; |
- String get pathname() native "return this.pathname;"; |
+ final String pathname; |
- String get port() native "return this.port;"; |
+ final String port; |
- String get protocol() native "return this.protocol;"; |
+ final String protocol; |
- String get search() native "return this.search;"; |
+ final String search; |
String toString() native; |
} |