Index: client/dom/generated/src/frog/FileException.dart |
diff --git a/client/dom/generated/src/frog/FileException.dart b/client/dom/generated/src/frog/FileException.dart |
index a1ed4d347411a039857827c8bf7454fba1c8f785..aa6fbf2f10dfe5647c8fda64b9dc77e3198abed6 100644 |
--- a/client/dom/generated/src/frog/FileException.dart |
+++ b/client/dom/generated/src/frog/FileException.dart |
@@ -25,11 +25,11 @@ class FileException native "*FileException" { |
static final int TYPE_MISMATCH_ERR = 11; |
- 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; |