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

#include <membership_base.h>

Collaboration diagram for MembershipTimeRelation:
Collaboration graph

Public Member Functions

 MembershipTimeRelation (TimeRelationPtr original_relation, HMscNodePtr ref_node)
 
std::set< MessageEvent * > get_start ()
 
void set_start (std::set< MessageEvent * > start)
 
std::set< MessageEvent * > get_end ()
 
void set_end (std::set< MessageEvent * > end)
 
MscTimeIntervalSet< double > get_interval_set ()
 
TimeRelationPtr get_original_rel ()
 
HMscNodePtr get_ref_node ()
 

Private Attributes

std::set< MessageEvent * > start
 
std::set< MessageEvent * > end
 set of events in the flow diagram which corespond to start events in time relation from the specification (it has to be set due to time constraints in HMSC on reference node) More...
 
TimeRelationPtr original_relation
 set of events in the flow diagram which corespond to end events in time relation from the specification (it has to be set due to time constraints in HMSC on reference node) More...
 
HMscNodePtr original_ref_node
 pointer to time relation in the specification More...
 
MscTimeIntervalSet< double > interval_set
 pointer to reference node which has to be marked in case time relation is nested in some reference node More...
 
size_t m_counter
 interval set which has to be satisfied More...
 

Friends

void intrusive_ptr_add_ref (const MembershipTimeRelation *ptr)
 
void intrusive_ptr_release (const MembershipTimeRelation *ptr)
 

Detailed Description

Definition at line 64 of file membership_base.h.

Constructor & Destructor Documentation

MembershipTimeRelation::MembershipTimeRelation ( TimeRelationPtr  original_relation,
HMscNodePtr  ref_node 
)
inline

Definition at line 82 of file membership_base.h.

References interval_set, m_counter, original_ref_node, and original_relation.

Member Function Documentation

std::set<MessageEvent*> MembershipTimeRelation::get_end ( )
inline

Definition at line 110 of file membership_base.h.

References end.

MscTimeIntervalSet<double> MembershipTimeRelation::get_interval_set ( )
inline

Definition at line 119 of file membership_base.h.

References interval_set.

TimeRelationPtr MembershipTimeRelation::get_original_rel ( )
inline

Definition at line 124 of file membership_base.h.

References original_relation.

HMscNodePtr MembershipTimeRelation::get_ref_node ( )
inline

Definition at line 129 of file membership_base.h.

References original_ref_node.

std::set<MessageEvent*> MembershipTimeRelation::get_start ( )
inline

Definition at line 100 of file membership_base.h.

References start.

void MembershipTimeRelation::set_end ( std::set< MessageEvent * >  end)
inline

Definition at line 114 of file membership_base.h.

References end.

Referenced by MembershipContext::add_relative_time().

void MembershipTimeRelation::set_start ( std::set< MessageEvent * >  start)
inline

Definition at line 105 of file membership_base.h.

References start.

Referenced by MembershipContext::add_relative_time().

Friends And Related Function Documentation

void intrusive_ptr_add_ref ( const MembershipTimeRelation ptr)
friend

Definition at line 135 of file membership_base.h.

void intrusive_ptr_release ( const MembershipTimeRelation ptr)
friend

Definition at line 141 of file membership_base.h.

Member Data Documentation

std::set<MessageEvent*> MembershipTimeRelation::end
private

set of events in the flow diagram which corespond to start events in time relation from the specification (it has to be set due to time constraints in HMSC on reference node)

Definition at line 68 of file membership_base.h.

Referenced by get_end(), and set_end().

MscTimeIntervalSet<double> MembershipTimeRelation::interval_set
private

pointer to reference node which has to be marked in case time relation is nested in some reference node

Definition at line 72 of file membership_base.h.

Referenced by get_interval_set(), and MembershipTimeRelation().

size_t MembershipTimeRelation::m_counter
mutableprivate

interval set which has to be satisfied

Number of references to this object.

Definition at line 75 of file membership_base.h.

Referenced by intrusive_ptr_add_ref(), intrusive_ptr_release(), and MembershipTimeRelation().

HMscNodePtr MembershipTimeRelation::original_ref_node
private

pointer to time relation in the specification

Definition at line 70 of file membership_base.h.

Referenced by get_ref_node(), and MembershipTimeRelation().

TimeRelationPtr MembershipTimeRelation::original_relation
private

set of events in the flow diagram which corespond to end events in time relation from the specification (it has to be set due to time constraints in HMSC on reference node)

Definition at line 69 of file membership_base.h.

Referenced by get_original_rel(), and MembershipTimeRelation().

std::set<MessageEvent*> MembershipTimeRelation::start
private

Definition at line 67 of file membership_base.h.

Referenced by get_start(), and set_start().


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

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