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 > & 

Detailed Description

Definition at line 125 of file divine.h.

Constructor & Destructor Documentation

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

Definition at line 129 of file divine.h.

Member Function Documentation

void MessageIdListener::on_white_event_found ( Event e)

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

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: Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen