
io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHomeSet Maven / Gradle / Ivy
package io.ciera.tool.sql.ooaofooa.statemachine;
import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.statemachine.ActionHomeSet;
import io.ciera.tool.sql.ooaofooa.statemachine.MealyStateMachineSet;
import io.ciera.tool.sql.ooaofooa.statemachine.TransitionSet;
public interface MealyActionHomeSet extends IInstanceSet {
// attributes
public void setTrans_ID( UniqueId ref_Trans_ID ) throws XtumlException;
public void setAct_ID( UniqueId ref_Act_ID ) throws XtumlException;
public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException;
// selections
public MealyStateMachineSet R512_MealyStateMachine() throws XtumlException;
public TransitionSet R512_Transition() throws XtumlException;
public ActionHomeSet R513_is_a_ActionHome() throws XtumlException;
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy