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


public interface MealyStateMachine extends IModelInstance {

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


    // operations


    // selections
    default public void setR510_is_a_SM_SM( SM_SM inst ) {}
    public SM_SM R510_is_a_SM_SM() throws XtumlException;
    default public void addR512_MealyActionHome( MealyActionHome inst ) {}
    default public void removeR512_MealyActionHome( MealyActionHome inst ) {}
    public MealyActionHomeSet R512_MealyActionHome() throws XtumlException;


}