libsesstype  2.0.0
Library for Session Types programming.
Classes | Namespaces | Typedefs | Functions
msg.h File Reference

A message for passing between participants. More...

#include <algorithm>
#include <stdexcept>
#include <string>
#include <vector>
#include "sesstype/util/clonable.h"
Include dependency graph for msg.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  sesstype::MsgPayload
 Message Payload. More...
class  sesstype::MsgSig
 Message Signature. More...

Namespaces

namespace  sesstype
 

namespace for Session Types.


Typedefs

typedef MsgSig sesstype::st_msg
typedef MsgPayload sesstype::st_msg_payload

Functions

st_msg * sesstype::st_mk_msg (const char *op)
st_msg * sesstype::st_msg_add_payload (st_msg *msg, st_msg_payload *payload)
void sesstype::st_msg_free (st_msg *msg)
st_msg_payload * sesstype::st_mk_msg_payload (const char *type)
st_msg_payload * sesstype::st_mk_msg_payload_annotated (const char *type, const char *name)
void sesstype::st_msg_payload_free (st_msg_payload *payload)

Detailed Description

A message for passing between participants.

 All Classes Namespaces Files Functions