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

  static create__HTMLHtmlElementWrappingImplementation() native {
    return new _HTMLHtmlElementWrappingImplementation();
  }

  String get manifest() { return _get__HTMLHtmlElement_manifest(this); }
  static String _get__HTMLHtmlElement_manifest(var _this) native;

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

  String get version() { return _get__HTMLHtmlElement_version(this); }
  static String _get__HTMLHtmlElement_version(var _this) native;

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

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