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
 
MessageEventm_first
 
Eventm_second
 
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 (
)
inline

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
private

Definition at line 382 of file race_checker.h.

Referenced by get_first().

FootprintPtr RaceInHMscException::m_footprint
private

Definition at line 381 of file race_checker.h.

Referenced by get_footprint().

MscElementPList RaceInHMscException::m_path_to_second
private

Definition at line 384 of file race_checker.h.

Referenced by get_path_to_second().

Event* RaceInHMscException::m_second
private

Definition at line 383 of file race_checker.h.

Referenced by get_second().


The documentation for this class was generated from the following files:

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen