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

#include <checker.h>

Inheritance diagram for HMscChecker:
Inheritance graph
Collaboration diagram for HMscChecker:
Collaboration graph

Public Member Functions

virtual ~HMscChecker ()
virtual std::list< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr mapper)=0

Protected Member Functions

 HMscChecker ()

Detailed Description

Basic abstract class for checking algorithms of HMsc.

Definition at line 92 of file checker.h.

Constructor & Destructor Documentation

HMscChecker::HMscChecker ( )

Hidden constructor.

Definition at line 100 of file checker.h.

virtual HMscChecker::~HMscChecker ( )

Definition at line 105 of file checker.h.

Member Function Documentation

virtual std::list<HMscPtr> HMscChecker::check ( HMscPtr  hmsc,
ChannelMapperPtr  mapper 
pure virtual

Checks HMsc against specific property.

Returns a list of MscPathPtr with violating examples if there are any in hmsc otherwise the list is empty.

hmsc- HMsc to be checked
mapper- ChannelMapper which is chosen as delivery semantic

Implemented in ConsistencyChecker, TimeRaceChecker, RaceChecker, LivelockChecker, LocalChoiceChecker, UniversalBoundednessChecker, NameChecker, HMscReferenceChecker< BMSC_CHECKER >, HMscReferenceChecker< FifoChecker >, HMscReferenceChecker< AcyclicChecker >, DeadlockChecker, NonrecursivityChecker, ConstraintsChecker, and RealizabilityChecker.

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