// 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 AreaElementWrappingImplementation extends ElementWrappingImplementation implements AreaElement {
  AreaElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}

  String get accessKey() { return _ptr.accessKey; }

  void set accessKey(String value) { _ptr.accessKey = value; }

  String get alt() { return _ptr.alt; }

  void set alt(String value) { _ptr.alt = value; }

  String get coords() { return _ptr.coords; }

  void set coords(String value) { _ptr.coords = value; }

  String get hash() { return _ptr.hash; }

  String get host() { return _ptr.host; }

  String get hostname() { return _ptr.hostname; }

  String get href() { return _ptr.href; }

  void set href(String value) { _ptr.href = value; }

  bool get noHref() { return _ptr.noHref; }

  void set noHref(bool value) { _ptr.noHref = value; }

  String get pathname() { return _ptr.pathname; }

  String get ping() { return _ptr.ping; }

  void set ping(String value) { _ptr.ping = value; }

  String get port() { return _ptr.port; }

  String get protocol() { return _ptr.protocol; }

  String get search() { return _ptr.search; }

  String get shape() { return _ptr.shape; }

  void set shape(String value) { _ptr.shape = value; }

  String get target() { return _ptr.target; }

  void set target(String value) { _ptr.target = value; }

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