Index: client/dom/generated/src/frog/HTMLParamElement.dart |
diff --git a/client/dom/generated/src/frog/HTMLParamElement.dart b/client/dom/generated/src/frog/HTMLParamElement.dart |
index 4971b464d354bf02116e740450129aef2d9cc4d7..83f77345756b5ebedbad03b41b476b4bf2169772 100644 |
--- a/client/dom/generated/src/frog/HTMLParamElement.dart |
+++ b/client/dom/generated/src/frog/HTMLParamElement.dart |
@@ -1,11 +1,19 @@ |
class HTMLParamElement extends HTMLElement native "*HTMLParamElement" { |
- String name; |
+ String get name() native "return this.name;"; |
- String type; |
+ void set name(String value) native "this.name = value;"; |
- String value; |
+ String get type() native "return this.type;"; |
- String valueType; |
+ void set type(String value) native "this.type = value;"; |
+ |
+ String get value() native "return this.value;"; |
+ |
+ void set value(String value) native "this.value = value;"; |
+ |
+ String get valueType() native "return this.valueType;"; |
+ |
+ void set valueType(String value) native "this.valueType = value;"; |
} |