![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
A message for passing between participants. More...
#include <algorithm>
#include <stdexcept>
#include <string>
#include <vector>
#include "sesstype/util/clonable.h"
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) |
A message for passing between participants.