io.ciera.tool.sql.ooaofooa.statemachine.SEMEventSet 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.LocalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.NonLocalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SignalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateEventMatrixEntrySet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineEventSet;


public interface SEMEventSet extends IInstanceSet {

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


    // selections
    public StateEventMatrixEntrySet R503_is_received_by_StateEventMatrixEntry() throws XtumlException;
    public StateMachineEventSet R525_is_a_StateMachineEvent() throws XtumlException;
    public LocalEventSet R526_is_a_LocalEvent() throws XtumlException;
    public NonLocalEventSet R526_is_a_NonLocalEvent() throws XtumlException;
    public SignalEventSet R526_is_a_SignalEvent() throws XtumlException;


}