| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 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 | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // WARNING: Do not edit - generated code. | 5 // WARNING: Do not edit - generated code. |
| 6 | 6 |
| 7 class _HTMLFrameElementWrappingImplementation extends _HTMLElementWrappingImplem
entation implements HTMLFrameElement { | 7 class _HTMLFrameElementWrappingImplementation extends _HTMLElementWrappingImplem
entation implements HTMLFrameElement { |
| 8 _HTMLFrameElementWrappingImplementation() : super() {} | 8 _HTMLFrameElementWrappingImplementation() : super() {} |
| 9 | 9 |
| 10 static create__HTMLFrameElementWrappingImplementation() native { | 10 static create__HTMLFrameElementWrappingImplementation() native { |
| (...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 70 | 70 |
| 71 String get src() { return _get_src(this); } | 71 String get src() { return _get_src(this); } |
| 72 static String _get_src(var _this) native; | 72 static String _get_src(var _this) native; |
| 73 | 73 |
| 74 void set src(String value) { _set_src(this, value); } | 74 void set src(String value) { _set_src(this, value); } |
| 75 static void _set_src(var _this, String value) native; | 75 static void _set_src(var _this, String value) native; |
| 76 | 76 |
| 77 int get width() { return _get_width(this); } | 77 int get width() { return _get_width(this); } |
| 78 static int _get_width(var _this) native; | 78 static int _get_width(var _this) native; |
| 79 | 79 |
| 80 SVGDocument getSVGDocument() { |
| 81 return _getSVGDocument(this); |
| 82 } |
| 83 static SVGDocument _getSVGDocument(receiver) native; |
| 84 |
| 80 String get typeName() { return "HTMLFrameElement"; } | 85 String get typeName() { return "HTMLFrameElement"; } |
| 81 } | 86 } |
| OLD | NEW |