io.ciera.tool.sql.ooaofooa.statemachine.SEMEvent 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.LocalEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.NonLocalEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.SignalEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.StateEventMatrixEntry;
import io.ciera.tool.sql.ooaofooa.statemachine.StateEventMatrixEntrySet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineEvent;


public interface SEMEvent extends IModelInstance {

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


    // operations


    // selections
    default public void addR503_is_received_by_StateEventMatrixEntry( StateEventMatrixEntry inst ) {}
    default public void removeR503_is_received_by_StateEventMatrixEntry( StateEventMatrixEntry inst ) {}
    public StateEventMatrixEntrySet R503_is_received_by_StateEventMatrixEntry() throws XtumlException;
    default public void setR525_is_a_StateMachineEvent( StateMachineEvent inst ) {}
    public StateMachineEvent R525_is_a_StateMachineEvent() throws XtumlException;
    default public void setR526_is_a_LocalEvent( LocalEvent inst ) {}
    public LocalEvent R526_is_a_LocalEvent() throws XtumlException;
    default public void setR526_is_a_NonLocalEvent( NonLocalEvent inst ) {}
    public NonLocalEvent R526_is_a_NonLocalEvent() throws XtumlException;
    default public void setR526_is_a_SignalEvent( SignalEvent inst ) {}
    public SignalEvent R526_is_a_SignalEvent() throws XtumlException;


}