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

#include <name_checker.h>

Inheritance diagram for NameChecker:
Inheritance graph
Collaboration diagram for NameChecker:
Collaboration graph

Public Member Functions

 NameChecker ()
 
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< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr chm)
 
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 HMscChecker
virtual ~HMscChecker ()
 
- Public Member Functions inherited from BMscChecker
virtual ~BMscChecker ()
 

Static Public Member Functions

static NameCheckerPtr instance ()
 

Protected Member Functions

HMscPtr create_duplicate_counter_example (const MscElementPListList &path, const std::wstring &label)
 
HMscPtr create_inconsistent_counter_example (const MscElementPListList &path1, const MscElementPListList &path2)
 
- Protected Member Functions inherited from HMscChecker
 HMscChecker ()
 

Protected Attributes

BMscGraphDuplicator m_graph_duplicator
 

Static Protected Attributes

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

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...
 

Detailed Description

Definition at line 110 of file name_checker.h.

Constructor & Destructor Documentation

NameChecker::NameChecker ( )
inline

Definition at line 129 of file name_checker.h.

Member Function Documentation

std::list< HMscPtr > NameChecker::check ( HMscPtr  hmsc,
ChannelMapperPtr  chm 
)
virtual
std::list< BMscPtr > NameChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  mapper 
)
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.

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

Implements BMscChecker.

Definition at line 167 of file name_checker.cpp.

References DFSListenersContainer::add_white_node_found_listener(), check(), DFSBMscGraphTraverser::get_reached_elements(), result, and DFSBMscGraphTraverser::traverse().

void NameChecker::cleanup_attributes ( void  )
virtual

Cleans up no more needed attributes.

Implements Checker.

Definition at line 251 of file name_checker.cpp.

HMscPtr NameChecker::create_duplicate_counter_example ( const MscElementPListList path,
const std::wstring &  label 
)
protected
HMscPtr NameChecker::create_inconsistent_counter_example ( const MscElementPListList path1,
const MscElementPListList path2 
)
protected
virtual std::wstring NameChecker::get_help_filename ( ) const
inlinevirtual

Ralative path to a HTML file displayed as help.

Implements Checker.

Definition at line 141 of file name_checker.h.

Checker::PreconditionList NameChecker::get_preconditions ( MscPtr  msc) const
virtual

Returns a list of preconditions for the check.

Implements Checker.

Definition at line 82 of file name_checker.cpp.

References result.

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

Human readable name of the property being checked.

Implements Checker.

Definition at line 135 of file name_checker.h.

static NameCheckerPtr NameChecker::instance ( )
inlinestatic

Definition at line 167 of file name_checker.h.

bool NameChecker::is_supported ( ChannelMapperPtr  chm)
inlinevirtual

Supports all mappers

Implements Checker.

Definition at line 161 of file name_checker.h.

Member Data Documentation

BMscGraphDuplicator NameChecker::m_graph_duplicator
protected

Definition at line 123 of file name_checker.h.

Referenced by check().

NameCheckerPtr NameChecker::m_instance
staticprotected

Common instance.

Definition at line 117 of file name_checker.h.


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

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