| 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;
|
|
|
|
|