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

#include <race_checker.h>

Inheritance diagram for RaceInBMscException:
Inheritance graph
Collaboration diagram for RaceInBMscException:
Collaboration graph

Public Member Functions

 RaceInBMscException (BMscPtr example)
 ~RaceInBMscException () throw ()
virtual const char * what () const throw ()
BMscPtr get_example ()

Private Attributes

BMscPtr m_example

Detailed Description

Definition at line 309 of file race_checker.h.

Constructor & Destructor Documentation

RaceInBMscException::RaceInBMscException ( BMscPtr  example)

Definition at line 320 of file race_checker.h.

References m_example.

RaceInBMscException::~RaceInBMscException ( )
throw (

Definition at line 325 of file race_checker.h.

Member Function Documentation

BMscPtr RaceInBMscException::get_example ( )

Definition at line 335 of file race_checker.h.

References m_example.

virtual const char* RaceInBMscException::what ( ) const
throw (

Definition at line 330 of file race_checker.h.

Member Data Documentation

BMscPtr RaceInBMscException::m_example

Counter example containing race

Definition at line 316 of file race_checker.h.

Referenced by get_example(), and RaceInBMscException().

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