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 ( )

Definition at line 105 of file divine.h.

Member Function Documentation

unsigned NodeCounterListener::get_received_count ( )

Definition at line 114 of file divine.h.

References m_received.

Referenced by PreprocessListener::on_white_node_found().

unsigned NodeCounterListener::get_total_count ( )

Definition at line 118 of file divine.h.

References m_total.

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

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

Definition at line 102 of file divine.h.

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

unsigned NodeCounterListener::m_total

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