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

#include <divine.h>

Inheritance diagram for ProcessListener:
Inheritance graph
Collaboration diagram for ProcessListener:
Collaboration graph

Public Member Functions

 ProcessListener (std::ostream &stream, std::map< std::wstring, unsigned > &message_map, std::map< std::wstring, unsigned > &instance_map)
 
void on_white_node_found (HMscNode *n)
 
void set_instance (std::string instance)
 
void set_states ()
 
void set_transitions ()
 
- Public Member Functions inherited from WhiteNodeFoundListener
virtual ~WhiteNodeFoundListener ()
 

Private Member Functions

void process_successor_transitions (HMscNode *n, std::string first_node)
 

Private Attributes

std::string m_current_instance
 
std::ostream & m_stream
 
std::map< std::wstring,
unsigned > & 
m_message_map
 
std::map< std::wstring,
unsigned > & 
m_instance_map
 
bool m_states_only
 

Detailed Description

Definition at line 135 of file divine.h.

Constructor & Destructor Documentation

ProcessListener::ProcessListener ( std::ostream &  stream,
std::map< std::wstring, unsigned > &  message_map,
std::map< std::wstring, unsigned > &  instance_map 
)
inline

Definition at line 147 of file divine.h.

Member Function Documentation

void ProcessListener::on_white_node_found ( HMscNode n)
virtual
void ProcessListener::process_successor_transitions ( HMscNode n,
std::string  first_node 
)
private
void ProcessListener::set_instance ( std::string  instance)
inline

Definition at line 156 of file divine.h.

References m_current_instance.

Referenced by Divine::save_msc().

void ProcessListener::set_states ( )
inline

Definition at line 160 of file divine.h.

References m_states_only.

Referenced by Divine::save_msc().

void ProcessListener::set_transitions ( )
inline

Definition at line 164 of file divine.h.

References m_states_only.

Referenced by Divine::save_msc().

Member Data Documentation

std::string ProcessListener::m_current_instance
private

Definition at line 138 of file divine.h.

Referenced by on_white_node_found(), process_successor_transitions(), and set_instance().

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

Definition at line 143 of file divine.h.

Referenced by on_white_node_found().

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

Definition at line 142 of file divine.h.

Referenced by on_white_node_found().

bool ProcessListener::m_states_only
private

Definition at line 144 of file divine.h.

Referenced by on_white_node_found(), set_states(), and set_transitions().

std::ostream& ProcessListener::m_stream
private

Definition at line 141 of file divine.h.

Referenced by on_white_node_found(), and process_successor_transitions().


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