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

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

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

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

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

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