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; |