libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::Role Class Reference

Role (participant) of a protocol or session. More...

#include <role.h>

Inheritance diagram for sesstype::Role:
Inheritance graph
[legend]
Collaboration diagram for sesstype::Role:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Role ()
 Role constructor with "default" as name.
 Role (std::string name)
 Role constructor.
 Role (const Role &role)
 Role copy constructor.
virtual ~Role ()
 Role destructor.
virtual Roleclone () const override
 clone a Role.
std::string name () const
void set_name (std::string name)
virtual bool matches (Role *other) const
 Check if this Role matches another Role.
virtual void accept (util::RoleVisitor &v)

Detailed Description

Role (participant) of a protocol or session.


Member Function Documentation

virtual bool sesstype::Role::matches ( Role other) const [inline, virtual]

Check if this Role matches another Role.

Returns:
true if this Role is another Role.

Reimplemented in sesstype::parameterised::Role, and sesstype::parameterised::RoleGrp.

std::string sesstype::Role::name ( ) const [inline]
Returns:
name of Role.
void sesstype::Role::set_name ( std::string  name) [inline]
Parameters:
[in]nameSets role name to name.

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