libsesstype  2.0.0
Library for Session Types programming.
role_visitor.h
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__
 All Classes Namespaces Files Functions