Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | Static Protected Attributes | List of all members
GeneralMapper< MessagePart > Class Template Reference

#include <checker.h>

Inheritance diagram for GeneralMapper< MessagePart >:
Inheritance graph
Collaboration diagram for GeneralMapper< MessagePart >:
Collaboration graph

Public Types

typedef std::map< MessagePart,
size_t > 
ChannelMap
 

Public Member Functions

bool same_channel (const MessageEvent *e1, const MessageEvent *e2) const
 
size_t channel (const MessageEvent *event)
 
size_t get_channel_count ()
 
ChannelMapperPtr copy ()
 
- Public Member Functions inherited from ChannelMapper
virtual ~ChannelMapper ()
 

Static Public Member Functions

static boost::shared_ptr
< GeneralMapper< MessagePart > > 
instance ()
 

Protected Attributes

std::map< MessagePart, size_t > m_channels
 

Static Protected Attributes

static boost::shared_ptr
< GeneralMapper< MessagePart > > 
m_instance
 

Detailed Description

template<typename MessagePart>
class GeneralMapper< MessagePart >

Basic implementation of ChannelMapper.

Definition at line 191 of file checker.h.

Member Typedef Documentation

template<typename MessagePart >
typedef std::map<MessagePart,size_t> GeneralMapper< MessagePart >::ChannelMap

Definition at line 196 of file checker.h.

Member Function Documentation

template<typename MessagePart >
size_t GeneralMapper< MessagePart >::channel ( const MessageEvent event)
inlinevirtual

Returns index of channel which event's message belongs into.

Implements ChannelMapper.

Definition at line 223 of file checker.h.

References GeneralMapper< MessagePart >::m_channels.

template<typename MessagePart >
ChannelMapperPtr GeneralMapper< MessagePart >::copy ( )
inlinevirtual

Returns copy of this channel mapper without registered channels.

Usefull if you need to have the same functionality of the original mapper, but you don't want to work with all registered events by the original one.

Implements ChannelMapper.

Definition at line 263 of file checker.h.

template<typename MessagePart >
size_t GeneralMapper< MessagePart >::get_channel_count ( )
inlinevirtual

Returns number of channel registered by this channel mapper

Implements ChannelMapper.

Definition at line 252 of file checker.h.

References GeneralMapper< MessagePart >::m_channels.

template<typename MessagePart >
static boost::shared_ptr<GeneralMapper<MessagePart> > GeneralMapper< MessagePart >::instance ( )
inlinestatic

Returns common instance of ChannelMapper

Definition at line 239 of file checker.h.

References GeneralMapper< MessagePart >::m_instance.

Referenced by HMscConsistencyChecker::on_path_found(), and HMscTighter::tighten_BMscGraph_path().

template<typename MessagePart >
bool GeneralMapper< MessagePart >::same_channel ( const MessageEvent e1,
const MessageEvent e2 
) const
inlinevirtual

Returns true if m1 belongs to the same channel as m2.

Implements ChannelMapper.

Definition at line 215 of file checker.h.

Member Data Documentation

template<typename MessagePart >
std::map<MessagePart,size_t> GeneralMapper< MessagePart >::m_channels
protected

Holds identificators of channels represented by MessagePart of MscMessage.

Definition at line 208 of file checker.h.

Referenced by GeneralMapper< MessagePart >::channel(), and GeneralMapper< MessagePart >::get_channel_count().

template<typename MessagePart >
boost::shared_ptr< GeneralMapper< T > > GeneralMapper< T >::m_instance
staticprotected

Common instance of GeneralMapper.

Definition at line 203 of file checker.h.

Referenced by GeneralMapper< MessagePart >::instance().


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