| 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 |