libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::RngExpr Class Reference

Range expression with a binding variable. More...

#include <rng.h>

Inheritance diagram for sesstype::parameterised::RngExpr:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::RngExpr:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 RngExpr (Expr *from, Expr *to)
 RngExpr constructor with empty bind variable as default.
 RngExpr (std::string bindvar, Expr *from, Expr *to)
 RngExpr constructor.
 RngExpr (const RngExpr &expr)
 RngExpr copy constructor.
 ~RngExpr () override
 RngExpr destructor.
RngExprclone () const override
 clone a RngExpr.
void set_bindvar (std::string bindvar)
std::string bindvar () const
void set_from (Expr *from)
Exprfrom () const
void set_to (Expr *to)
Exprto () const
virtual void accept (util::ExprVisitor &v) override

Detailed Description

Range expression with a binding variable.

Specifies a binding variable bindvar, a range begin Expr and a range end Expr with default of stride 1.


Constructor & Destructor Documentation

sesstype::parameterised::RngExpr::RngExpr ( Expr from,
Expr to 
) [inline]

RngExpr constructor with empty bind variable as default.

Parameters:
[in]fromExpr of RngExpr.
[in]toExpr of RngExpr.
sesstype::parameterised::RngExpr::RngExpr ( std::string  bindvar,
Expr from,
Expr to 
) [inline]

RngExpr constructor.

Parameters:
[in]bindvarname.
[in]startExpr of RngExpr.
[in]endExpr of RngExpr.

Member Function Documentation

std::string sesstype::parameterised::RngExpr::bindvar ( ) const [inline]
Returns:
bind variable of RngExpr.
Returns:
from Expr of the range.
void sesstype::parameterised::RngExpr::set_bindvar ( std::string  bindvar) [inline]

Replace bind variable of RngExpr.

Parameters:
[in]bindvarto replace with.
Parameters:
[in]fromExpr of the range.
Parameters:
[in]toExpr of the range.
Returns:
to Expr of the range.

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