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

Go to download
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.instance.I_INSSet;
import io.ciera.tool.sql.ooaofooa.statemachine.CreationTransitionSet;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHomeSet;
import io.ciera.tool.sql.ooaofooa.statemachine.NewStateTransitionSet;
import io.ciera.tool.sql.ooaofooa.statemachine.NoEventTransitionSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SM_SMSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineStateSet;
import io.ciera.tool.sql.ooaofooa.statemachine.TransitionActionHomeSet;


public interface TransitionSet extends IInstanceSet {

    // attributes
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException;
    public void setSMstt_ID( UniqueId ref_SMstt_ID ) throws XtumlException;
    public void setSMspd_IDdeprecated( UniqueId m_SMspd_IDdeprecated ) throws XtumlException;
    public void setTrans_ID( UniqueId m_Trans_ID ) throws XtumlException;


    // selections
    public I_INSSet R2953_caused_last_state_change_to_I_INS() throws XtumlException;
    public SM_SMSet R505_SM_SM() throws XtumlException;
    public StateMachineStateSet R506_is_destined_to_StateMachineState() throws XtumlException;
    public CreationTransitionSet R507_is_a_CreationTransition() throws XtumlException;
    public NewStateTransitionSet R507_is_a_NewStateTransition() throws XtumlException;
    public NoEventTransitionSet R507_is_a_NoEventTransition() throws XtumlException;
    public MealyActionHomeSet R512_MealyActionHome() throws XtumlException;
    public TransitionActionHomeSet R530_houses_action_for_TransitionActionHome() throws XtumlException;


}