| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // WARNING: Do not edit - generated code. | 5 // WARNING: Do not edit - generated code. |
| 6 | 6 |
| 7 class _HTMLMapElementWrappingImplementation extends _HTMLElementWrappingImplemen
tation implements HTMLMapElement { | 7 class _HTMLMapElementWrappingImplementation extends _HTMLElementWrappingImplemen
tation implements HTMLMapElement { |
| 8 _HTMLMapElementWrappingImplementation() : super() {} | 8 _HTMLMapElementWrappingImplementation() : super() {} |
| 9 | 9 |
| 10 static create__HTMLMapElementWrappingImplementation() native { | 10 static create__HTMLMapElementWrappingImplementation() native { |
| 11 return new _HTMLMapElementWrappingImplementation(); | 11 return new _HTMLMapElementWrappingImplementation(); |
| 12 } | 12 } |
| 13 | 13 |
| 14 HTMLCollection get areas() { return _get__HTMLMapElement_areas(this); } | 14 HTMLCollection get areas() { return _get_areas(this); } |
| 15 static HTMLCollection _get__HTMLMapElement_areas(var _this) native; | 15 static HTMLCollection _get_areas(var _this) native; |
| 16 | 16 |
| 17 String get name() { return _get__HTMLMapElement_name(this); } | 17 String get name() { return _get_name(this); } |
| 18 static String _get__HTMLMapElement_name(var _this) native; | 18 static String _get_name(var _this) native; |
| 19 | 19 |
| 20 void set name(String value) { _set__HTMLMapElement_name(this, value); } | 20 void set name(String value) { _set_name(this, value); } |
| 21 static void _set__HTMLMapElement_name(var _this, String value) native; | 21 static void _set_name(var _this, String value) native; |
| 22 | 22 |
| 23 String get typeName() { return "HTMLMapElement"; } | 23 String get typeName() { return "HTMLMapElement"; } |
| 24 } | 24 } |
| OLD | NEW |