/** * <copyright> * </copyright> * * $Id$ */ package no.hal.scxml.scxmlxt; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>State</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * <ul> * <li>{@link no.hal.scxml.scxmlxt.State#getInitialTransition <em>Initial Transition</em>}</li> * <li>{@link no.hal.scxml.scxmlxt.State#getName <em>Name</em>}</li> * </ul> * </p> * * @see no.hal.scxml.scxmlxt.ScxmlxtPackage#getState() * @model * @generated */ public interface State extends AbstractState { /** * Returns the value of the '<em><b>Initial Transition</b></em>' containment reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Initial Transition</em>' containment reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Initial Transition</em>' containment reference. * @see #setInitialTransition(InitialTransition) * @see no.hal.scxml.scxmlxt.ScxmlxtPackage#getState_InitialTransition() * @model containment="true" * @generated */ InitialTransition getInitialTransition(); /** * Sets the value of the '{@link no.hal.scxml.scxmlxt.State#getInitialTransition <em>Initial Transition</em>}' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Initial Transition</em>' containment reference. * @see #getInitialTransition() * @generated */ void setInitialTransition(InitialTransition value); /** * Returns the value of the '<em><b>Name</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Name</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Name</em>' attribute. * @see #setName(String) * @see no.hal.scxml.scxmlxt.ScxmlxtPackage#getState_Name() * @model id="true" * @generated */ String getName(); /** * Sets the value of the '{@link no.hal.scxml.scxmlxt.State#getName <em>Name</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Name</em>' attribute. * @see #getName() * @generated */ void setName(String value); } // State