Class MealyActionHomeSetImpl

    • Constructor Detail

      • MealyActionHomeSetImpl

        public MealyActionHomeSetImpl()
    • Method Detail

      • setSM_ID

        public void setSM_ID​(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSM_ID in interface MealyActionHomeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setAct_ID

        public void setAct_ID​(io.ciera.runtime.summit.types.UniqueId ref_Act_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setAct_ID in interface MealyActionHomeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTrans_ID

        public void setTrans_ID​(io.ciera.runtime.summit.types.UniqueId ref_Trans_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setTrans_ID in interface MealyActionHomeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R512_Transition

        public TransitionSet R512_Transition()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R512_Transition in interface MealyActionHomeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException