libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::util::ProjectionVisitor Class Reference

Endpoint projection. More...

#include <project.h>

Inheritance diagram for sesstype::util::ProjectionVisitor:
Inheritance graph
[legend]
Collaboration diagram for sesstype::util::ProjectionVisitor:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ProjectionVisitor (Role *endpoint)
Nodeget_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)

Detailed Description

Endpoint projection.


Member Function Documentation

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)


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions