| Index: client/dom/generated/src/frog/EventException.dart
|
| diff --git a/client/dom/generated/src/frog/EventException.dart b/client/dom/generated/src/frog/EventException.dart
|
| index e4a113c923d99e8646ab0fa4e1a5ae7cb9747d14..b8df2c1dcee037731bc244427e27e2c324bee426 100644
|
| --- a/client/dom/generated/src/frog/EventException.dart
|
| +++ b/client/dom/generated/src/frog/EventException.dart
|
| @@ -5,11 +5,11 @@ class EventException native "*EventException" {
|
|
|
| static final int UNSPECIFIED_EVENT_TYPE_ERR = 0;
|
|
|
| - 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;
|
|
|
|
|