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

  static create__HTMLIFrameElementWrappingImplementation() native {
    return new _HTMLIFrameElementWrappingImplementation();
  }

  String get align() { return _get__HTMLIFrameElement_align(this); }
  static String _get__HTMLIFrameElement_align(var _this) native;

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

  Document get contentDocument() { return _get__HTMLIFrameElement_contentDocument(this); }
  static Document _get__HTMLIFrameElement_contentDocument(var _this) native;

  DOMWindow get contentWindow() { return _get__HTMLIFrameElement_contentWindow(this); }
  static DOMWindow _get__HTMLIFrameElement_contentWindow(var _this) native;

  String get frameBorder() { return _get__HTMLIFrameElement_frameBorder(this); }
  static String _get__HTMLIFrameElement_frameBorder(var _this) native;

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

  String get height() { return _get__HTMLIFrameElement_height(this); }
  static String _get__HTMLIFrameElement_height(var _this) native;

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

  String get longDesc() { return _get__HTMLIFrameElement_longDesc(this); }
  static String _get__HTMLIFrameElement_longDesc(var _this) native;

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

  String get marginHeight() { return _get__HTMLIFrameElement_marginHeight(this); }
  static String _get__HTMLIFrameElement_marginHeight(var _this) native;

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

  String get marginWidth() { return _get__HTMLIFrameElement_marginWidth(this); }
  static String _get__HTMLIFrameElement_marginWidth(var _this) native;

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

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

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

  String get sandbox() { return _get__HTMLIFrameElement_sandbox(this); }
  static String _get__HTMLIFrameElement_sandbox(var _this) native;

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

  String get scrolling() { return _get__HTMLIFrameElement_scrolling(this); }
  static String _get__HTMLIFrameElement_scrolling(var _this) native;

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

  String get src() { return _get__HTMLIFrameElement_src(this); }
  static String _get__HTMLIFrameElement_src(var _this) native;

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

  String get width() { return _get__HTMLIFrameElement_width(this); }
  static String _get__HTMLIFrameElement_width(var _this) native;

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

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