OLD | NEW |
1 | 1 |
2 class _HTMLAreaElementJs extends _HTMLElementJs implements HTMLAreaElement nativ
e "*HTMLAreaElement" { | 2 class _HTMLAreaElementJs extends _HTMLElementJs implements HTMLAreaElement nativ
e "*HTMLAreaElement" { |
3 | 3 |
4 String get alt() native "return this.alt;"; | 4 String alt; |
5 | 5 |
6 void set alt(String value) native "this.alt = value;"; | 6 String coords; |
7 | 7 |
8 String get coords() native "return this.coords;"; | 8 final String hash; |
9 | 9 |
10 void set coords(String value) native "this.coords = value;"; | 10 final String host; |
11 | 11 |
12 String get hash() native "return this.hash;"; | 12 final String hostname; |
13 | 13 |
14 String get host() native "return this.host;"; | 14 String href; |
15 | 15 |
16 String get hostname() native "return this.hostname;"; | 16 bool noHref; |
17 | 17 |
18 String get href() native "return this.href;"; | 18 final String pathname; |
19 | 19 |
20 void set href(String value) native "this.href = value;"; | 20 String ping; |
21 | 21 |
22 bool get noHref() native "return this.noHref;"; | 22 final String port; |
23 | 23 |
24 void set noHref(bool value) native "this.noHref = value;"; | 24 final String protocol; |
25 | 25 |
26 String get pathname() native "return this.pathname;"; | 26 final String search; |
27 | 27 |
28 String get ping() native "return this.ping;"; | 28 String shape; |
29 | 29 |
30 void set ping(String value) native "this.ping = value;"; | 30 String target; |
31 | |
32 String get port() native "return this.port;"; | |
33 | |
34 String get protocol() native "return this.protocol;"; | |
35 | |
36 String get search() native "return this.search;"; | |
37 | |
38 String get shape() native "return this.shape;"; | |
39 | |
40 void set shape(String value) native "this.shape = value;"; | |
41 | |
42 String get target() native "return this.target;"; | |
43 | |
44 void set target(String value) native "this.target = value;"; | |
45 } | 31 } |
OLD | NEW |