![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
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__