Index: client/dom/generated/src/frog/XPathException.dart |
diff --git a/client/dom/generated/src/frog/XPathException.dart b/client/dom/generated/src/frog/XPathException.dart |
index d8257b3db2cd170bdb6b8f32bd4833772a1fbac6..5e6af980e5eb7655c9a4ecc940e573f3598a60e4 100644 |
--- a/client/dom/generated/src/frog/XPathException.dart |
+++ b/client/dom/generated/src/frog/XPathException.dart |
@@ -5,11 +5,11 @@ class XPathException native "*XPathException" { |
static final int TYPE_ERR = 52; |
- 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; |