| 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 LocationWrappingImplementation extends DOMWrapperBase implements Location
{ | 7 class LocationWrappingImplementation extends DOMWrapperBase implements Location
{ |
| 8 LocationWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} | 8 LocationWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} |
| 9 | 9 |
| 10 String get hash() { return _ptr.hash; } | 10 String get hash() { return _ptr.hash; } |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 52 | 52 |
| 53 void reload() { | 53 void reload() { |
| 54 _ptr.reload(); | 54 _ptr.reload(); |
| 55 return; | 55 return; |
| 56 } | 56 } |
| 57 | 57 |
| 58 void replace(String url) { | 58 void replace(String url) { |
| 59 _ptr.replace(url); | 59 _ptr.replace(url); |
| 60 return; | 60 return; |
| 61 } | 61 } |
| 62 |
| 63 String toString() { |
| 64 return _ptr.toString(); |
| 65 } |
| 62 } | 66 } |
| OLD | NEW |