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
ReferenceException Class Reference

#include <hmsc_reference_checker.h>

Collaboration diagram for ReferenceException:
Collaboration graph

Public Member Functions

 ReferenceException (ReferenceNodePtr reference, std::list< BMscPtr > counterexamples)
ReferenceNodePtr get_reference () const
std::list< BMscPtrget_counterexamples () const

Private Attributes

ReferenceNodePtr m_reference
std::list< BMscPtrm_counterexamples

Detailed Description

Represents a property violation in a BMSC referenced from a given reference node.

Definition at line 29 of file hmsc_reference_checker.h.

Constructor & Destructor Documentation

ReferenceException::ReferenceException ( ReferenceNodePtr  reference,
std::list< BMscPtr counterexamples 

Definition at line 32 of file hmsc_reference_checker.h.

Member Function Documentation

std::list<BMscPtr> ReferenceException::get_counterexamples ( ) const

Definition at line 41 of file hmsc_reference_checker.h.

References m_counterexamples.

Referenced by HMscReferenceChecker< AcyclicChecker >::check().

ReferenceNodePtr ReferenceException::get_reference ( ) const

Definition at line 36 of file hmsc_reference_checker.h.

References m_reference.

Referenced by HMscReferenceChecker< AcyclicChecker >::check().

Member Data Documentation

std::list<BMscPtr> ReferenceException::m_counterexamples

Definition at line 48 of file hmsc_reference_checker.h.

Referenced by get_counterexamples().

ReferenceNodePtr ReferenceException::m_reference

Definition at line 47 of file hmsc_reference_checker.h.

Referenced by get_reference().

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