libsesstype  2.0.0
Library for Session Types programming.
empty_visitor.h
00001 #ifndef SESSTYPE__UTIL__EMPTY_VISITOR_H__
00002 #define SESSTYPE__UTIL__EMPTY_VISITOR_H__
00003 
00004 #include "sesstype/node.h"
00005 #include "sesstype/util/node_visitor.h"
00006 
00007 #ifdef __cplusplus
00008 namespace sesstype {
00009 namespace util {
00010 #endif
00011 
00012 #ifdef __cplusplus
00013 
00016 class EmptyVisitor : public NodeVisitor {
00017   public:
00018     virtual void visit(Node *node) override { }
00019     virtual void visit(BlockNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00020     virtual void visit(InteractionNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00021     virtual void visit(ChoiceNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00022     virtual void visit(RecurNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00023     virtual void visit(ContinueNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00024     virtual void visit(ParNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00025     virtual void visit(NestedNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00026     virtual void visit(InterruptibleNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) override { }
00027 };
00028 #endif // __cplusplus
00029 
00030 #ifdef __cplusplus
00031 } // namespace util
00032 } // namespace sesstype
00033 #endif
00034 
00035 #endif//SESSTYPE__UTIL__EMPTY_VISITOR_H__
 All Classes Namespaces Files Functions