libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > Class Template Reference

Module is a container class for multiple logically related Protocols (contains parameterised elements). More...

#include <module.h>

Inheritance diagram for sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ModuleTmpl ()
 Module constructor with "default" as Module name.
 ModuleTmpl (std::string name)
 Module constructor.
virtual ~ModuleTmpl ()
 Module destructor.
void add_constant (ConstantType *c)
unsigned int num_constants () const
bool has_constant (std::string name) const
 Test if Constant is in Module.
ConstantType * constant (std::string name) const
ConstantContainer::const_iterator const_begin () const
ConstantContainer::const_iterator const_end () const

Detailed Description

template<class ImportType, class SessionType, class ConstantType>
class sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >

Module is a container class for multiple logically related Protocols (contains parameterised elements).


Member Function Documentation

template<class ImportType , class SessionType , class ConstantType >
void sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >::add_constant ( ConstantType *  c) [inline]
Parameters:
[in]constantto add to Module.
template<class ImportType , class SessionType , class ConstantType >
ConstantType* sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >::constant ( std::string  name) const [inline]
Returns:
Constant named name.
Exceptions:
std::out_of_rangeif not found.
template<class ImportType , class SessionType , class ConstantType >
bool sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >::has_constant ( std::string  name) const [inline]

Test if Constant is in Module.

Returns:
true if name is a Constant in Module.
template<class ImportType , class SessionType , class ConstantType >
unsigned int sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >::num_constants ( ) const [inline]
Returns:
number of Constant in Module.

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