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 _HistoryWrappingImplementation extends DOMWrapperBase implements History { | |
8 _HistoryWrappingImplementation() : super() {} | |
9 | |
10 static create__HistoryWrappingImplementation() native { | |
11 return new _HistoryWrappingImplementation(); | |
12 } | |
13 | |
14 int get length() { return _get_length(this); } | |
15 static int _get_length(var _this) native; | |
16 | |
17 Dynamic get state() { return _get_state(this); } | |
18 static Dynamic _get_state(var _this) native; | |
19 | |
20 void back() { | |
21 _back(this); | |
22 return; | |
23 } | |
24 static void _back(receiver) native; | |
25 | |
26 void forward() { | |
27 _forward(this); | |
28 return; | |
29 } | |
30 static void _forward(receiver) native; | |
31 | |
32 void go(int distance) { | |
33 _go(this, distance); | |
34 return; | |
35 } | |
36 static void _go(receiver, distance) native; | |
37 | |
38 void pushState(Object data, String title, [String url = null]) { | |
39 if (url === null) { | |
40 _pushState(this, data, title); | |
41 return; | |
42 } else { | |
43 _pushState_2(this, data, title, url); | |
44 return; | |
45 } | |
46 } | |
47 static void _pushState(receiver, data, title) native; | |
48 static void _pushState_2(receiver, data, title, url) native; | |
49 | |
50 void replaceState(Object data, String title, [String url = null]) { | |
51 if (url === null) { | |
52 _replaceState(this, data, title); | |
53 return; | |
54 } else { | |
55 _replaceState_2(this, data, title, url); | |
56 return; | |
57 } | |
58 } | |
59 static void _replaceState(receiver, data, title) native; | |
60 static void _replaceState_2(receiver, data, title, url) native; | |
61 | |
62 String get typeName() { return "History"; } | |
63 } | |
OLD | NEW |