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

#include <race_checker.h>

Inheritance diagram for RaceInHMscException:
Inheritance graph
Collaboration diagram for RaceInHMscException:
Collaboration graph

Public Member Functions

 RaceInHMscException (FootprintPtr &footprint, MessageEvent *first, Event *second, const MscElementPList &path_to_second)
 ~RaceInHMscException () throw ()
FootprintPtrget_footprint ()
MessageEventget_first ()
Eventget_second ()
MscElementPListget_path_to_second ()

Private Attributes

FootprintPtr m_footprint
MscElementPList m_path_to_second

Detailed Description

Definition at line 377 of file race_checker.h.

Constructor & Destructor Documentation

RaceInHMscException::RaceInHMscException ( FootprintPtr footprint,
MessageEvent first,
Event second,
const MscElementPList path_to_second 

Definition at line 676 of file race_checker.cpp.

RaceInHMscException::~RaceInHMscException ( )
throw (

Definition at line 391 of file race_checker.h.

Member Function Documentation

MessageEvent * RaceInHMscException::get_first ( )

Definition at line 688 of file race_checker.cpp.

References m_first.

Referenced by RaceChecker::create_counter_example().

FootprintPtr & RaceInHMscException::get_footprint ( )

Definition at line 683 of file race_checker.cpp.

References m_footprint.

Referenced by RaceChecker::create_counter_example().

MscElementPList & RaceInHMscException::get_path_to_second ( )

Definition at line 698 of file race_checker.cpp.

References m_path_to_second.

Event * RaceInHMscException::get_second ( )

Definition at line 693 of file race_checker.cpp.

References m_second.

Referenced by RaceChecker::create_counter_example().

Member Data Documentation

MessageEvent* RaceInHMscException::m_first

Definition at line 382 of file race_checker.h.

Referenced by get_first().

FootprintPtr RaceInHMscException::m_footprint

Definition at line 381 of file race_checker.h.

Referenced by get_footprint().

MscElementPList RaceInHMscException::m_path_to_second

Definition at line 384 of file race_checker.h.

Referenced by get_path_to_second().

Event* RaceInHMscException::m_second

Definition at line 383 of file race_checker.h.

Referenced by get_second().

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