Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
DFSRefNodeHMscTraverser Class Reference

#include <dfs_refnode_hmsc_traverser.h>

Inheritance diagram for DFSRefNodeHMscTraverser:
Inheritance graph
Collaboration diagram for DFSRefNodeHMscTraverser:
Collaboration graph

Public Member Functions

 DFSRefNodeHMscTraverser (const std::string &color_attribute="DFSRNHMT_color")
 
void cleanup_traversing_attributes ()
 
- Public Member Functions inherited from DFSBMscGraphTraverser
 DFSBMscGraphTraverser (const std::string &color_attribute="msc_graph_traverse_color")
 
virtual ~DFSBMscGraphTraverser ()
 
virtual void traverse (HMscPtr hmsc)
 
virtual void traverse (HMscNode *node)
 
const MscElementPListListget_reached_elements ()
 
- Public Member Functions inherited from DFSListenersContainer
void add_node_finished_listener (NodeFinishedListenerP l)
 
void remove_node_finished_listeners ()
 
void add_white_node_found_listener (WhiteNodeFoundListenerP l)
 
void remove_white_node_found_listeners ()
 
void add_gray_node_found_listener (GrayNodeFoundListenerP l)
 
void remove_gray_node_found_listeners ()
 
void add_black_node_found_listener (BlackNodeFoundListenerP l)
 
void remove_black_node_found_listeners ()
 
void remove_all_listeners ()
 
virtual ~DFSListenersContainer ()
 

Protected Member Functions

bool traverse_successors (PredecessorNode *predecessor)
 
- Protected Member Functions inherited from DFSBMscGraphTraverser
virtual void cleanup_top_attributes ()
 
virtual bool traverse_node (HMscNode *node)
 
virtual bool is_processed (HMscNode *node)
 
virtual bool traverse_reference_node (ReferenceNode *node)
 
void set_color (HMscNode *n, NodeColor c)
 
NodeColorget_color (HMscNode *n)
 
virtual void push_top_attributes ()
 
virtual void white_node_found (HMscNode *n)
 
virtual void gray_node_found (HMscNode *n)
 
virtual void black_node_found (HMscNode *n)
 
virtual void node_finished (HMscNode *n)
 

Protected Attributes

NodeFinder m_finder
 
- Protected Attributes inherited from DFSBMscGraphTraverser
HMscNodePListList m_colored_nodes
 
MscElementPListList m_reached_elements
 
std::string m_color_attribute
 
- Protected Attributes inherited from DFSListenersContainer
NodeFinishedListenerPList m_node_finished_listeners
 
WhiteNodeFoundListenerPList m_white_node_found_listeners
 
GrayNodeFoundListenerPList m_gray_node_found_listeners
 
BlackNodeFoundListenerPList m_black_node_found_listeners
 
GrayNodeFoundListenerPList m_grey_node_found_listeners
 

Detailed Description

Traverses nodes in HMsc and referenced HMsc in depth first search manner like DFSBMscGraphTraverser. Unlike DFSBMscGraphTraverser this traverser handles ConnectionNodes like it would be only edge of graph. I.e. user of this traverser and connected listeners to this traverser can suppose that HMsc is graph consisting of StartNodes, EndNodes and ReferenceNodes.

Definition at line 34 of file dfs_refnode_hmsc_traverser.h.

Constructor & Destructor Documentation

DFSRefNodeHMscTraverser::DFSRefNodeHMscTraverser ( const std::string color_attribute = "DFSRNHMT_color")
inline

Definition at line 44 of file dfs_refnode_hmsc_traverser.h.

Member Function Documentation

void DFSRefNodeHMscTraverser::cleanup_traversing_attributes ( )
virtual

Cleans up traversing attributes

Reimplemented from DFSBMscGraphTraverser.

Definition at line 36 of file dfs_refnode_hmsc_traverser.cpp.

References DFSBMscGraphTraverser::cleanup_traversing_attributes(), and m_finder.

Referenced by LocalChoiceChecker::check().

bool DFSRefNodeHMscTraverser::traverse_successors ( PredecessorNode predecessor)
protectedvirtual

Member Data Documentation

NodeFinder DFSRefNodeHMscTraverser::m_finder
protected

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

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:58 for Sequence Chart Studio by  doxygen