Index: client/dom/generated/src/frog/DOMException.dart |
diff --git a/client/dom/generated/src/frog/DOMException.dart b/client/dom/generated/src/frog/DOMException.dart |
index 4888fd312e6b7f06e512afcca91505df7c753bc5..d226d10837d1995c65d0b2e6868385c22b911d51 100644 |
--- a/client/dom/generated/src/frog/DOMException.dart |
+++ b/client/dom/generated/src/frog/DOMException.dart |
@@ -51,11 +51,11 @@ class DOMException native "*DOMException" { |
static final int WRONG_DOCUMENT_ERR = 4; |
- int code; |
+ int get code() native "return this.code;"; |
- String message; |
+ String get message() native "return this.message;"; |
- String name; |
+ String get name() native "return this.name;"; |
String toString() native; |