Protocol and Expression printer. More...

#include <print.h>

Inheritance diagram for sesstype::util::Print:

Collaboration diagram for sesstype::util::Print:

Public Member Functions
	Print ()
	Printer constructor with output to std::out as default.
	Print (std::ostream &os)
	Printer constructor.
void	prefix ()
	Output prefix based on current line#, indent level and character.
void	reset_line_num ()
void	visit (Node *node)
void	visit (InteractionNode *node)
void	visit (BlockNode *node)
void	visit (RecurNode *node)
void	visit (ContinueNode *node)
void	visit (ChoiceNode *node)
void	visit (ParNode *node)
void	visit (NestedNode *node)
void	visit (InterruptibleNode *node)
void	visit (Role *role)

Detailed Description

Protocol and Expression printer.

Constructor & Destructor Documentation

sesstype::util::Print::Print ( std::ostream & os ) [inline]

Printer constructor.

Parameters:

[in] os output stream.

The documentation for this class was generated from the following file: