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

If-block. More...

#include <if.h>

Inheritance diagram for sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 IfNodeTmpl (MsgCond *cond)
 IfNode constructor.
 IfNodeTmpl (const IfNodeTmpl &node)
 IfNode copy constructor.
 ~IfNodeTmpl () override
 IfNode destructor.
IfNodeTmplclone () const override
 clone a IfNode.
BaseNode * body () const
 Get body Node at position idx.
void set_body (BaseNode *body)
 Add body Node to current if-block.
MsgCondcond () const
void set_cond (MsgCond *cond)
 Set if-block condition.
virtual void accept (VisitorType &v) override

Detailed Description

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
class sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >

If-block.


Constructor & Destructor Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::IfNodeTmpl ( MsgCond cond) [inline]

IfNode constructor.

Parameters:
[in]condfor the if-block.

Member Function Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
BaseNode* sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::body ( ) const [inline]

Get body Node at position idx.

Parameters:
[in]idxof Node in IfNode.
Returns:
body Node at position idx
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
MsgCond* sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::cond ( ) const [inline]
Returns:
if-block condition.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_body ( BaseNode *  body) [inline]

Add body Node to current if-block.

Parameters:
[in]bodyNode.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_cond ( MsgCond cond) [inline]

Set if-block condition.

Parameters:
[in]condfor the if-block.

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