io.ciera.tool.sql.ooaofooa.statemachine.SM_SMSet Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tool-sql Show documentation

There is a newer version: 2.7.3

package io.ciera.tool.sql.ooaofooa.statemachine;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.statemachine.ActionSet;
import io.ciera.tool.sql.ooaofooa.statemachine.ClassStateMachineSet;
import io.ciera.tool.sql.ooaofooa.statemachine.InstanceStateMachineSet;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyStateMachineSet;
import io.ciera.tool.sql.ooaofooa.statemachine.MooreStateMachineSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineEventDataItemSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineStateSet;
import io.ciera.tool.sql.ooaofooa.statemachine.TransitionSet;


public interface SM_SMSet extends IInstanceSet {

    // attributes
    public void setDescrip( String m_Descrip ) throws XtumlException;
    public void setConfig_ID( int m_Config_ID ) throws XtumlException;
    public void setSM_ID( UniqueId m_SM_ID ) throws XtumlException;


    // selections
    public StateMachineStateSet R501_is_decomposed_into_StateMachineState() throws XtumlException;
    public StateMachineEventSet R502_can_be_communicated_to_via_StateMachineEvent() throws XtumlException;
    public TransitionSet R505_contains_Transition() throws XtumlException;
    public MealyStateMachineSet R510_is_a_MealyStateMachine() throws XtumlException;
    public MooreStateMachineSet R510_is_a_MooreStateMachine() throws XtumlException;
    public ActionSet R515_contains_Action() throws XtumlException;
    public StateMachineEventDataItemSet R516_can_asynchronously_communicate_via_StateMachineEventDataItem() throws XtumlException;
    public ClassStateMachineSet R517_is_a_ClassStateMachine() throws XtumlException;
    public InstanceStateMachineSet R517_is_a_InstanceStateMachine() throws XtumlException;


}