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

Checks time race for given BMsc or HMsc. More...

#include <time_trace_race.h>

Inheritance diagram for TimeRaceChecker:
Inheritance graph
Collaboration diagram for TimeRaceChecker:
Collaboration graph

Public Member Functions

virtual std::wstring get_property_name () const
 
virtual bool is_supported (ChannelMapperPtr chm)
 
virtual std::wstring get_help_filename () const
 
virtual PreconditionList get_preconditions (MscPtr msc) const
 Returns a list of preconditions for the check. More...
 
virtual std::list< BMscPtrcheck (BMscPtr bmsc, ChannelMapperPtr mapper)
 Checks time race for given BMsc and ChannelMapper. More...
 
virtual void cleanup_attributes ()
 
virtual std::list< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr mapper)
 Checks time race for given HMsc and ChannelMapper. More...
 
- Public Member Functions inherited from Checker
virtual ~Checker ()
 
- Public Member Functions inherited from Reporter
 Reporter ()
 
 Reporter (ReportPrinter *printer)
 
virtual ~Reporter ()
 
void set_printer (ReportPrinter *printer)
 
int print_report (TReportSeverity severity, const std::wstring &message)
 
- Public Member Functions inherited from BMscChecker
virtual ~BMscChecker ()
 
- Public Member Functions inherited from HMscChecker
virtual ~HMscChecker ()
 

Additional Inherited Members

- Public Types inherited from Checker
typedef std::vector
< PrerequisiteCheck
PreconditionList
 List of properties that must be satisfied before executing the check. More...
 
- Protected Member Functions inherited from HMscChecker
 HMscChecker ()
 
- Static Protected Attributes inherited from BMscChecker
static BMscCheckerPtr m_checker
 

Detailed Description

Checks time race for given BMsc or HMsc.

it is expected that BMsc/HMsc satisfy Deadlock Free, Livelock Free, Correct Time Constraint Syntax and Time Consistent if aplicable.

Definition at line 215 of file time_trace_race.h.

Member Function Documentation

virtual std::list<BMscPtr> TimeRaceChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  mapper 
)
inlinevirtual
virtual std::list<HMscPtr> TimeRaceChecker::check ( HMscPtr  hmsc,
ChannelMapperPtr  mapper 
)
inlinevirtual

Checks time race for given HMsc and ChannelMapper.

Parameters
hmsc- hmsc to be checked for time trace races
mapper- channel mapper
Returns
list of HMscs with marked events which cause time trace race

Implements HMscChecker.

Definition at line 330 of file time_trace_race.h.

References DFSListenersContainer::add_white_node_found_listener(), Duplicator::cleanup_attributes(), BMscGraphDuplicator::duplicate_hmsc(), TimeRaceInHMscException::get_counterexample_hmsc(), BMscGraphDuplicator::get_found_nontransformable_constraint(), Reporter::print_report(), PostProcess::reset(), RS_WARNING, and DFSBMscGraphTraverser::traverse().

virtual void TimeRaceChecker::cleanup_attributes ( )
inlinevirtual

Removes no more needed attributes.

Descendat of this class should remove attributes of MscElements that are no more needed. This method should be called after finish of algorithm.

Implements Checker.

Definition at line 318 of file time_trace_race.h.

virtual std::wstring TimeRaceChecker::get_help_filename ( ) const
inlinevirtual

Ralative path to a HTML file displayed as help.

Implements Checker.

Definition at line 233 of file time_trace_race.h.

virtual PreconditionList TimeRaceChecker::get_preconditions ( MscPtr  msc) const
inlinevirtual

Returns a list of preconditions for the check.

Implements Checker.

Definition at line 236 of file time_trace_race.h.

References PrerequisiteCheck::PP_REQUIRED.

virtual std::wstring TimeRaceChecker::get_property_name ( ) const
inlinevirtual

Human readable name of the property being checked.

Implements Checker.

Definition at line 220 of file time_trace_race.h.

virtual bool TimeRaceChecker::is_supported ( ChannelMapperPtr  chm)
inlinevirtual

Checks whether Checker supports given ChannelMapper.

Deafult behaviour is false for all mappers, but it is neccessary to check out this behaviour in individual checkers.

Implements Checker.

Definition at line 225 of file time_trace_race.h.


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