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

#include <checker.h>

Inheritance diagram for Checker:
Inheritance graph
Collaboration diagram for Checker:
Collaboration graph

Public Types

typedef std::vector
< PrerequisiteCheck
PreconditionList
 List of properties that must be satisfied before executing the check. More...
 

Public Member Functions

virtual std::wstring get_property_name () const =0
 
virtual std::wstring get_help_filename () const =0
 
virtual PreconditionList get_preconditions (MscPtr msc) const =0
 Returns a list of preconditions for the check. More...
 
virtual void cleanup_attributes ()=0
 
virtual bool is_supported (ChannelMapperPtr chm)=0
 
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)
 

Detailed Description

Basic abstract class for all checking algorithms.

Definition at line 44 of file checker.h.

Member Typedef Documentation

List of properties that must be satisfied before executing the check.

Definition at line 60 of file checker.h.

Constructor & Destructor Documentation

virtual Checker::~Checker ( )
inlinevirtual

Definition at line 80 of file checker.h.

Member Function Documentation

virtual void Checker::cleanup_attributes ( )
pure virtual

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.

Implemented in ConsistencyChecker, TimeRaceChecker, RaceChecker, LivelockChecker, LocalChoiceChecker, UniversalBoundednessChecker, NameChecker, AcyclicChecker, FifoChecker, DeadlockChecker, ConstraintsChecker, NonrecursivityChecker, AbsoluteTimeConsistencyChecker, and RealizabilityChecker.

virtual std::wstring Checker::get_help_filename ( ) const
pure virtual
virtual PreconditionList Checker::get_preconditions ( MscPtr  msc) const
pure virtual
virtual std::wstring Checker::get_property_name ( ) const
pure virtual
virtual bool Checker::is_supported ( ChannelMapperPtr  chm)
pure virtual

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.

Implemented in ConsistencyChecker, RaceChecker, TimeRaceChecker, LocalChoiceChecker, UniversalBoundednessChecker, LivelockChecker, NameChecker, AcyclicChecker, DeadlockChecker, ConstraintsChecker, FifoChecker, NonrecursivityChecker, RealizabilityChecker, and AbsoluteTimeConsistencyChecker.


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

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