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 6ee14cdf3c6088eb6e58be76d7d86d8697ed26ef..11b540f57ed23f7e326045112d61313db685ace0 100644 |
--- a/client/dom/generated/src/frog/HTMLParamElement.dart |
+++ b/client/dom/generated/src/frog/HTMLParamElement.dart |
@@ -1,19 +1,11 @@ |
class _HTMLParamElementJs extends _HTMLElementJs implements HTMLParamElement native "*HTMLParamElement" { |
- String get name() native "return this.name;"; |
+ String name; |
- void set name(String value) native "this.name = value;"; |
+ String type; |
- String get type() native "return this.type;"; |
+ String value; |
- 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;"; |
+ String valueType; |
} |