role.h File Reference

A participant of a protocol or session. More...

#include <string>
#include <vector>
#include "sesstype/util/clonable.h"
#include "sesstype/util/visitor_tmpl.h"
#include "sesstype/util/role_visitor.h"

Include dependency graph for role.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::Role
	Role (participant) of a protocol or session. More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Typedefs
typedef Role	sesstype::st_role
Functions
st_role *	sesstype::st_role_init (const char *name)
	Create a Role.
st_role *	sesstype::st_role_copy (const st_role *const role)
	Create a copy of a Role.
const char *	sesstype::st_role_name (st_role *const role)
	Get a name of the Role.
st_role *	sesstype::st_role_set_name (st_role *const role, const char *name)
	Set the name of the Role.
void	sesstype::st_role_free (st_role *role)
	Free a previously allocated Role.

---

Detailed Description

A participant of a protocol or session.