// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// WARNING: Do not edit - generated code.

class _HTMLParamElementWrappingImplementation extends _HTMLElementWrappingImplementation implements HTMLParamElement {
  _HTMLParamElementWrappingImplementation() : super() {}

  static create__HTMLParamElementWrappingImplementation() native {
    return new _HTMLParamElementWrappingImplementation();
  }

  String get name() { return _get__HTMLParamElement_name(this); }
  static String _get__HTMLParamElement_name(var _this) native;

  void set name(String value) { _set__HTMLParamElement_name(this, value); }
  static void _set__HTMLParamElement_name(var _this, String value) native;

  String get type() { return _get__HTMLParamElement_type(this); }
  static String _get__HTMLParamElement_type(var _this) native;

  void set type(String value) { _set__HTMLParamElement_type(this, value); }
  static void _set__HTMLParamElement_type(var _this, String value) native;

  String get value() { return _get__HTMLParamElement_value(this); }
  static String _get__HTMLParamElement_value(var _this) native;

  void set value(String value) { _set__HTMLParamElement_value(this, value); }
  static void _set__HTMLParamElement_value(var _this, String value) native;

  String get valueType() { return _get__HTMLParamElement_valueType(this); }
  static String _get__HTMLParamElement_valueType(var _this) native;

  void set valueType(String value) { _set__HTMLParamElement_valueType(this, value); }
  static void _set__HTMLParamElement_valueType(var _this, String value) native;

  String get typeName() { return "HTMLParamElement"; }
}
