![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
00001 #ifndef SESSTYPE__PARAMETERISED__UTIL__ROLE_VISITOR_H__ 00002 #define SESSTYPE__PARAMETERISED__UTIL__ROLE_VISITOR_H__ 00003 00004 #include "sesstype/util/role_visitor.h" 00005 00006 #include "sesstype/parameterised/role.h" 00007 #include "sesstype/parameterised/role_grp.h" 00008 00009 #ifdef __cplusplus 00010 namespace sesstype { 00011 namespace parameterised { 00012 namespace util { 00013 #endif // __cplusplus 00014 00015 #ifdef __cplusplus 00016 class RoleVisitor { 00017 public: 00018 virtual void visit(Role *role) = 0; 00019 virtual void visit(RoleGrp *role) = 0; 00020 }; 00021 #endif // __cplusplus 00022 00023 #ifdef __cplusplus 00024 } // namespace util 00025 } // namespace parameterised 00026 } // namespace sesstype 00027 #endif 00028 00029 #endif//SESSTYPE__PARAMETERISED__UTIL__ROLE_VISITOR_H__