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

#include <divine.h>

Inheritance diagram for NodeCounterListener:
Inheritance graph
Collaboration diagram for NodeCounterListener:
Collaboration graph

Public Member Functions

 NodeCounterListener ()
 
void reset (void)
 
void on_white_event_found (Event *e)
 
unsigned get_received_count ()
 
unsigned get_total_count ()
 
- Public Member Functions inherited from WhiteEventFoundListener
virtual ~WhiteEventFoundListener ()
 

Private Attributes

unsigned m_received
 
unsigned m_total
 

Detailed Description

Definition at line 99 of file divine.h.

Constructor & Destructor Documentation

NodeCounterListener::NodeCounterListener ( )
inline

Definition at line 105 of file divine.h.

Member Function Documentation

unsigned NodeCounterListener::get_received_count ( )
inline

Definition at line 114 of file divine.h.

References m_received.

Referenced by PreprocessListener::on_white_node_found().

unsigned NodeCounterListener::get_total_count ( )
inline

Definition at line 118 of file divine.h.

References m_total.

void NodeCounterListener::on_white_event_found ( Event e)
virtual
void NodeCounterListener::reset ( void  )
inline

Definition at line 108 of file divine.h.

References m_received, and m_total.

Referenced by PreprocessListener::on_white_node_found().

Member Data Documentation

unsigned NodeCounterListener::m_received
private

Definition at line 102 of file divine.h.

Referenced by get_received_count(), on_white_event_found(), and reset().

unsigned NodeCounterListener::m_total
private

Definition at line 103 of file divine.h.

Referenced by get_total_count(), on_white_event_found(), and reset().


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