| OLD | NEW |
| 1 | 1 |
| 2 class _HTMLProgressElementJs extends _HTMLElementJs implements HTMLProgressEleme
nt native "*HTMLProgressElement" { | 2 class _HTMLProgressElementJs extends _HTMLElementJs implements HTMLProgressEleme
nt native "*HTMLProgressElement" { |
| 3 | 3 |
| 4 _HTMLFormElementJs get form() native "return this.form;"; | 4 final _HTMLFormElementJs form; |
| 5 | 5 |
| 6 _NodeListJs get labels() native "return this.labels;"; | 6 final _NodeListJs labels; |
| 7 | 7 |
| 8 num get max() native "return this.max;"; | 8 num max; |
| 9 | 9 |
| 10 void set max(num value) native "this.max = value;"; | 10 final num position; |
| 11 | 11 |
| 12 num get position() native "return this.position;"; | 12 num value; |
| 13 | |
| 14 num get value() native "return this.value;"; | |
| 15 | |
| 16 void set value(num value) native "this.value = value;"; | |
| 17 } | 13 } |
| OLD | NEW |