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 |