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

#include <checker.h>

Inheritance diagram for BMscChecker:
Inheritance graph
Collaboration diagram for BMscChecker:
Collaboration graph

Public Member Functions

virtual ~BMscChecker ()
virtual std::list< BMscPtrcheck (BMscPtr bmsc, ChannelMapperPtr mapper)=0

Static Protected Attributes

static BMscCheckerPtr m_checker

Detailed Description

Basic abstract class for checking algorithms of BMsc.

Definition at line 121 of file checker.h.

Constructor & Destructor Documentation

virtual BMscChecker::~BMscChecker ( )

Definition at line 132 of file checker.h.

Member Function Documentation

virtual std::list<BMscPtr> BMscChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  mapper 
pure virtual

Checks BMsc against specific property.

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

bmsc- BMsc to be checked
mapper- ChannelMapper which is chosen as delivery semantic

Implemented in ConsistencyChecker, RaceChecker, TimeRaceChecker, NameChecker, AcyclicChecker, FifoChecker, AbsoluteTimeConsistencyChecker, and ConstraintsChecker.

Referenced by ReferenceWalker::on_white_node_found().

Member Data Documentation

BMscCheckerPtr BMscChecker::m_checker

Singleton instance.

Definition at line 129 of file checker.h.

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