io.ciera.tool.sql.ooaofooa.statemachine.SignalEvent 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.component.signalprovisionsandrequirements.ProvidedSignal;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.RequiredSignal;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEvent;


public interface SignalEvent 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;
    public UniqueId getProvided_Signal_Id() throws XtumlException;
    public void setProvided_Signal_Id( UniqueId ref_Provided_Signal_Id ) throws XtumlException;
    public UniqueId getRequired_Signal_Id() throws XtumlException;
    public void setRequired_Signal_Id( UniqueId ref_Required_Signal_Id ) throws XtumlException;
    public String getSignal_name() throws XtumlException;
    public void setSignal_name( String m_signal_name ) throws XtumlException;


    // operations


    // selections
    default public void setR526_is_a_SEMEvent( SEMEvent inst ) {}
    public SEMEvent R526_is_a_SEMEvent() throws XtumlException;
    default public void setR528_ProvidedSignal( ProvidedSignal inst ) {}
    public ProvidedSignal R528_ProvidedSignal() throws XtumlException;
    default public void setR529_RequiredSignal( RequiredSignal inst ) {}
    public RequiredSignal R529_RequiredSignal() throws XtumlException;


}