This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

52 lines
1.5 KiB

6 years ago
/***************************************************************
* Name: DiamondShape.h
* Purpose: Defines diamond shape class
* Author: Michal Bližňák (michal.bliznak@tiscali.cz)
* Created: 2007-07-22
* Copyright: Michal Bližňák
* License: wxWidgets license (www.wxwidgets.org)
* Notes:
**************************************************************/
#ifndef _WXSFDIAMONDSHAPE_H
#define _WXSFDIAMONDSHAPE_H
#include <wx/wxsf/PolygonShape.h>
/*!
* \brief Class encapsulating the diamond shape. It extends the basic polygon shape.
* \sa wxSFPolygonShape
*/
class WXDLLIMPEXP_SF wxSFDiamondShape : public wxSFPolygonShape
{
public:
XS_DECLARE_CLONABLE_CLASS(wxSFDiamondShape);
/*! \brief Default constructor. */
wxSFDiamondShape();
/*!
* \brief User constructor.
* \param pos Initial position
* \param manager Pointer to parent diagram manager
*/
wxSFDiamondShape(const wxRealPoint& pos, wxSFDiagramManager* manager);
/*!
* \brief Copy constructor.
* \param obj Reference to the source object
*/
wxSFDiamondShape(const wxSFDiamondShape& obj);
/*! \brief Destructor. */
virtual ~wxSFDiamondShape();
// public virtual functions
/*!
* \brief Test whether the given point is inside the shape. The function
* can be overrided if neccessary.
* \param pos Examined point
* \return TRUE if the point is inside the shape area, otherwise FALSE
*/
virtual bool Contains(const wxPoint& pos);
};
#endif //_WXSFDIAMONDSHAPE_H