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

  static create__HTMLFrameElementWrappingImplementation() native {
    return new _HTMLFrameElementWrappingImplementation();
  }

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

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

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

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

  int get height() { return _get__HTMLFrameElement_height(this); }
  static int _get__HTMLFrameElement_height(var _this) native;

  String get location() { return _get__HTMLFrameElement_location(this); }
  static String _get__HTMLFrameElement_location(var _this) native;

  void set location(String value) { _set__HTMLFrameElement_location(this, value); }
  static void _set__HTMLFrameElement_location(var _this, String value) native;

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

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

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

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

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

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

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

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

  bool get noResize() { return _get__HTMLFrameElement_noResize(this); }
  static bool _get__HTMLFrameElement_noResize(var _this) native;

  void set noResize(bool value) { _set__HTMLFrameElement_noResize(this, value); }
  static void _set__HTMLFrameElement_noResize(var _this, bool value) native;

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

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

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

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

  int get width() { return _get__HTMLFrameElement_width(this); }
  static int _get__HTMLFrameElement_width(var _this) native;

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