/** */ package timedfsm.fsm; import org.eclipse.emf.common.util.EList; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>State</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * </p> * <ul> * <li>{@link timedfsm.fsm.State#getOutgoing <em>Outgoing</em>}</li> * <li>{@link timedfsm.fsm.State#getIncoming <em>Incoming</em>}</li> * <li>{@link timedfsm.fsm.State#getStateMachine <em>State Machine</em>}</li> * <li>{@link timedfsm.fsm.State#getInitialTime <em>Initial Time</em>}</li> * <li>{@link timedfsm.fsm.State#getFinalTime <em>Final Time</em>}</li> * </ul> * * @see timedfsm.fsm.FsmPackage#getState() * @model * @generated */ public interface State extends NamedElement { /** * Returns the value of the '<em><b>Outgoing</b></em>' reference list. * The list contents are of type {@link timedfsm.fsm.Transition}. * It is bidirectional and its opposite is '{@link timedfsm.fsm.Transition#getSource <em>Source</em>}'. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Outgoing</em>' reference list isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Outgoing</em>' reference list. * @see timedfsm.fsm.FsmPackage#getState_Outgoing() * @see timedfsm.fsm.Transition#getSource * @model opposite="source" * @generated */ EList<Transition> getOutgoing(); /** * Returns the value of the '<em><b>Incoming</b></em>' reference list. * The list contents are of type {@link timedfsm.fsm.Transition}. * It is bidirectional and its opposite is '{@link timedfsm.fsm.Transition#getTarget <em>Target</em>}'. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Incoming</em>' reference list isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Incoming</em>' reference list. * @see timedfsm.fsm.FsmPackage#getState_Incoming() * @see timedfsm.fsm.Transition#getTarget * @model opposite="target" * @generated */ EList<Transition> getIncoming(); /** * Returns the value of the '<em><b>State Machine</b></em>' container reference. * It is bidirectional and its opposite is '{@link timedfsm.fsm.StateMachine#getStates <em>States</em>}'. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>State Machine</em>' container reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>State Machine</em>' container reference. * @see #setStateMachine(StateMachine) * @see timedfsm.fsm.FsmPackage#getState_StateMachine() * @see timedfsm.fsm.StateMachine#getStates * @model opposite="states" transient="false" * @generated */ StateMachine getStateMachine(); /** * Sets the value of the '{@link timedfsm.fsm.State#getStateMachine <em>State Machine</em>}' container reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>State Machine</em>' container reference. * @see #getStateMachine() * @generated */ void setStateMachine(StateMachine value); /** * Returns the value of the '<em><b>Initial Time</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Initial Time</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Initial Time</em>' attribute. * @see #setInitialTime(int) * @see timedfsm.fsm.FsmPackage#getState_InitialTime() * @model * @generated */ int getInitialTime(); /** * Sets the value of the '{@link timedfsm.fsm.State#getInitialTime <em>Initial Time</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Initial Time</em>' attribute. * @see #getInitialTime() * @generated */ void setInitialTime(int value); /** * Returns the value of the '<em><b>Final Time</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Final Time</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Final Time</em>' attribute. * @see #setFinalTime(int) * @see timedfsm.fsm.FsmPackage#getState_FinalTime() * @model * @generated */ int getFinalTime(); /** * Sets the value of the '{@link timedfsm.fsm.State#getFinalTime <em>Final Time</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Final Time</em>' attribute. * @see #getFinalTime() * @generated */ void setFinalTime(int value); } // State