io.ciera.tool.sql.ooaofooa.statemachine.ActionHome 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.Action;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHome;
import io.ciera.tool.sql.ooaofooa.statemachine.MooreActionHome;
import io.ciera.tool.sql.ooaofooa.statemachine.TransitionActionHome;


public interface ActionHome extends IModelInstance {

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


    // operations


    // selections
    default public void setR513_is_a_MealyActionHome( MealyActionHome inst ) {}
    public MealyActionHome R513_is_a_MealyActionHome() throws XtumlException;
    default public void setR513_is_a_MooreActionHome( MooreActionHome inst ) {}
    public MooreActionHome R513_is_a_MooreActionHome() throws XtumlException;
    default public void setR513_is_a_TransitionActionHome( TransitionActionHome inst ) {}
    public TransitionActionHome R513_is_a_TransitionActionHome() throws XtumlException;
    default public void setR514_houses_Action( Action inst ) {}
    public Action R514_houses_Action() throws XtumlException;


}