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._wrap(ptr) : super._wrap(ptr) {} | |
9 | |
10 int get length() { return _ptr.length; } | |
11 | |
12 void back() { | |
13 _ptr.back(); | |
14 return; | |
15 } | |
16 | |
17 void forward() { | |
18 _ptr.forward(); | |
19 return; | |
20 } | |
21 | |
22 void go(int distance) { | |
23 _ptr.go(distance); | |
24 return; | |
25 } | |
26 | |
27 void pushState(Object data, String title, [String url]) { | |
28 if (url === null) { | |
29 _ptr.pushState(LevelDom.unwrapMaybePrimitive(data), title); | |
30 return; | |
31 } else { | |
32 _ptr.pushState(LevelDom.unwrapMaybePrimitive(data), title, url); | |
33 return; | |
34 } | |
35 } | |
36 | |
37 void replaceState(Object data, String title, [String url]) { | |
38 if (url === null) { | |
39 _ptr.replaceState(LevelDom.unwrapMaybePrimitive(data), title); | |
40 return; | |
41 } else { | |
42 _ptr.replaceState(LevelDom.unwrapMaybePrimitive(data), title, url); | |
43 return; | |
44 } | |
45 } | |
46 } | |
OLD | NEW |