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
SRMMessagePart Class Reference

#include <checker.h>

Collaboration diagram for SRMMessagePart:
Collaboration graph

Public Member Functions

 SRMMessagePart (const MessageEvent *e)
bool operator< (const SRMMessagePart &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
std::wstring m_label

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 and message label are used.

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

Definition at line 328 of file checker.h.

Constructor & Destructor Documentation

SRMMessagePart::SRMMessagePart ( const MessageEvent e)

Member Function Documentation

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

Definition at line 345 of file checker.h.

References m_label, m_receiver, and m_sender.

static bool SRMMessagePart::same_channel ( const MessageEvent e1,
const MessageEvent e2 

Channels of message of e1 and e2 are same if and only if e1 has got same sender, receiver and label as e2.

Definition at line 357 of file checker.h.

References MessageEvent::get_message(), MessageEvent::get_receiver_label(), and MessageEvent::get_sender_label().

Member Data Documentation

std::wstring SRMMessagePart::m_label

Definition at line 334 of file checker.h.

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

std::wstring SRMMessagePart::m_receiver

Definition at line 332 of file checker.h.

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

std::wstring SRMMessagePart::m_sender

Definition at line 330 of file checker.h.

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

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