Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(2082)

Unified Diff: client/html/generated/html/dartium/Location.dart

Issue 9663027: Remove generated directories with 100s of files. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: client/html/generated/html/dartium/Location.dart
diff --git a/client/html/generated/html/dartium/Location.dart b/client/html/generated/html/dartium/Location.dart
deleted file mode 100644
index 425e45668b56788d4a62b68ea8f8b46116d8b05a..0000000000000000000000000000000000000000
--- a/client/html/generated/html/dartium/Location.dart
+++ /dev/null
@@ -1,57 +0,0 @@
-
-class _LocationImpl extends _DOMTypeBase implements Location {
- _LocationImpl._wrap(ptr) : super._wrap(ptr);
-
- String get hash() => _wrap(_ptr.hash);
-
- void set hash(String value) { _ptr.hash = _unwrap(value); }
-
- String get host() => _wrap(_ptr.host);
-
- void set host(String value) { _ptr.host = _unwrap(value); }
-
- String get hostname() => _wrap(_ptr.hostname);
-
- void set hostname(String value) { _ptr.hostname = _unwrap(value); }
-
- String get href() => _wrap(_ptr.href);
-
- void set href(String value) { _ptr.href = _unwrap(value); }
-
- String get origin() => _wrap(_ptr.origin);
-
- String get pathname() => _wrap(_ptr.pathname);
-
- void set pathname(String value) { _ptr.pathname = _unwrap(value); }
-
- String get port() => _wrap(_ptr.port);
-
- void set port(String value) { _ptr.port = _unwrap(value); }
-
- String get protocol() => _wrap(_ptr.protocol);
-
- void set protocol(String value) { _ptr.protocol = _unwrap(value); }
-
- String get search() => _wrap(_ptr.search);
-
- void set search(String value) { _ptr.search = _unwrap(value); }
-
- void assign(String url) {
- _ptr.assign(_unwrap(url));
- return;
- }
-
- void reload() {
- _ptr.reload();
- return;
- }
-
- void replace(String url) {
- _ptr.replace(_unwrap(url));
- return;
- }
-
- String toString() {
- return _wrap(_ptr.toString());
- }
-}
« no previous file with comments | « client/html/generated/html/dartium/LocalMediaStream.dart ('k') | client/html/generated/html/dartium/LowPass2FilterNode.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698