Endpoint projection. More...
#include <project.h>
Public Member Functions | |
ProjectionVisitor (Role *endpoint) | |
Node * | get_root () |
void | visit (Node *node) override |
void | visit (BlockNode *node) override |
void | visit (InteractionNode *node) override |
void | visit (ChoiceNode *node) |
void | visit (RecurNode *node) override |
void | visit (ContinueNode *node) override |
void | visit (ParNode *node) |
void | visit (NestedNode *node) |
void | visit (InterruptibleNode *node) |
Endpoint projection.
void sesstype::util::ProjectionVisitor::visit | ( | BlockNode * | node | ) | [inline, override] |
Note that we are not adding a new root node here, because the parent is addeded by one of below:
1. Subclass of BlockNode 2. Constructor if this is the root Node (the only place when BlockNode exists as BlockNode)