Index: client/dom/generated/src/interface/EventException.dart |
diff --git a/client/dom/generated/src/interface/EventException.dart b/client/dom/generated/src/interface/EventException.dart |
index 287741e6584f172b4fd7b67325f10235470f3bf5..c0113d1d1877b78b06768c39adbc619096cab08a 100644 |
--- a/client/dom/generated/src/interface/EventException.dart |
+++ b/client/dom/generated/src/interface/EventException.dart |
@@ -10,11 +10,11 @@ interface EventException { |
static final int UNSPECIFIED_EVENT_TYPE_ERR = 0; |
- int get code(); |
+ final int code; |
- String get message(); |
+ final String message; |
- String get name(); |
+ final String name; |
String toString(); |
} |