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

#include <time_consistency.h>

Inheritance diagram for ConsistencyChecker:
Inheritance graph
Collaboration diagram for ConsistencyChecker:
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< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr mapper)
 
virtual std::list< BMscPtrcheck (BMscPtr bmsc, ChannelMapperPtr mapper)
 
virtual void cleanup_attributes ()
 
- 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

Definition at line 1175 of file time_consistency.h.

Member Function Documentation

virtual std::list<HMscPtr> ConsistencyChecker::check ( HMscPtr  hmsc,
ChannelMapperPtr  mapper 
)
inlinevirtual

Checks HMsc against specific property.

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

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

Implements HMscChecker.

Definition at line 1203 of file time_consistency.h.

References HMscConsistencyChecker::check().

virtual std::list<BMscPtr> ConsistencyChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  mapper 
)
inlinevirtual
virtual void ConsistencyChecker::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 1286 of file time_consistency.h.

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

Ralative path to a HTML file displayed as help.

Implements Checker.

Definition at line 1193 of file time_consistency.h.

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

Returns a list of preconditions for the check.

Implements Checker.

Definition at line 1196 of file time_consistency.h.

References PrerequisiteCheck::PP_REQUIRED.

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

Human readable name of the property being checked.

Implements Checker.

Definition at line 1180 of file time_consistency.h.

virtual bool ConsistencyChecker::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 1185 of file time_consistency.h.


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