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

Counting for-loop statement. More...

#include <for.h>

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

List of all members.

Public Member Functions

 ForNodeTmpl (RngExpr *bindexpr)
 ForNode constructor.
 ForNodeTmpl (const ForNodeTmpl &node)
 ForNode copy constructor.
 ~ForNodeTmpl () override
 ForNode destructor.
ForNodeTmplclone () const override
 clone a ForNode.
void set_bindexpr (RngExpr *bindexpr)
 Replace binding expression of for loop.
RngExprbindexpr () const
void set_except (Expr *except)
Exprexcept () const
virtual void accept (VisitorType &v) override

Detailed Description

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

Counting for-loop statement.


Constructor & Destructor Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
sesstype::parameterised::ForNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::ForNodeTmpl ( RngExpr bindexpr) [inline]

ForNode constructor.

Parameters:
[in]bind_exprto add as index binding expression.

Member Function Documentation

template<class BaseNode, class RoleType, class MessageType, class VisitorType>
RngExpr* sesstype::parameterised::ForNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::bindexpr ( ) const [inline]
Returns:
binding expression of the for-loop.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
void sesstype::parameterised::ForNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >::set_bindexpr ( RngExpr bindexpr) [inline]

Replace binding expression of for loop.

Parameters:
[in]bind_exprto replace with.

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