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

#include <membership_base.h>

Inheritance diagram for MembershipAlg:
Inheritance graph
Collaboration diagram for MembershipAlg:
Collaboration graph

Public Member Functions

 MembershipAlg ()
 
virtual ~MembershipAlg ()
 
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 this search. More...
 
virtual std::vector
< SearcherResultPtr
find (MscPtr hmsc, std::vector< MscPtr > &bmscs)
 Finds each bmsc flow from the vector in hmsc specification. More...
 
virtual std::vector
< SearcherResultPtr
find (MscPtr msc, std::vector< MscPtr > &bmscs, std::vector< std::wstring > instances)
 
MscPtr get_dp_msc (MscPtr msc)
 
void cleanup_attributes ()
 
- Public Member Functions inherited from Searcher
virtual ~Searcher ()
 
- 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)
 

Private Member Functions

MscPtr find_flow (MscPtr msc, MscPtr bmsc, std::vector< std::wstring > instances, std::vector< SearcherResultPtr > &messages)
 
MscPtr diff (MembershipContext *c, MscPtr specification, std::vector< MscPtr > &flows)
 Make diff between specification and flow. More...
 
SearcherResultPtr hmsc_diff_result (MembershipContext *c)
 create a result for HMSC diff More...
 

Additional Inherited Members

- Public Types inherited from Searcher
typedef std::vector
< PrerequisiteCheck
PreconditionList
 List of properties that must be satisfied before executing the search. More...
 

Detailed Description

Definition at line 1482 of file membership_base.h.

Constructor & Destructor Documentation

MembershipAlg::MembershipAlg ( )
inline

Definition at line 1494 of file membership_base.h.

virtual MembershipAlg::~MembershipAlg ( )
inlinevirtual

Definition at line 1496 of file membership_base.h.

Member Function Documentation

void MembershipAlg::cleanup_attributes ( void  )
inline

Cleans up no more needed attributes.

Definition at line 1525 of file membership_base.h.

MscPtr MembershipAlg::diff ( MembershipContext c,
MscPtr  specification,
std::vector< MscPtr > &  msc_flows 
)
private

Make diff between specification and flow.

Find msc diffrences between flow and specification

parameters: a - specification b - flow

Definition at line 51 of file diff_impl.cpp.

References bmsc_bmsc_diff(), Z120Parser_Ctx_struct::hmsc, hmsc_bmsc_diff(), MESSAGE, Reporter::print_report(), result, RS_ERROR, RS_WARNING, and MembershipContext::set_diff_type().

Referenced by find_flow(), and hmsc_diff_result().

std::vector< SearcherResultPtr > MembershipAlg::find ( MscPtr  hmsc,
std::vector< MscPtr > &  bmscs 
)
virtual

Finds each bmsc flow from the vector in hmsc specification.

Implements Searcher.

Definition at line 326 of file membership_alg.cpp.

std::vector< SearcherResultPtr > MembershipAlg::find ( MscPtr  msc,
std::vector< MscPtr > &  bmscs,
std::vector< std::wstring >  instances 
)
virtual
MscPtr MembershipAlg::find_flow ( MscPtr  msc,
MscPtr  bmsc,
std::vector< std::wstring >  instances,
std::vector< SearcherResultPtr > &  messages 
)
private
MscPtr MembershipAlg::get_dp_msc ( MscPtr  msc)
virtual std::wstring MembershipAlg::get_help_filename ( ) const
inlinevirtual

Ralative path to a HTML file displayed as help.

Definition at line 1508 of file membership_base.h.

Searcher::PreconditionList MembershipAlg::get_preconditions ( MscPtr  msc) const
virtual

Returns a list of preconditions for this search.

Implements Searcher.

Definition at line 25 of file membership_alg.cpp.

References PrerequisiteCheck::PP_REQUIRED, and result.

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

Human readable name of the property being checked.

Definition at line 1502 of file membership_base.h.

SearcherResultPtr MembershipAlg::hmsc_diff_result ( MembershipContext c)
private

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