All Downloads are FREE. Search and download functionalities are using the official Maven repository.

io.ciera.tool.sql.ooaofooa.statemachine.MealyActionHomeSet Maven / Gradle / Ivy

There is a newer version: 2.7.3
Show newest version
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