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

#include <acyclic_checker.h>

Inheritance diagram for AcyclicChecker:
Inheritance graph
Collaboration diagram for AcyclicChecker:
Collaboration graph

Public Member Functions

 AcyclicChecker ()
 ~AcyclicChecker ()
virtual std::wstring get_property_name () const
virtual std::wstring get_help_filename () const
virtual PreconditionList get_preconditions (MscPtr msc) const
 Returns a list of preconditions for the check. More...
std::list< BMscPtrcheck (BMscPtr bmsc, ChannelMapperPtr chm)
void cleanup_attributes ()
bool is_supported (ChannelMapperPtr chm)
- 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 HMscReferenceChecker< AcyclicChecker >
std::list< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr chm)
- Public Member Functions inherited from HMscChecker
virtual ~HMscChecker ()

Static Public Member Functions

static AcyclicCheckerPtr instance ()

Static Protected Attributes

static AcyclicCheckerPtr m_instance
- Static Protected Attributes inherited from BMscChecker
static BMscCheckerPtr m_checker

Additional Inherited Members

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

Detailed Description

Definition at line 106 of file acyclic_checker.h.

Constructor & Destructor Documentation

AcyclicChecker::AcyclicChecker ( )

Definition at line 119 of file acyclic_checker.h.

AcyclicChecker::~AcyclicChecker ( )

Definition at line 123 of file acyclic_checker.h.

Member Function Documentation

std::list< BMscPtr > AcyclicChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  chm 
void AcyclicChecker::cleanup_attributes ( void  )

Cleans up no more needed attributes.

Implements Checker.

Definition at line 150 of file acyclic_checker.h.

virtual std::wstring AcyclicChecker::get_help_filename ( ) const

Ralative path to a HTML file displayed as help.

Implements Checker.

Definition at line 137 of file acyclic_checker.h.

Checker::PreconditionList AcyclicChecker::get_preconditions ( MscPtr  msc) const

Returns a list of preconditions for the check.

Implements Checker.

Definition at line 24 of file acyclic_checker.cpp.

References result.

virtual std::wstring AcyclicChecker::get_property_name ( ) const

Human readable name of the property being checked.

Implements Checker.

Definition at line 131 of file acyclic_checker.h.

static AcyclicCheckerPtr AcyclicChecker::instance ( )

Definition at line 162 of file acyclic_checker.h.

bool AcyclicChecker::is_supported ( ChannelMapperPtr  chm)

Supports all mappers

Implements Checker.

Definition at line 157 of file acyclic_checker.h.

Member Data Documentation

AcyclicCheckerPtr AcyclicChecker::m_instance

Common instance.

Definition at line 115 of file acyclic_checker.h.

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