| 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 LocationWrappingImplementation extends DOMWrapperBase implements Location
{ | |
| 8 LocationWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} | |
| 9 | |
| 10 String get hash() { return _ptr.hash; } | |
| 11 | |
| 12 void set hash(String value) { _ptr.hash = value; } | |
| 13 | |
| 14 String get host() { return _ptr.host; } | |
| 15 | |
| 16 void set host(String value) { _ptr.host = value; } | |
| 17 | |
| 18 String get hostname() { return _ptr.hostname; } | |
| 19 | |
| 20 void set hostname(String value) { _ptr.hostname = value; } | |
| 21 | |
| 22 String get href() { return _ptr.href; } | |
| 23 | |
| 24 void set href(String value) { _ptr.href = value; } | |
| 25 | |
| 26 String get origin() { return _ptr.origin; } | |
| 27 | |
| 28 String get pathname() { return _ptr.pathname; } | |
| 29 | |
| 30 void set pathname(String value) { _ptr.pathname = value; } | |
| 31 | |
| 32 String get port() { return _ptr.port; } | |
| 33 | |
| 34 void set port(String value) { _ptr.port = value; } | |
| 35 | |
| 36 String get protocol() { return _ptr.protocol; } | |
| 37 | |
| 38 void set protocol(String value) { _ptr.protocol = value; } | |
| 39 | |
| 40 String get search() { return _ptr.search; } | |
| 41 | |
| 42 void set search(String value) { _ptr.search = value; } | |
| 43 | |
| 44 void assign(String url) { | |
| 45 _ptr.assign(url); | |
| 46 return; | |
| 47 } | |
| 48 | |
| 49 String getParameter(String name) { | |
| 50 return _ptr.getParameter(name); | |
| 51 } | |
| 52 | |
| 53 void reload() { | |
| 54 _ptr.reload(); | |
| 55 return; | |
| 56 } | |
| 57 | |
| 58 void replace(String url) { | |
| 59 _ptr.replace(url); | |
| 60 return; | |
| 61 } | |
| 62 | |
| 63 String toString() { | |
| 64 return _ptr.toString(); | |
| 65 } | |
| 66 } | |
| OLD | NEW |