Code generator: Print a warning for xge events

These are currently not handled correctly.

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>

1 files changed, 2 insertions, 0 deletions

diff --git a/src/extensions.py b/src/extensions.py
index f6de17a..06f4710 100755
--- a/src/extensions.py
+++ b/src/extensions.py
@@ -26,6 +26,8 @@ class Module(object):
                 if tag == "error" or tag == "errorcopy":
                     self.errors[number] = name
                 else:
+                    if elt.get("xge") == "true":
+                        print("%s: XGE event %s not handled correctly" % (self.name, name))
                     self.events[number] = name
             elif tag == "request":
                 name = elt.get("name")