io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHome 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.statemachine.ActionHome;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyStateMachine;
import io.ciera.tool.sql.ooaofooa.statemachine.Transition;


public interface MealyActionHome extends IModelInstance {

    // attributes
    public void setAct_ID( UniqueId ref_Act_ID ) throws XtumlException;
    public UniqueId getAct_ID() throws XtumlException;
    public UniqueId getSM_ID() throws XtumlException;
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException;
    public void setTrans_ID( UniqueId ref_Trans_ID ) throws XtumlException;
    public UniqueId getTrans_ID() throws XtumlException;


    // operations


    // selections
    default public void setR512_MealyStateMachine( MealyStateMachine inst ) {}
    public MealyStateMachine R512_MealyStateMachine() throws XtumlException;
    default public void setR512_Transition( Transition inst ) {}
    public Transition R512_Transition() throws XtumlException;
    default public void setR513_is_a_ActionHome( ActionHome inst ) {}
    public ActionHome R513_is_a_ActionHome() throws XtumlException;


}