OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // WARNING: Do not edit - generated code. | |
6 | |
7 class _HTMLFrameElementWrappingImplementation extends _HTMLElementWrappingImplem
entation implements HTMLFrameElement { | |
8 _HTMLFrameElementWrappingImplementation() : super() {} | |
9 | |
10 static create__HTMLFrameElementWrappingImplementation() native { | |
11 return new _HTMLFrameElementWrappingImplementation(); | |
12 } | |
13 | |
14 Document get contentDocument() { return _get_contentDocument(this); } | |
15 static Document _get_contentDocument(var _this) native; | |
16 | |
17 DOMWindow get contentWindow() { return _get_contentWindow(this); } | |
18 static DOMWindow _get_contentWindow(var _this) native; | |
19 | |
20 String get frameBorder() { return _get_frameBorder(this); } | |
21 static String _get_frameBorder(var _this) native; | |
22 | |
23 void set frameBorder(String value) { _set_frameBorder(this, value); } | |
24 static void _set_frameBorder(var _this, String value) native; | |
25 | |
26 int get height() { return _get_height(this); } | |
27 static int _get_height(var _this) native; | |
28 | |
29 String get location() { return _get_location(this); } | |
30 static String _get_location(var _this) native; | |
31 | |
32 void set location(String value) { _set_location(this, value); } | |
33 static void _set_location(var _this, String value) native; | |
34 | |
35 String get longDesc() { return _get_longDesc(this); } | |
36 static String _get_longDesc(var _this) native; | |
37 | |
38 void set longDesc(String value) { _set_longDesc(this, value); } | |
39 static void _set_longDesc(var _this, String value) native; | |
40 | |
41 String get marginHeight() { return _get_marginHeight(this); } | |
42 static String _get_marginHeight(var _this) native; | |
43 | |
44 void set marginHeight(String value) { _set_marginHeight(this, value); } | |
45 static void _set_marginHeight(var _this, String value) native; | |
46 | |
47 String get marginWidth() { return _get_marginWidth(this); } | |
48 static String _get_marginWidth(var _this) native; | |
49 | |
50 void set marginWidth(String value) { _set_marginWidth(this, value); } | |
51 static void _set_marginWidth(var _this, String value) native; | |
52 | |
53 String get name() { return _get_name(this); } | |
54 static String _get_name(var _this) native; | |
55 | |
56 void set name(String value) { _set_name(this, value); } | |
57 static void _set_name(var _this, String value) native; | |
58 | |
59 bool get noResize() { return _get_noResize(this); } | |
60 static bool _get_noResize(var _this) native; | |
61 | |
62 void set noResize(bool value) { _set_noResize(this, value); } | |
63 static void _set_noResize(var _this, bool value) native; | |
64 | |
65 String get scrolling() { return _get_scrolling(this); } | |
66 static String _get_scrolling(var _this) native; | |
67 | |
68 void set scrolling(String value) { _set_scrolling(this, value); } | |
69 static void _set_scrolling(var _this, String value) native; | |
70 | |
71 String get src() { return _get_src(this); } | |
72 static String _get_src(var _this) native; | |
73 | |
74 void set src(String value) { _set_src(this, value); } | |
75 static void _set_src(var _this, String value) native; | |
76 | |
77 int get width() { return _get_width(this); } | |
78 static int _get_width(var _this) native; | |
79 | |
80 SVGDocument getSVGDocument() { | |
81 return _getSVGDocument(this); | |
82 } | |
83 static SVGDocument _getSVGDocument(receiver) native; | |
84 | |
85 String get typeName() { return "HTMLFrameElement"; } | |
86 } | |
OLD | NEW |