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

Value sequence expression. More...

#include <seq.h>

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

List of all members.

Public Types

typedef std::vector< int > SequenceContainer

Public Member Functions

 SeqExpr ()
 SeqExpr constructor.
 SeqExpr (const SeqExpr &expr)
 SeqExpr copy constructor.
SeqExprclone () const override
 clone a SeqExpr.
int value (unsigned int idx) const
unsigned int num_values () const
void append_value (int value)
 Append integer value to sequence.
SequenceContainer::const_iterator seq_begin () const
 Start iterator for sequence.
SequenceContainer::const_iterator seq_end () const
 End iterator for sequence.
virtual void accept (util::ExprVisitor &v) override

Detailed Description

Value sequence expression.


Member Function Documentation

void sesstype::parameterised::SeqExpr::append_value ( int  value) [inline]

Append integer value to sequence.

Parameters:
[in]valueto append.
unsigned int sesstype::parameterised::SeqExpr::num_values ( ) const [inline]
Returns:
number of values in the SeqExpr.
int sesstype::parameterised::SeqExpr::value ( unsigned int  idx) const [inline]
Returns:
the idx'th number in the SqeExpr.

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