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

#include <race_checker.h>

Inheritance diagram for MinimalEventsInitiator:
Inheritance graph
Collaboration diagram for MinimalEventsInitiator:
Collaboration graph

Public Member Functions

 MinimalEventsInitiator (VisualClosureInitiator *vis_initiator=NULL, CausalClosureInitiator *caus_initiator=NULL, InstanceIdMarker *instance_marker=NULL, const std::string &events_attribute="minimal_events")
 
virtual ~MinimalEventsInitiator ()
 
void on_white_node_found (ReferenceNode *node)
 
ExtremeEventsget_events (BMsc *b)
 
virtual void cleanup_attributes ()
 
- Public Member Functions inherited from WhiteRefNodeFoundListener
virtual ~WhiteRefNodeFoundListener ()
 
virtual void on_white_node_found (HMscNode *n)
 
- Public Member Functions inherited from WhiteNodeFoundListener
virtual ~WhiteNodeFoundListener ()
 

Protected Attributes

VisualClosureInitiatorm_vis_initiator
 
CausalClosureInitiatorm_caus_initiator
 
InstanceIdMarkerm_instance_marker
 
std::string m_events_attribute
 
BMscPList m_modified_bmscs
 

Detailed Description

Stands for mechanism for computation of MinP

MinP is used in checking Footprint and BMsc to be race free (Algortihm 1 in the article).

Definition at line 47 of file race_checker.h.

Constructor & Destructor Documentation

MinimalEventsInitiator::MinimalEventsInitiator ( VisualClosureInitiator vis_initiator = NULL,
CausalClosureInitiator caus_initiator = NULL,
InstanceIdMarker instance_marker = NULL,
const std::string events_attribute = "minimal_events" 
)
inline
virtual MinimalEventsInitiator::~MinimalEventsInitiator ( )
inlinevirtual

Definition at line 71 of file race_checker.h.

References cleanup_attributes().

Member Function Documentation

void MinimalEventsInitiator::cleanup_attributes ( void  )
virtual
ExtremeEvents & MinimalEventsInitiator::get_events ( BMsc b)
void MinimalEventsInitiator::on_white_node_found ( ReferenceNode node)
virtual

Member Data Documentation

CausalClosureInitiator* MinimalEventsInitiator::m_caus_initiator
protected
std::string MinimalEventsInitiator::m_events_attribute
protected
InstanceIdMarker* MinimalEventsInitiator::m_instance_marker
protected
BMscPList MinimalEventsInitiator::m_modified_bmscs
protected
VisualClosureInitiator* MinimalEventsInitiator::m_vis_initiator
protected

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