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
PreprocessListener Class Reference

#include <divine.h>

Inheritance diagram for PreprocessListener:
Inheritance graph
Collaboration diagram for PreprocessListener:
Collaboration graph

Public Member Functions

void on_white_node_found (HMscNode *node)
 
 PreprocessListener (std::map< std::wstring, unsigned > &message_map, std::map< std::wstring, unsigned > &instance_map, std::vector< std::string > &instance_names, std::vector< unsigned > &receive_counts)
 
- Public Member Functions inherited from WhiteNodeFoundListener
virtual ~WhiteNodeFoundListener ()
 

Private Attributes

std::map< std::wstring,
unsigned > & 
m_message_map
 
std::map< std::wstring,
unsigned > & 
m_instance_map
 
std::vector< std::string > & m_instance_names
 
std::vector< unsigned > & m_receive_counts
 
unsigned m_node_number
 
unsigned m_instance_count
 

Detailed Description

Definition at line 169 of file divine.h.

Constructor & Destructor Documentation

PreprocessListener::PreprocessListener ( std::map< std::wstring, unsigned > &  message_map,
std::map< std::wstring, unsigned > &  instance_map,
std::vector< std::string > &  instance_names,
std::vector< unsigned > &  receive_counts 
)
inline

Definition at line 181 of file divine.h.

References m_instance_count, and m_node_number.

Member Function Documentation

void PreprocessListener::on_white_node_found ( HMscNode node)
virtual

Member Data Documentation

unsigned PreprocessListener::m_instance_count
private

Definition at line 177 of file divine.h.

Referenced by on_white_node_found(), and PreprocessListener().

std::map<std::wstring, unsigned>& PreprocessListener::m_instance_map
private

Definition at line 173 of file divine.h.

Referenced by on_white_node_found().

std::vector<std::string>& PreprocessListener::m_instance_names
private

Definition at line 174 of file divine.h.

Referenced by on_white_node_found().

std::map<std::wstring, unsigned>& PreprocessListener::m_message_map
private

Definition at line 172 of file divine.h.

Referenced by on_white_node_found().

unsigned PreprocessListener::m_node_number
private

Definition at line 176 of file divine.h.

Referenced by on_white_node_found(), and PreprocessListener().

std::vector<unsigned>& PreprocessListener::m_receive_counts
private

Definition at line 175 of file divine.h.

Referenced by on_white_node_found().


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

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