libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > Class Template Reference

Continue statements. More...

#include <continue.h>

List of all members.

Public Member Functions

 ContinueNodeTmpl (std::string label)
 ContinueNode constructor.
 ContinueNodeTmpl (const ContinueNodeTmpl &node)
 ContinueNode copy constructor.
ContinueNodeTmplclone () const override
 clone a ContinueNode.
void set_label (std::string label)
 Repalce label of ContinueNode.
std::string label () const
void accept (VisitorType &v) override

Detailed Description

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
class sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >

Continue statements.


Constructor & Destructor Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::ContinueNodeTmpl ( std::string  label) [inline]

ContinueNode constructor.

Parameters:
[in]labelof Choice Node.

Member Function Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
std::string sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::label ( ) const [inline]
Returns:
label of ContinueNode.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_label ( std::string  label) [inline]

Repalce label of ContinueNode.

Parameters:
[in]labelof ContinueNode to replace with.

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