libsesstype  2.0.0
Library for Session Types programming.
sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > Member List
This is the complete list of members for sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >, including all inherited members.
accept(VisitorType &v) override (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [virtual]
add_catch(RoleType *role, MessageType *msg)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
add_interrupt(RoleType *role, MessageType *msg)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
add_throw(RoleType *role, MessageType *msg)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
append_child(BaseNode *child)sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
BlockNodeTmpl()sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
BlockNodeTmpl(const BlockNodeTmpl &node)sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
BlockNodeTmpl(int type) (defined in sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline, protected]
catch_begin() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
catch_end() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
catch_msg(RoleType *role, unsigned int index) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
child(unsigned int idx) const sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
child_begin() const sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
child_end() const sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
clone() const overridesesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
interrupt_begin() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
interrupt_end() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
interrupt_msg(RoleType *role, unsigned int index) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
InterruptibleNodeTmpl()sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
InterruptibleNodeTmpl(std::string scope)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
InterruptibleNodeTmpl(const InterruptibleNodeTmpl &node)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
InterruptType typedef (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
NodeContainer typedef (defined in sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
num_catches() const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_catches(RoleType *role) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_children() const sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_interrupts() const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_interrupts(RoleType *role) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_throws() const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
num_throws(RoleType *role) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
scope() const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
set_child(unsigned int idx, BaseNode *child) (defined in sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
set_scope(std::string scope)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
throw_begin() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
throw_end() const (defined in sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >)sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
throw_msg(RoleType *role, unsigned int index) const sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
~BlockNodeTmpl() overridesesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
~InterruptibleNodeTmpl() overridesesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType > [inline]
 All Classes Namespaces Files Functions