libsesstype  2.0.0
Library for Session Types programming.
role_visitor.h
Go to the documentation of this file.
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__
 All Classes Namespaces Files Functions