Add support for defering events as custom reaction.

diff --git a/src/visualizer.cpp b/src/visualizer.cpp
index 4bcd68ece2111752e9b9016a5b3bb63508f943a8..f470d3d89ee0da0ff7e42c2d32f03074b7143a1c 100644 (file)
--- a/src/visualizer.cpp
+++ b/src/visualizer.cpp
@@ -263,7 +263,13 @@ public:
        : model(model), SrcState(SrcState), EventType(EventType) {}
 
     bool VisitMemberExpr(MemberExpr *E) {
-       if (E->getMemberNameInfo().getAsString() != "transit")
+       if (E->getMemberNameInfo().getAsString() == "defer_event") {
+               CXXRecordDecl *Event = EventType->getAsCXXRecordDecl();
+
+               Model::State *s = model.findState(SrcState->getName());
+               assert(s);
+               s->addDeferredEvent(Event->getName());
+       } else if (E->getMemberNameInfo().getAsString() != "transit")
            return true;
        if (E->hasExplicitTemplateArgs()) {
            const Type *DstStateType = E->getExplicitTemplateArgs()[0].getArgument().getAsType().getTypePtr();