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

#include <time_trace_race.h>

Inheritance diagram for TimeRaceInHMscException:
Inheritance graph
Collaboration diagram for TimeRaceInHMscException:
Collaboration graph

Public Member Functions

 TimeRaceInHMscException (HMscPtr hmsc)
 
 ~TimeRaceInHMscException () throw ()
 
HMscPtr get_counterexample_hmsc ()
 

Private Attributes

HMscPtr m_counterexample_hmsc
 

Detailed Description

Parameters
name-
Returns

Definition at line 52 of file time_trace_race.h.

Constructor & Destructor Documentation

TimeRaceInHMscException::TimeRaceInHMscException ( HMscPtr  hmsc)
inline

Definition at line 61 of file time_trace_race.h.

References m_counterexample_hmsc.

TimeRaceInHMscException::~TimeRaceInHMscException ( )
throw (
)
inline

Definition at line 65 of file time_trace_race.h.

Member Function Documentation

HMscPtr TimeRaceInHMscException::get_counterexample_hmsc ( )
inline
Parameters
name-
Returns

Definition at line 77 of file time_trace_race.h.

References m_counterexample_hmsc.

Referenced by TimeRaceChecker::check().

Member Data Documentation

HMscPtr TimeRaceInHMscException::m_counterexample_hmsc
private

Definition at line 57 of file time_trace_race.h.

Referenced by get_counterexample_hmsc(), and TimeRaceInHMscException().


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

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