io.ciera.tool.sql.ooaofooa.statemachine.StateEventMatrixEntrySet 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.statemachine.CantHappenSet;
import io.ciera.tool.sql.ooaofooa.statemachine.EventIgnoredSet;
import io.ciera.tool.sql.ooaofooa.statemachine.NewStateTransitionSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineStateSet;


public interface StateEventMatrixEntrySet extends IInstanceSet {

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


    // selections
    public StateMachineStateSet R503_is_received_by_StateMachineState() throws XtumlException;
    public SEMEventSet R503_receives_SEMEvent() throws XtumlException;
    public CantHappenSet R504_is_a_CantHappen() throws XtumlException;
    public EventIgnoredSet R504_is_a_EventIgnored() throws XtumlException;
    public NewStateTransitionSet R504_is_a_NewStateTransition() throws XtumlException;


}