Index: client/dom/generated/src/frog/XMLHttpRequestException.dart |
diff --git a/client/dom/generated/src/frog/XMLHttpRequestException.dart b/client/dom/generated/src/frog/XMLHttpRequestException.dart |
index 9a008c157b2a46caf785baea0969fb9dfac7ef77..47689462d7fb2007a1a663355ead98370c1b789b 100644 |
--- a/client/dom/generated/src/frog/XMLHttpRequestException.dart |
+++ b/client/dom/generated/src/frog/XMLHttpRequestException.dart |
@@ -5,11 +5,11 @@ class XMLHttpRequestException native "*XMLHttpRequestException" { |
static final int NETWORK_ERR = 101; |
- 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; |