![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
00001 #ifndef SESSTYPE__PARAMETERISED__UTIL__EMPTY_VISITOR_H__ 00002 #define SESSTYPE__PARAMETERISED__UTIL__EMPTY_VISITOR_H__ 00003 00004 #include "sesstype/parameterised/util/expr_visitor.h" 00005 #include "sesstype/parameterised/util/node_visitor.h" 00006 00007 namespace sesstype { 00008 namespace parameterised { 00009 namespace util { 00010 00011 class EmptyVisitor : public NodeVisitor, public ExprVisitor { 00012 public: 00013 virtual void visit(Node *node) { } 00014 virtual void visit(BlockNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00015 virtual void visit(sesstype::parameterised::InteractionNode *node) { } 00016 virtual void visit(ChoiceNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00017 virtual void visit(RecurNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00018 virtual void visit(ContinueNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00019 virtual void visit(ParNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00020 virtual void visit(NestedNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00021 virtual void visit(InterruptibleNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00022 virtual void visit(ForNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00023 virtual void visit(OneofNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00024 virtual void visit(IfNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00025 virtual void visit(AllReduceNodeTmpl<Node, Role, MsgSig, util::NodeVisitor> *node) { } 00026 virtual void visit(Expr *expr) { } 00027 virtual void visit(VarExpr *expr) { } 00028 virtual void visit(ValExpr *expr) { } 00029 virtual void visit(AddExpr *expr) { } 00030 virtual void visit(SubExpr *expr) { } 00031 virtual void visit(MulExpr *expr) { } 00032 virtual void visit(DivExpr *expr) { } 00033 virtual void visit(ModExpr *expr) { } 00034 virtual void visit(ShlExpr *expr) { } 00035 virtual void visit(ShrExpr *expr) { } 00036 virtual void visit(SeqExpr *expr) { } 00037 virtual void visit(RngExpr *expr) { } 00038 virtual void visit(LogExpr *expr) { } 00039 }; 00040 00041 } // namespace util 00042 } // namespace parameterised 00043 } // namespace sesstype 00044 00045 00046 #endif//SESSTYPE__PARAMETERISED__UTIL__EMPTY_VISITOR_H__