Index: client/html/generated/html/dartium/AreaElement.dart |
diff --git a/client/html/generated/html/dartium/AreaElement.dart b/client/html/generated/html/dartium/AreaElement.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..2c1ac64975d749b4200de93810859af6fa863ceb |
--- /dev/null |
+++ b/client/html/generated/html/dartium/AreaElement.dart |
@@ -0,0 +1,46 @@ |
+ |
+class _AreaElementImpl extends _ElementImpl implements AreaElement { |
+ _AreaElementImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ String get alt() => _wrap(_ptr.alt); |
+ |
+ void set alt(String value) { _ptr.alt = _unwrap(value); } |
+ |
+ String get coords() => _wrap(_ptr.coords); |
+ |
+ void set coords(String value) { _ptr.coords = _unwrap(value); } |
+ |
+ String get hash() => _wrap(_ptr.hash); |
+ |
+ String get host() => _wrap(_ptr.host); |
+ |
+ String get hostname() => _wrap(_ptr.hostname); |
+ |
+ String get href() => _wrap(_ptr.href); |
+ |
+ void set href(String value) { _ptr.href = _unwrap(value); } |
+ |
+ bool get noHref() => _wrap(_ptr.noHref); |
+ |
+ void set noHref(bool value) { _ptr.noHref = _unwrap(value); } |
+ |
+ String get pathname() => _wrap(_ptr.pathname); |
+ |
+ String get ping() => _wrap(_ptr.ping); |
+ |
+ void set ping(String value) { _ptr.ping = _unwrap(value); } |
+ |
+ String get port() => _wrap(_ptr.port); |
+ |
+ String get protocol() => _wrap(_ptr.protocol); |
+ |
+ String get search() => _wrap(_ptr.search); |
+ |
+ String get shape() => _wrap(_ptr.shape); |
+ |
+ void set shape(String value) { _ptr.shape = _unwrap(value); } |
+ |
+ String get target() => _wrap(_ptr.target); |
+ |
+ void set target(String value) { _ptr.target = _unwrap(value); } |
+} |