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 |