| 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 _HistoryWrappingImplementation extends DOMWrapperBase implements History { | 7 class _HistoryWrappingImplementation extends DOMWrapperBase implements History { |
| 8 _HistoryWrappingImplementation() : super() {} | 8 _HistoryWrappingImplementation() : super() {} |
| 9 | 9 |
| 10 static create__HistoryWrappingImplementation() native { | 10 static create__HistoryWrappingImplementation() native { |
| 11 return new _HistoryWrappingImplementation(); | 11 return new _HistoryWrappingImplementation(); |
| 12 } | 12 } |
| 13 | 13 |
| 14 int get length() { return _get_length(this); } | 14 int get length() { return _get_length(this); } |
| 15 static int _get_length(var _this) native; | 15 static int _get_length(var _this) native; |
| 16 | 16 |
| 17 Dynamic get state() { return _get_state(this); } |
| 18 static Dynamic _get_state(var _this) native; |
| 19 |
| 17 void back() { | 20 void back() { |
| 18 _back(this); | 21 _back(this); |
| 19 return; | 22 return; |
| 20 } | 23 } |
| 21 static void _back(receiver) native; | 24 static void _back(receiver) native; |
| 22 | 25 |
| 23 void forward() { | 26 void forward() { |
| 24 _forward(this); | 27 _forward(this); |
| 25 return; | 28 return; |
| 26 } | 29 } |
| (...skipping 24 matching lines...) Expand all Loading... |
| 51 } else { | 54 } else { |
| 52 _replaceState_2(this, data, title, url); | 55 _replaceState_2(this, data, title, url); |
| 53 return; | 56 return; |
| 54 } | 57 } |
| 55 } | 58 } |
| 56 static void _replaceState(receiver, data, title) native; | 59 static void _replaceState(receiver, data, title) native; |
| 57 static void _replaceState_2(receiver, data, title, url) native; | 60 static void _replaceState_2(receiver, data, title, url) native; |
| 58 | 61 |
| 59 String get typeName() { return "History"; } | 62 String get typeName() { return "History"; } |
| 60 } | 63 } |
| OLD | NEW |