io.ciera.tool.sql.ooaofooa.statemachine.Transition 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.IModelInstance;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.Sql;
import io.ciera.tool.sql.ooaofooa.instance.I_INS;
import io.ciera.tool.sql.ooaofooa.instance.I_INSSet;
import io.ciera.tool.sql.ooaofooa.statemachine.CreationTransition;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHome;
import io.ciera.tool.sql.ooaofooa.statemachine.NewStateTransition;
import io.ciera.tool.sql.ooaofooa.statemachine.NoEventTransition;
import io.ciera.tool.sql.ooaofooa.statemachine.SM_SM;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineState;
import io.ciera.tool.sql.ooaofooa.statemachine.TransitionActionHome;


public interface Transition extends IModelInstance {

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


    // operations


    // selections
    default public void addR2953_caused_last_state_change_to_I_INS( I_INS inst ) {}
    default public void removeR2953_caused_last_state_change_to_I_INS( I_INS inst ) {}
    public I_INSSet R2953_caused_last_state_change_to_I_INS() throws XtumlException;
    default public void setR505_SM_SM( SM_SM inst ) {}
    public SM_SM R505_SM_SM() throws XtumlException;
    default public void setR506_is_destined_to_StateMachineState( StateMachineState inst ) {}
    public StateMachineState R506_is_destined_to_StateMachineState() throws XtumlException;
    default public void setR507_is_a_CreationTransition( CreationTransition inst ) {}
    public CreationTransition R507_is_a_CreationTransition() throws XtumlException;
    default public void setR507_is_a_NewStateTransition( NewStateTransition inst ) {}
    public NewStateTransition R507_is_a_NewStateTransition() throws XtumlException;
    default public void setR507_is_a_NoEventTransition( NoEventTransition inst ) {}
    public NoEventTransition R507_is_a_NoEventTransition() throws XtumlException;
    default public void setR512_MealyActionHome( MealyActionHome inst ) {}
    public MealyActionHome R512_MealyActionHome() throws XtumlException;
    default public void setR530_houses_action_for_TransitionActionHome( TransitionActionHome inst ) {}
    public TransitionActionHome R530_houses_action_for_TransitionActionHome() throws XtumlException;


}