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

#include <checker.h>

Inheritance diagram for ChannelMapper:
Inheritance graph
Collaboration diagram for ChannelMapper:
Collaboration graph

Public Member Functions

virtual ~ChannelMapper ()
virtual bool same_channel (const MessageEvent *e1, const MessageEvent *e2) const =0
virtual size_t channel (const MessageEvent *event)=0
virtual size_t get_channel_count ()=0
virtual ChannelMapperPtr copy ()=0

Detailed Description

Abstract class whose purpose is to decide whether two Messages belongs to the same channel or not and assign to a message ID of channel which the message belongs to. This class shortly defines delivery semantic.

Definition at line 150 of file checker.h.

Constructor & Destructor Documentation

virtual ChannelMapper::~ChannelMapper ( )

Definition at line 155 of file checker.h.

Member Function Documentation

virtual size_t ChannelMapper::channel ( const MessageEvent event)
pure virtual

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

event must have set message

Implemented in GeneralMapper< MessagePart >.

virtual ChannelMapperPtr ChannelMapper::copy ( )
pure virtual

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. This approach may increase efficiency in some cases.

Implemented in GeneralMapper< MessagePart >.

virtual size_t ChannelMapper::get_channel_count ( )
pure virtual

Returns number of different channels mapped by this channel mapper

Implemented in GeneralMapper< MessagePart >.

virtual bool ChannelMapper::same_channel ( const MessageEvent e1,
const MessageEvent e2 
) const
pure virtual

Returns true if e1's message belongs to the same channel as e2's message.

Implemented in GeneralMapper< MessagePart >.

Referenced by FootprintTraverser::check_race().

The documentation for this class was generated from the following file: Logo
Generated on Fri Jan 15 2016 16:26:57 for Sequence Chart Studio by  doxygen