OLD | NEW |
1 | 1 |
2 class HTMLParamElementJS extends HTMLElementJS implements HTMLParamElement nativ
e "*HTMLParamElement" { | 2 class HTMLParamElementJs extends HTMLElementJs implements HTMLParamElement nativ
e "*HTMLParamElement" { |
3 | 3 |
4 String get name() native "return this.name;"; | 4 String get name() native "return this.name;"; |
5 | 5 |
6 void set name(String value) native "this.name = value;"; | 6 void set name(String value) native "this.name = value;"; |
7 | 7 |
8 String get type() native "return this.type;"; | 8 String get type() native "return this.type;"; |
9 | 9 |
10 void set type(String value) native "this.type = value;"; | 10 void set type(String value) native "this.type = value;"; |
11 | 11 |
12 String get value() native "return this.value;"; | 12 String get value() native "return this.value;"; |
13 | 13 |
14 void set value(String value) native "this.value = value;"; | 14 void set value(String value) native "this.value = value;"; |
15 | 15 |
16 String get valueType() native "return this.valueType;"; | 16 String get valueType() native "return this.valueType;"; |
17 | 17 |
18 void set valueType(String value) native "this.valueType = value;"; | 18 void set valueType(String value) native "this.valueType = value;"; |
19 } | 19 } |
OLD | NEW |