// 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 _HTMLAreaElementWrappingImplementation extends _HTMLElementWrappingImplementation implements HTMLAreaElement {
  _HTMLAreaElementWrappingImplementation() : super() {}

  static create__HTMLAreaElementWrappingImplementation() native {
    return new _HTMLAreaElementWrappingImplementation();
  }

  String get accessKey() { return _get__HTMLAreaElement_accessKey(this); }
  static String _get__HTMLAreaElement_accessKey(var _this) native;

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

  String get alt() { return _get__HTMLAreaElement_alt(this); }
  static String _get__HTMLAreaElement_alt(var _this) native;

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

  String get coords() { return _get__HTMLAreaElement_coords(this); }
  static String _get__HTMLAreaElement_coords(var _this) native;

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

  String get hash() { return _get__HTMLAreaElement_hash(this); }
  static String _get__HTMLAreaElement_hash(var _this) native;

  String get host() { return _get__HTMLAreaElement_host(this); }
  static String _get__HTMLAreaElement_host(var _this) native;

  String get hostname() { return _get__HTMLAreaElement_hostname(this); }
  static String _get__HTMLAreaElement_hostname(var _this) native;

  String get href() { return _get__HTMLAreaElement_href(this); }
  static String _get__HTMLAreaElement_href(var _this) native;

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

  bool get noHref() { return _get__HTMLAreaElement_noHref(this); }
  static bool _get__HTMLAreaElement_noHref(var _this) native;

  void set noHref(bool value) { _set__HTMLAreaElement_noHref(this, value); }
  static void _set__HTMLAreaElement_noHref(var _this, bool value) native;

  String get pathname() { return _get__HTMLAreaElement_pathname(this); }
  static String _get__HTMLAreaElement_pathname(var _this) native;

  String get ping() { return _get__HTMLAreaElement_ping(this); }
  static String _get__HTMLAreaElement_ping(var _this) native;

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

  String get port() { return _get__HTMLAreaElement_port(this); }
  static String _get__HTMLAreaElement_port(var _this) native;

  String get protocol() { return _get__HTMLAreaElement_protocol(this); }
  static String _get__HTMLAreaElement_protocol(var _this) native;

  String get search() { return _get__HTMLAreaElement_search(this); }
  static String _get__HTMLAreaElement_search(var _this) native;

  String get shape() { return _get__HTMLAreaElement_shape(this); }
  static String _get__HTMLAreaElement_shape(var _this) native;

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

  String get target() { return _get__HTMLAreaElement_target(this); }
  static String _get__HTMLAreaElement_target(var _this) native;

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

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