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

#include <hmsc_reference_checker.h>

Inheritance diagram for HMscReferenceChecker< BMSC_CHECKER >:
Inheritance graph
Collaboration diagram for HMscReferenceChecker< BMSC_CHECKER >:
Collaboration graph

Public Member Functions

std::list< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr chm)
- Public Member Functions inherited from HMscChecker
virtual ~HMscChecker ()

Additional Inherited Members

- Protected Member Functions inherited from HMscChecker
 HMscChecker ()

Detailed Description

template<class BMSC_CHECKER>
class HMscReferenceChecker< BMSC_CHECKER >

Abstract checker that verifies a property against every BMsc in HMsc.

Definition at line 98 of file hmsc_reference_checker.h.

Member Function Documentation

template<class BMSC_CHECKER>
std::list<HMscPtr> HMscReferenceChecker< BMSC_CHECKER >::check ( HMscPtr  hmsc,
ChannelMapperPtr  mapper 

Checks HMsc against specific property.

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

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

Implements HMscChecker.

Definition at line 101 of file hmsc_reference_checker.h.

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