![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
00001 00005 #ifndef SESSTYPE__UTIL__ROLE_VISITOR_H__ 00006 #define SESSTYPE__UTIL__ROLE_VISITOR_H__ 00007 00008 #include "sesstype/util/visitor_tmpl.h" 00009 00010 #ifdef __cplusplus 00011 namespace sesstype { 00012 class Role; 00013 } // namespace sesstype 00014 #endif 00015 00016 #ifdef __cplusplus 00017 namespace sesstype { 00018 namespace util { 00019 #endif 00020 00021 #ifdef __cplusplus 00022 00025 class RoleVisitor { 00026 public: 00027 virtual void visit(Role *node) = 0; 00028 }; 00029 #endif // __cplusplus 00030 00031 #ifdef __cplusplus 00032 } // namespace util 00033 } // namespace sesstype 00034 #endif 00035 00036 #endif//SESSTYPE__UTILS__ROLE_VISITOR_H__