| OLD | NEW |
| 1 | 1 |
| 2 class _LocationJs extends _DOMTypeJs implements Location native "*Location" { | 2 class _LocationJs extends _DOMTypeJs implements Location native "*Location" { |
| 3 | 3 |
| 4 String get hash() native "return this.hash;"; | 4 String hash; |
| 5 | 5 |
| 6 void set hash(String value) native "this.hash = value;"; | 6 String host; |
| 7 | 7 |
| 8 String get host() native "return this.host;"; | 8 String hostname; |
| 9 | 9 |
| 10 void set host(String value) native "this.host = value;"; | 10 String href; |
| 11 | 11 |
| 12 String get hostname() native "return this.hostname;"; | 12 final String origin; |
| 13 | 13 |
| 14 void set hostname(String value) native "this.hostname = value;"; | 14 String pathname; |
| 15 | 15 |
| 16 String get href() native "return this.href;"; | 16 String port; |
| 17 | 17 |
| 18 void set href(String value) native "this.href = value;"; | 18 String protocol; |
| 19 | 19 |
| 20 String get origin() native "return this.origin;"; | 20 String search; |
| 21 | |
| 22 String get pathname() native "return this.pathname;"; | |
| 23 | |
| 24 void set pathname(String value) native "this.pathname = value;"; | |
| 25 | |
| 26 String get port() native "return this.port;"; | |
| 27 | |
| 28 void set port(String value) native "this.port = value;"; | |
| 29 | |
| 30 String get protocol() native "return this.protocol;"; | |
| 31 | |
| 32 void set protocol(String value) native "this.protocol = value;"; | |
| 33 | |
| 34 String get search() native "return this.search;"; | |
| 35 | |
| 36 void set search(String value) native "this.search = value;"; | |
| 37 | 21 |
| 38 void assign(String url) native; | 22 void assign(String url) native; |
| 39 | 23 |
| 40 void reload() native; | 24 void reload() native; |
| 41 | 25 |
| 42 void replace(String url) native; | 26 void replace(String url) native; |
| 43 | 27 |
| 44 String toString() native; | 28 String toString() native; |
| 45 } | 29 } |
| OLD | NEW |