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

Detailed Description

Definition at line 464 of file time_consistency.h.

Constructor & Destructor Documentation

EmptyMscFinder::EmptyMscFinder ( DFSHMscTraverser hmsc_traverser)

Definition at line 471 of file time_consistency.h.

EmptyMscFinder::~EmptyMscFinder ( )

Definition at line 476 of file time_consistency.h.

Member Function Documentation

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

Definition at line 529 of file time_consistency.h.

Referenced by HMscConsistencyChecker::check().

void EmptyMscFinder::on_node_finished ( HMscNode node)

Implements NodeFinishedListener.

Definition at line 514 of file time_consistency.h.

References HMscNode::get_owner().

void EmptyMscFinder::on_white_node_found ( HMscNode node)

Member Data Documentation

std::list<MscPtr> EmptyMscFinder::m_empty_HMsc_working_list

Definition at line 466 of file time_consistency.h.

std::set<MscPtr> EmptyMscFinder::m_empty_Msc_final_set

Definition at line 467 of file time_consistency.h.

DFSHMscTraverser* EmptyMscFinder::m_hmsc_traverser

Definition at line 468 of file time_consistency.h.

The documentation for this class was generated from the following file: Logo
Generated on Fri Jan 15 2016 16:26:58 for Sequence Chart Studio by  doxygen