| OLD | NEW |
| 1 | 1 |
| 2 class _TouchJs extends _DOMTypeJs implements Touch native "*Touch" { | 2 class _TouchJs extends _DOMTypeJs implements Touch native "*Touch" { |
| 3 | 3 |
| 4 int get clientX() native "return this.clientX;"; | 4 final int clientX; |
| 5 | 5 |
| 6 int get clientY() native "return this.clientY;"; | 6 final int clientY; |
| 7 | 7 |
| 8 int get identifier() native "return this.identifier;"; | 8 final int identifier; |
| 9 | 9 |
| 10 int get pageX() native "return this.pageX;"; | 10 final int pageX; |
| 11 | 11 |
| 12 int get pageY() native "return this.pageY;"; | 12 final int pageY; |
| 13 | 13 |
| 14 int get screenX() native "return this.screenX;"; | 14 final int screenX; |
| 15 | 15 |
| 16 int get screenY() native "return this.screenY;"; | 16 final int screenY; |
| 17 | 17 |
| 18 _EventTargetJs get target() native "return this.target;"; | 18 final _EventTargetJs target; |
| 19 | 19 |
| 20 num get webkitForce() native "return this.webkitForce;"; | 20 final num webkitForce; |
| 21 | 21 |
| 22 int get webkitRadiusX() native "return this.webkitRadiusX;"; | 22 final int webkitRadiusX; |
| 23 | 23 |
| 24 int get webkitRadiusY() native "return this.webkitRadiusY;"; | 24 final int webkitRadiusY; |
| 25 | 25 |
| 26 num get webkitRotationAngle() native "return this.webkitRotationAngle;"; | 26 final num webkitRotationAngle; |
| 27 } | 27 } |
| OLD | NEW |