| OLD | NEW |
| 1 | 1 |
| 2 class WorkerLocationJs extends DOMTypeJs implements WorkerLocation native "*Work
erLocation" { | 2 class _WorkerLocationJs extends _DOMTypeJs implements WorkerLocation native "*Wo
rkerLocation" { |
| 3 | 3 |
| 4 String get hash() native "return this.hash;"; | 4 String get hash() native "return this.hash;"; |
| 5 | 5 |
| 6 String get host() native "return this.host;"; | 6 String get host() native "return this.host;"; |
| 7 | 7 |
| 8 String get hostname() native "return this.hostname;"; | 8 String get hostname() native "return this.hostname;"; |
| 9 | 9 |
| 10 String get href() native "return this.href;"; | 10 String get href() native "return this.href;"; |
| 11 | 11 |
| 12 String get pathname() native "return this.pathname;"; | 12 String get pathname() native "return this.pathname;"; |
| 13 | 13 |
| 14 String get port() native "return this.port;"; | 14 String get port() native "return this.port;"; |
| 15 | 15 |
| 16 String get protocol() native "return this.protocol;"; | 16 String get protocol() native "return this.protocol;"; |
| 17 | 17 |
| 18 String get search() native "return this.search;"; | 18 String get search() native "return this.search;"; |
| 19 | 19 |
| 20 String toString() native; | 20 String toString() native; |
| 21 } | 21 } |
| OLD | NEW |