//------------------------------------------------------------------------------
//
// This file is part of Toolkit for Conceptual Modeling (TCM).
// (c) copyright 1996, Vrije Universiteit Amsterdam.
// Author: Frank Dehne (frank@cs.vu.nl).
//
// TCM is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// TCM is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with TCM; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
//-----------------------------------------------------------------------------
#ifndef _SCDTRANSITIONEDGE_H
#define _SCDTRANSITIONEDGE_H

#include "edge.h"

#include "adsclockconstraint.h"


class SCGraph;


class Prop;
class SCNode;


/// transition (STD) edge class.
class SCDTransitionEdge: public Edge {
/*@Doc: {\large {\bf scope:} TSTD} */
public:
	///
	SCDTransitionEdge(SCGraph *g, Subject *s1, Subject *s2);
	///
	int GetClassType() const {return Code::SCD_TRANSITION_EDGE;}
	///
	Subject *Clone() {return new SCDTransitionEdge(*this);}

      ///
        string GetLabel();
        /// return the event part of the label
        string GetEvent();
        /// return the guard part of the label
        string GetGuard();
        ///
        void SetLabel(string);
        ///
        bool HasEmptyEvent();
        ///
        bool HasEmptyGuard();

	///
	bool AddProp(Prop *p);
	///
	void GetPropList(List <Prop *> &p);

    ///
     void SetSendEvent(Prop *p){sendevent=p;}
     ///
     Prop *GetSendEvent(){return sendevent;}


     void SetClockConstraint(ClockConstraint *c);


     ClockConstraint *GetClockConstraint();


     bool hasClockConstraint();

     string GetUniqueName();

     /// 
     void AddConflict(SCDTransitionEdge *ah){conflict.add(ah);}
     ///
     void GetConflict(List <SCDTransitionEdge *> *al){*al=conflict;}
     ///
     SCNode *GetScope();

 private:
     ///
     string label;
     ///
     List <Prop *> propl;
     ///
     Prop *sendevent;
     
     ///
     ClockConstraint *cc;
     ///
     List <SCDTransitionEdge *> conflict;



};
#endif
