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 IFrameElementWrappingImplementation extends ElementWrappingImplementation
implements IFrameElement { | |
8 IFrameElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} | |
9 | |
10 String get align() { return _ptr.align; } | |
11 | |
12 void set align(String value) { _ptr.align = value; } | |
13 | |
14 Document get contentDocument() { return LevelDom.wrapDocument(_ptr.contentDocu
ment); } | |
15 | |
16 Window get contentWindow() { return LevelDom.wrapWindow(_ptr.contentWindow); } | |
17 | |
18 String get frameBorder() { return _ptr.frameBorder; } | |
19 | |
20 void set frameBorder(String value) { _ptr.frameBorder = value; } | |
21 | |
22 String get height() { return _ptr.height; } | |
23 | |
24 void set height(String value) { _ptr.height = value; } | |
25 | |
26 String get longDesc() { return _ptr.longDesc; } | |
27 | |
28 void set longDesc(String value) { _ptr.longDesc = value; } | |
29 | |
30 String get marginHeight() { return _ptr.marginHeight; } | |
31 | |
32 void set marginHeight(String value) { _ptr.marginHeight = value; } | |
33 | |
34 String get marginWidth() { return _ptr.marginWidth; } | |
35 | |
36 void set marginWidth(String value) { _ptr.marginWidth = value; } | |
37 | |
38 String get name() { return _ptr.name; } | |
39 | |
40 void set name(String value) { _ptr.name = value; } | |
41 | |
42 String get sandbox() { return _ptr.sandbox; } | |
43 | |
44 void set sandbox(String value) { _ptr.sandbox = value; } | |
45 | |
46 String get scrolling() { return _ptr.scrolling; } | |
47 | |
48 void set scrolling(String value) { _ptr.scrolling = value; } | |
49 | |
50 String get src() { return _ptr.src; } | |
51 | |
52 void set src(String value) { _ptr.src = value; } | |
53 | |
54 String get width() { return _ptr.width; } | |
55 | |
56 void set width(String value) { _ptr.width = value; } | |
57 } | |
OLD | NEW |