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

#include <pcap_time.h>

Inheritance diagram for AbsoluteTimeConsistencyChecker:
Inheritance graph
Collaboration diagram for AbsoluteTimeConsistencyChecker:
Collaboration graph

Public Member Functions

 AbsoluteTimeConsistencyChecker ()
 
virtual ~AbsoluteTimeConsistencyChecker ()
 
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 this transformation. More...
 
virtual std::list< BMscPtrcheck (BMscPtr bmsc, ChannelMapperPtr mapper)
 
virtual void cleanup_attributes ()
 
void setMisingTimeMap (const MissingTimeMap &map)
 
- 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 ()
 

Private Attributes

MissingTimeMap m_missing_time_map
 

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...
 
- Static Protected Attributes inherited from BMscChecker
static BMscCheckerPtr m_checker
 

Detailed Description

Definition at line 49 of file pcap_time.h.

Constructor & Destructor Documentation

AbsoluteTimeConsistencyChecker::AbsoluteTimeConsistencyChecker ( )
inline

Definition at line 52 of file pcap_time.h.

virtual AbsoluteTimeConsistencyChecker::~AbsoluteTimeConsistencyChecker ( )
inlinevirtual

Definition at line 54 of file pcap_time.h.

Member Function Documentation

std::list< BMscPtr > AbsoluteTimeConsistencyChecker::check ( BMscPtr  bmsc,
ChannelMapperPtr  mapper 
)
virtual
virtual void AbsoluteTimeConsistencyChecker::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 79 of file pcap_time.h.

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

Ralative path to a HTML file displayed as help. Not made yet

Implements Checker.

Definition at line 70 of file pcap_time.h.

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

Returns a list of preconditions for this transformation.

Implements Checker.

Definition at line 37 of file pcap_time.cpp.

References PrerequisiteCheck::PP_REQUIRED, and result.

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

Human readable name of the property being checked.

Implements Checker.

Definition at line 56 of file pcap_time.h.

virtual bool AbsoluteTimeConsistencyChecker::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 61 of file pcap_time.h.

void AbsoluteTimeConsistencyChecker::setMisingTimeMap ( const MissingTimeMap map)
inline

Definition at line 84 of file pcap_time.h.

Member Data Documentation

MissingTimeMap AbsoluteTimeConsistencyChecker::m_missing_time_map
private

Definition at line 90 of file pcap_time.h.


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

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