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)

Member Function Documentation

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

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 

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

Definition at line 284 of file checker.h.

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

std::wstring SRMessagePart::m_sender

Definition at line 282 of file checker.h.

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

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