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

#include <divine.h>

Inheritance diagram for MessageIdListener:
Inheritance graph
Collaboration diagram for MessageIdListener:
Collaboration graph

Public Member Functions

 MessageIdListener (std::map< std::wstring, unsigned > &message_map)
 
void on_white_event_found (Event *e)
 
- Public Member Functions inherited from WhiteEventFoundListener
virtual ~WhiteEventFoundListener ()
 

Private Attributes

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

Detailed Description

Definition at line 125 of file divine.h.

Constructor & Destructor Documentation

MessageIdListener::MessageIdListener ( std::map< std::wstring, unsigned > &  message_map)
inline

Definition at line 129 of file divine.h.

Member Function Documentation

void MessageIdListener::on_white_event_found ( Event e)
virtual

Implements WhiteEventFoundListener.

Definition at line 506 of file divine.cpp.

References MessageEvent::get_message(), and m_message_map.

Member Data Documentation

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

Definition at line 127 of file divine.h.

Referenced by on_white_event_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