node.h File Reference

Statements in a protocol or session. More...

#include "sesstype/msg.h"
#include "sesstype/role.h"
#include "sesstype/util/clonable.h"

Include dependency graph for node.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::Node
	Session Type statements (st_node). More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Defines
#define	ST_NODE_ROOT   0
#define	ST_NODE_SENDRECV   1
#define	ST_NODE_CHOICE   2
#define	ST_NODE_RECUR   3
#define	ST_NODE_CONTINUE   4
#define	ST_NODE_PARALLEL   5
#define	ST_NODE_NESTED   6
#define	ST_NODE_INTERRUPTIBLE   7
Typedefs
typedef Node	sesstype::st_node
Functions
st_node *	sesstype::st_node_project (st_node *const node, st_role *const endpoint)
void	sesstype::st_node_print (st_node *const node)
void	sesstype::st_node_free (st_node *node)

---

Detailed Description

Statements in a protocol or session.