io.ciera.tool.sql.ooaofooa.statemachine.MooreStateMachine 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.MooreActionHome;
import io.ciera.tool.sql.ooaofooa.statemachine.MooreActionHomeSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SM_SM;


public interface MooreStateMachine extends IModelInstance {

    // attributes
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException;
    public UniqueId getSM_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 addR511_MooreActionHome( MooreActionHome inst ) {}
    default public void removeR511_MooreActionHome( MooreActionHome inst ) {}
    public MooreActionHomeSet R511_MooreActionHome() throws XtumlException;


}