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

#include <footprint.h>

Inheritance diagram for ExtremeEvents:
Inheritance graph
Collaboration diagram for ExtremeEvents:
Collaboration graph

Public Member Functions

 ExtremeEvents ()
 
 ExtremeEvents (size_t instances_count)
 
bool operator< (const ExtremeEvents &other) const
 
void add_extreme_event (size_t instance, EDInstancesPtr &edis)
 
const EDInstancesPtrSetVectorget_events_instances () const
 

Protected Member Functions

int compare (const EDInstancesPtrSet &first, const EDInstancesPtrSet &second) const
 

Protected Attributes

EDInstancesPtrSetVector m_events_instances
 

Detailed Description

Definition at line 104 of file footprint.h.

Constructor & Destructor Documentation

ExtremeEvents::ExtremeEvents ( )

Definition at line 89 of file footprint.cpp.

ExtremeEvents::ExtremeEvents ( size_t  instances_count)

Definition at line 94 of file footprint.cpp.

References m_events_instances.

Member Function Documentation

void ExtremeEvents::add_extreme_event ( size_t  instance,
EDInstancesPtr edis 
)
int ExtremeEvents::compare ( const EDInstancesPtrSet first,
const EDInstancesPtrSet second 
) const
protected

Compares first and second like they would be a strings.

Compares element by element, if any less/greater element in first is found than an element of second at the same position, first is declared to be less/greater than second.

Returns x<0 if first < second, 0 if first == second, x>0 if first > second

Definition at line 71 of file footprint.cpp.

Referenced by operator<().

const EDInstancesPtrSetVector & ExtremeEvents::get_events_instances ( ) const

Definition at line 119 of file footprint.cpp.

References m_events_instances.

Referenced by FootprintTraverser::check_race(), Footprint::Footprint(), and operator<().

bool ExtremeEvents::operator< ( const ExtremeEvents other) const

Compares ExtremeEvents item by item.

Items are supposed to be separate EDInstancesPtrSets which are elements of m_events_instances. Empty item i (empty EDInstancesPtrSet) is supposed to be less than anything else which is not empty.

Definition at line 99 of file footprint.cpp.

References compare(), get_events_instances(), and m_events_instances.

Member Data Documentation

EDInstancesPtrSetVector ExtremeEvents::m_events_instances
protected

Holds greater/lesser Instances of Events accessible under id of Event's Instance.

Definition at line 113 of file footprint.h.

Referenced by add_extreme_event(), ExtremeEvents(), Footprint::Footprint(), get_events_instances(), and operator<().


The documentation for this class was generated from the following files:

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:58 for Sequence Chart Studio by  doxygen