libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType > Class Template Reference

Session class encapsulates a single session (parameterised flavour). More...

#include <session.h>

Inheritance diagram for sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 SessionTmpl ()
 Session constructor with "default" as Session name.
 SessionTmpl (std::string name)
virtual ~SessionTmpl ()
 Session destructor.
RoleGrpType * group (std::string name) const
bool has_role_grp (std::string name) const
void add_group (RoleGrpType *group)
unsigned int num_groups () const
RoleGrpContainer::const_iterator rolegrp_begin () const
RoleGrpContainer::const_iterator rolegrp_end () const

Detailed Description

template<class NodeType, class RoleType, class RoleGrpType>
class sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >

Session class encapsulates a single session (parameterised flavour).


Constructor & Destructor Documentation

template<class NodeType , class RoleType , class RoleGrpType >
sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >::SessionTmpl ( std::string  name) [inline]

Session constructor.

Parameters:
[in]nameSession name.

Reimplemented from sesstype::SessionTmpl< NodeType, RoleType >.


Member Function Documentation

template<class NodeType , class RoleType , class RoleGrpType >
void sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >::add_group ( RoleGrpType *  group) [inline]

Add a RoleGrp as a participant of the Session.

Parameters:
[in]groupto add to this Session.
template<class NodeType , class RoleType , class RoleGrpType >
RoleGrpType* sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >::group ( std::string  name) const [inline]
Parameters:
[in]nameof the RoleGrp.
Returns:
RoleGrp named name.
Exceptions:
std::out_of_range_if not found.
template<class NodeType , class RoleType , class RoleGrpType >
bool sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >::has_role_grp ( std::string  name) const [inline]
Parameters:
[in]groupto look for.
Returns:
true if group is a RoleGrp in the Session.

The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions