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

Handles visual closure on bmsc Init DFSEventsTraverser, TopologicalOrderListener and VisualClosureInitiator. Makes easier to run is_leq method on two events. More...

#include <utils.h>

Collaboration diagram for EventTopologyHandler:
Collaboration graph

Public Member Functions

 EventTopologyHandler (BMscPtr bmsc)
 
 EventTopologyHandler (const EventTopologyHandler &handler)
 
 ~EventTopologyHandler ()
 
void init_causal (ChannelMapperPtr mapper)
 
bool visual_is_leq (Event *a, Event *b)
 
bool causal_is_leq (Event *a, Event *b)
 
const EventPVector get_topology ()
 

Private Member Functions

void init_visual ()
 
void init_causal ()
 

Private Attributes

BMscPtr m_bmsc
 
EventPList m_event_topology
 
ChannelMapperPtr m_mapper
 
VisualClosureInitiatorm_p_visual_closure_initiator
 
CausalClosureInitiatorm_p_causal_closure_initiator
 

Detailed Description

Handles visual closure on bmsc Init DFSEventsTraverser, TopologicalOrderListener and VisualClosureInitiator. Makes easier to run is_leq method on two events.

Definition at line 109 of file utils.h.

Constructor & Destructor Documentation

EventTopologyHandler::EventTopologyHandler ( BMscPtr  bmsc)
inline

Definition at line 144 of file utils.h.

References init_visual().

EventTopologyHandler::EventTopologyHandler ( const EventTopologyHandler handler)
inline
EventTopologyHandler::~EventTopologyHandler ( )
inline

Definition at line 166 of file utils.h.

References m_p_causal_closure_initiator, and m_p_visual_closure_initiator.

Member Function Documentation

bool EventTopologyHandler::causal_is_leq ( Event a,
Event b 
)
inline
const EventPVector EventTopologyHandler::get_topology ( )
inline
Returns
vector of topologically sorted events according to visual order

Definition at line 206 of file utils.h.

References m_event_topology.

Referenced by BMscIntervalSetMatrix::BMscIntervalSetMatrix(), BMscIntervalSetComponentMatrix::build_up_matrix(), EventTopologyHandler(), and init_causal().

void EventTopologyHandler::init_causal ( )
inlineprivate
void EventTopologyHandler::init_causal ( ChannelMapperPtr  mapper)
inline

Definition at line 173 of file utils.h.

References init_causal(), and m_mapper.

void EventTopologyHandler::init_visual ( )
inlineprivate
bool EventTopologyHandler::visual_is_leq ( Event a,
Event b 
)
inline

Member Data Documentation

BMscPtr EventTopologyHandler::m_bmsc
private

Definition at line 112 of file utils.h.

Referenced by EventTopologyHandler(), and init_visual().

EventPList EventTopologyHandler::m_event_topology
private

Definition at line 113 of file utils.h.

Referenced by EventTopologyHandler(), get_topology(), and init_visual().

ChannelMapperPtr EventTopologyHandler::m_mapper
private

Definition at line 114 of file utils.h.

Referenced by EventTopologyHandler(), and init_causal().

CausalClosureInitiator* EventTopologyHandler::m_p_causal_closure_initiator
private

Definition at line 117 of file utils.h.

Referenced by causal_is_leq(), EventTopologyHandler(), init_causal(), and ~EventTopologyHandler().

VisualClosureInitiator* EventTopologyHandler::m_p_visual_closure_initiator
private

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

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