| 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 _HTMLParamElementWrappingImplementation extends _HTMLElementWrappingImplem
entation implements HTMLParamElement { | 7 class _HTMLParamElementWrappingImplementation extends _HTMLElementWrappingImplem
entation implements HTMLParamElement { |
| 8 _HTMLParamElementWrappingImplementation() : super() {} | 8 _HTMLParamElementWrappingImplementation() : super() {} |
| 9 | 9 |
| 10 static create__HTMLParamElementWrappingImplementation() native { | 10 static create__HTMLParamElementWrappingImplementation() native { |
| 11 return new _HTMLParamElementWrappingImplementation(); | 11 return new _HTMLParamElementWrappingImplementation(); |
| 12 } | 12 } |
| 13 | 13 |
| 14 String get name() { return _get__HTMLParamElement_name(this); } | 14 String get name() { return _get_name(this); } |
| 15 static String _get__HTMLParamElement_name(var _this) native; | 15 static String _get_name(var _this) native; |
| 16 | 16 |
| 17 void set name(String value) { _set__HTMLParamElement_name(this, value); } | 17 void set name(String value) { _set_name(this, value); } |
| 18 static void _set__HTMLParamElement_name(var _this, String value) native; | 18 static void _set_name(var _this, String value) native; |
| 19 | 19 |
| 20 String get type() { return _get__HTMLParamElement_type(this); } | 20 String get type() { return _get_type(this); } |
| 21 static String _get__HTMLParamElement_type(var _this) native; | 21 static String _get_type(var _this) native; |
| 22 | 22 |
| 23 void set type(String value) { _set__HTMLParamElement_type(this, value); } | 23 void set type(String value) { _set_type(this, value); } |
| 24 static void _set__HTMLParamElement_type(var _this, String value) native; | 24 static void _set_type(var _this, String value) native; |
| 25 | 25 |
| 26 String get value() { return _get__HTMLParamElement_value(this); } | 26 String get value() { return _get_value(this); } |
| 27 static String _get__HTMLParamElement_value(var _this) native; | 27 static String _get_value(var _this) native; |
| 28 | 28 |
| 29 void set value(String value) { _set__HTMLParamElement_value(this, value); } | 29 void set value(String value) { _set_value(this, value); } |
| 30 static void _set__HTMLParamElement_value(var _this, String value) native; | 30 static void _set_value(var _this, String value) native; |
| 31 | 31 |
| 32 String get valueType() { return _get__HTMLParamElement_valueType(this); } | 32 String get valueType() { return _get_valueType(this); } |
| 33 static String _get__HTMLParamElement_valueType(var _this) native; | 33 static String _get_valueType(var _this) native; |
| 34 | 34 |
| 35 void set valueType(String value) { _set__HTMLParamElement_valueType(this, valu
e); } | 35 void set valueType(String value) { _set_valueType(this, value); } |
| 36 static void _set__HTMLParamElement_valueType(var _this, String value) native; | 36 static void _set_valueType(var _this, String value) native; |
| 37 | 37 |
| 38 String get typeName() { return "HTMLParamElement"; } | 38 String get typeName() { return "HTMLParamElement"; } |
| 39 } | 39 } |
| OLD | NEW |