Interface TransitionSet

    • Method Detail

      • setSMstt_ID

        void setSMstt_ID​(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTrans_ID

        void setTrans_ID​(io.ciera.runtime.summit.types.UniqueId m_Trans_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSMspd_IDdeprecated

        void setSMspd_IDdeprecated​(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSM_ID

        void setSM_ID​(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2953_caused_last_state_change_to_I_INS

        I_INSSet R2953_caused_last_state_change_to_I_INS()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R505_SM_SM

        SM_SMSet R505_SM_SM()
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R506_is_destined_to_StateMachineState

        StateMachineStateSet R506_is_destined_to_StateMachineState()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R507_is_a_CreationTransition

        CreationTransitionSet R507_is_a_CreationTransition()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R507_is_a_NewStateTransition

        NewStateTransitionSet R507_is_a_NewStateTransition()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R507_is_a_NoEventTransition

        NoEventTransitionSet R507_is_a_NoEventTransition()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R512_MealyActionHome

        MealyActionHomeSet R512_MealyActionHome()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R530_houses_action_for_TransitionActionHome

        TransitionActionHomeSet R530_houses_action_for_TransitionActionHome()
                                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException