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

Go to download
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.statemachine.CantHappen;
import io.ciera.tool.sql.ooaofooa.statemachine.EventIgnored;
import io.ciera.tool.sql.ooaofooa.statemachine.NewStateTransition;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineState;


public interface StateEventMatrixEntry extends IModelInstance {

    // attributes
    public UniqueId getSMstt_ID() throws XtumlException;
    public void setSMstt_ID( UniqueId ref_SMstt_ID ) throws XtumlException;
    public void setSMevt_ID( UniqueId ref_SMevt_ID ) throws XtumlException;
    public UniqueId getSMevt_ID() throws XtumlException;
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException;
    public UniqueId getSM_ID() throws XtumlException;
    public void setSMspd_IDdeprecated( UniqueId m_SMspd_IDdeprecated ) throws XtumlException;
    public UniqueId getSMspd_IDdeprecated() throws XtumlException;


    // operations


    // selections
    default public void setR503_is_received_by_StateMachineState( StateMachineState inst ) {}
    public StateMachineState R503_is_received_by_StateMachineState() throws XtumlException;
    default public void setR503_receives_SEMEvent( SEMEvent inst ) {}
    public SEMEvent R503_receives_SEMEvent() throws XtumlException;
    default public void setR504_is_a_CantHappen( CantHappen inst ) {}
    public CantHappen R504_is_a_CantHappen() throws XtumlException;
    default public void setR504_is_a_EventIgnored( EventIgnored inst ) {}
    public EventIgnored R504_is_a_EventIgnored() throws XtumlException;
    default public void setR504_is_a_NewStateTransition( NewStateTransition inst ) {}
    public NewStateTransition R504_is_a_NewStateTransition() throws XtumlException;


}