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

#include <msg.h>

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

List of all members.

Public Member Functions

 MsgPayload (std::string type)
 MsgPayload constructor with "" (empty string) as MsgPayload name.
 MsgPayload (std::string type, std::string name)
 MsgPayload constructor.
 MsgPayload (const MsgPayload &payload)
 MsgPayload copy constructor.
 ~MsgPayload ()
 MsgPayload destructor.
unsigned int num_dimens () const
void add_param (Expr *param)
 Add an expression as a new parameter of current MsgPayload.
Exproperator[] (unsigned int idx)
 Get parameter at dimension idx using [] notation.

Detailed Description

Message Payload.


Constructor & Destructor Documentation

sesstype::parameterised::MsgPayload::MsgPayload ( std::string  type,
std::string  name 
) [inline]

MsgPayload constructor.

Parameters:
[in]typeof MsgPayload (datatype).
[in]nameof MsgPayload (identifier).

Reimplemented from sesstype::MsgPayload.


Member Function Documentation

Add an expression as a new parameter of current MsgPayload.

Parameters:
[in]exprto use as new parameter.
unsigned int sesstype::parameterised::MsgPayload::num_dimens ( ) const [inline]
Returns:
number of dimensions in MsgPayload.
Expr* sesstype::parameterised::MsgPayload::operator[] ( unsigned int  idx) [inline]

Get parameter at dimension idx using [] notation.

Parameters:
[in]idxof the parameter.
Returns:
expression at idx'th parameter.

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