Index: client/html/generated/html/dartium/WorkerLocation.dart |
diff --git a/client/html/generated/html/dartium/WorkerLocation.dart b/client/html/generated/html/dartium/WorkerLocation.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..dd73bffed6eb07c7af2d2d64e8aa5cfd8d4e65e7 |
--- /dev/null |
+++ b/client/html/generated/html/dartium/WorkerLocation.dart |
@@ -0,0 +1,24 @@ |
+ |
+class _WorkerLocationImpl extends _DOMTypeBase implements WorkerLocation { |
+ _WorkerLocationImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ String get hash() => _wrap(_ptr.hash); |
+ |
+ String get host() => _wrap(_ptr.host); |
+ |
+ String get hostname() => _wrap(_ptr.hostname); |
+ |
+ String get href() => _wrap(_ptr.href); |
+ |
+ String get pathname() => _wrap(_ptr.pathname); |
+ |
+ String get port() => _wrap(_ptr.port); |
+ |
+ String get protocol() => _wrap(_ptr.protocol); |
+ |
+ String get search() => _wrap(_ptr.search); |
+ |
+ String toString() { |
+ return _wrap(_ptr.toString()); |
+ } |
+} |