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

#include <time_consistency.h>

Inheritance diagram for EmptyMscFinder:
Inheritance graph
Collaboration diagram for EmptyMscFinder:
Collaboration graph

Public Member Functions

 EmptyMscFinder (DFSHMscTraverser *hmsc_traverser)
 
 ~EmptyMscFinder ()
 
void on_white_node_found (HMscNode *node)
 
void on_node_finished (HMscNode *node)
 
std::set< MscPtrget_empty_Msc_set ()
 
- Public Member Functions inherited from WhiteNodeFoundListener
virtual ~WhiteNodeFoundListener ()
 
- Public Member Functions inherited from NodeFinishedListener
virtual ~NodeFinishedListener ()
 

Private Attributes

std::list< MscPtrm_empty_HMsc_working_list
 
std::set< MscPtrm_empty_Msc_final_set
 
DFSHMscTraverserm_hmsc_traverser
 

Detailed Description

Definition at line 464 of file time_consistency.h.

Constructor & Destructor Documentation

EmptyMscFinder::EmptyMscFinder ( DFSHMscTraverser hmsc_traverser)
inline

Definition at line 471 of file time_consistency.h.

EmptyMscFinder::~EmptyMscFinder ( )
inline

Definition at line 476 of file time_consistency.h.

Member Function Documentation

std::set<MscPtr> EmptyMscFinder::get_empty_Msc_set ( )
inline

Definition at line 529 of file time_consistency.h.

Referenced by HMscConsistencyChecker::check().

void EmptyMscFinder::on_node_finished ( HMscNode node)
inlinevirtual

Implements NodeFinishedListener.

Definition at line 514 of file time_consistency.h.

References HMscNode::get_owner().

void EmptyMscFinder::on_white_node_found ( HMscNode node)
inlinevirtual

Member Data Documentation

std::list<MscPtr> EmptyMscFinder::m_empty_HMsc_working_list
private

Definition at line 466 of file time_consistency.h.

std::set<MscPtr> EmptyMscFinder::m_empty_Msc_final_set
private

Definition at line 467 of file time_consistency.h.

DFSHMscTraverser* EmptyMscFinder::m_hmsc_traverser
private

Definition at line 468 of file time_consistency.h.


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

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