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

#include <MscElementTmpl.h>

Inheritance diagram for MscElementTmpl< T >:
Inheritance graph
Collaboration diagram for MscElementTmpl< T >:
Collaboration graph

Public Member Functions

int get_visual_style () const
 
void set_visual_style (int visual_style)
 
MscElementget_general_original () const
 See MscElementTmpl for details about attribute original. More...
 
void set_general_original (MscElement *original)
 See MscElementTmpl for details about attribute original. More...
 
T * get_original () const
 
void set_original (T *e)
 
void set_original (boost::intrusive_ptr< T > &e)
 
virtual ~MscElementTmpl ()
 
- Public Member Functions inherited from MscElement
bool is_attribute_set (const std::string &name) const
 Finds out whether attribute with specified name is set or not. More...
 
template<class T >
T & get_attribute (const std::string &name, const T &def)
 Returns dynamic attribute of MscElement. More...
 
template<class T >
T & get_attribute (const std::string &name, const T &def, bool &status)
 Returns dynamic attribute of MscElement. More...
 
template<class T >
void set_attribute (const std::string &name, const T &val)
 Sets dynamic attribute of MscElement. More...
 
template<class T >
void remove_attribute (const std::string &name)
 Removes attribute of MscElement. More...
 
std::set< std::stringget_attribute_names () const
 List all attributes of MscElement. More...
 
enum MarkType get_marked () const
 
void set_marked (enum MarkType marked=MARKED)
 
MscColor get_color () const
 
void set_color (MscColor color)
 
void clear_color ()
 
virtual ~MscElement ()
 

Protected Member Functions

 MscElementTmpl ()
 
 MscElementTmpl (T *original)
 Creates MscElement referencing the original one. More...
 
- Protected Member Functions inherited from MscElement
 MscElement ()
 

Protected Attributes

int m_visual_style
 Visual style of the shape. More...
 
boost::intrusive_ptr< T > m_original
 Pointer to original version of MscElement. More...
 

Detailed Description

template<class T>
class MscElementTmpl< T >

Definition at line 26 of file MscElementTmpl.h.

Constructor & Destructor Documentation

template<class T>
MscElementTmpl< T >::MscElementTmpl ( )
inlineprotected

Definition at line 48 of file MscElementTmpl.h.

template<class T>
MscElementTmpl< T >::MscElementTmpl ( T *  original)
inlineprotected

Creates MscElement referencing the original one.

Used to create counter example with reference to original element which should be accessible from the new one.

Definition at line 60 of file MscElementTmpl.h.

template<class T>
virtual MscElementTmpl< T >::~MscElementTmpl ( )
inlinevirtual

Definition at line 121 of file MscElementTmpl.h.

Member Function Documentation

template<class T>
MscElement* MscElementTmpl< T >::get_general_original ( ) const
inlinevirtual

See MscElementTmpl for details about attribute original.

Implements MscElement.

Definition at line 79 of file MscElementTmpl.h.

template<class T>
T* MscElementTmpl< T >::get_original ( ) const
inline
template<class T>
int MscElementTmpl< T >::get_visual_style ( ) const
inline

Definition at line 69 of file MscElementTmpl.h.

template<class T>
void MscElementTmpl< T >::set_general_original ( MscElement original)
inlinevirtual

See MscElementTmpl for details about attribute original.

Implementation of this method can throw bad cast exception in case original is not of appropriate type

Implements MscElement.

Definition at line 84 of file MscElementTmpl.h.

template<class T>
void MscElementTmpl< T >::set_original ( T *  e)
inline

Setter for m_original.

Definition at line 108 of file MscElementTmpl.h.

Referenced by MscElementTmpl< EventArea >::set_general_original().

template<class T>
void MscElementTmpl< T >::set_original ( boost::intrusive_ptr< T > &  e)
inline

Setter for m_original.

Definition at line 116 of file MscElementTmpl.h.

template<class T>
void MscElementTmpl< T >::set_visual_style ( int  visual_style)
inline

Definition at line 74 of file MscElementTmpl.h.

Member Data Documentation

template<class T>
boost::intrusive_ptr<T> MscElementTmpl< T >::m_original
protected

Pointer to original version of MscElement.

Checking algorithms returns as their result violating example of BMsc or path in HMsc. To show exact violating example they must often change the original version of BMsc or HMsc. However, it is neccessary to keep original unmodified version, therefore they must create copy of the structure that violated some property.

Moreover it is neccessary to keep relationship between original MscElement and the newly created one. Therefore algorithms keep this relation in this attribute.

Definition at line 46 of file MscElementTmpl.h.

Referenced by MscElementTmpl< EventArea >::get_general_original(), MscElementTmpl< EventArea >::get_original(), MscElementTmpl< EventArea >::MscElementTmpl(), and MscElementTmpl< EventArea >::set_original().

template<class T>
int MscElementTmpl< T >::m_visual_style
protected

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

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