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

#include <checker.h>

Collaboration diagram for SRMessagePart:
Collaboration graph

Public Member Functions

 SRMessagePart (const MessageEvent *e)
 
bool operator< (const SRMessagePart &mp) const
 

Static Public Member Functions

static bool same_channel (const MessageEvent *e1, const MessageEvent *e2)
 

Private Attributes

std::wstring m_sender
 
std::wstring m_receiver
 

Detailed Description

Used in GeneralMapper template to decide whether two messages belongs to the same channel (delivery semantic).

For decision send and receive instances' labels are used.

To see delivery semantic of this class see operator<() and same_channel() methods of this class.

Definition at line 279 of file checker.h.

Constructor & Destructor Documentation

SRMessagePart::SRMessagePart ( const MessageEvent e)
inline

Member Function Documentation

bool SRMessagePart::operator< ( const SRMessagePart mp) const
inline

Used in std::map as comparision function

Definition at line 297 of file checker.h.

References m_receiver, and m_sender.

static bool SRMessagePart::same_channel ( const MessageEvent e1,
const MessageEvent e2 
)
inlinestatic

Channels of message m1 and m2 are same if and only if m1 has got same sender and receiver as m2.

Definition at line 308 of file checker.h.

References MessageEvent::get_receiver_label(), MessageEvent::get_sender_label(), MessageEvent::is_receive(), and MessageEvent::is_send().

Member Data Documentation

std::wstring SRMessagePart::m_receiver
private

Definition at line 284 of file checker.h.

Referenced by operator<(), and SRMessagePart().

std::wstring SRMessagePart::m_sender
private

Definition at line 282 of file checker.h.

Referenced by operator<(), and SRMessagePart().


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