Interface StateMachineStateSet

    • Method Detail

      • setNumb

        void setNumb​(int m_Numb)
              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
      • setName

        void setName​(String m_Name)
              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
      • setFinal

        void setFinal​(int m_Final)
               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSMstt_ID

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

        I_INSSet R2915_defines_state_of_I_INS()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4758_is_transformed_from_State

        StateSet R4758_is_transformed_from_State()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R501_SM_SM

        SM_SMSet R501_SM_SM()
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R503_receives_StateEventMatrixEntry

        StateEventMatrixEntrySet R503_receives_StateEventMatrixEntry()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R506_is_destination_of_Transition

        TransitionSet R506_is_destination_of_Transition()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R508_is_origination_of_NoEventTransition

        NoEventTransitionSet R508_is_origination_of_NoEventTransition()
                                                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R511_MooreActionHome

        MooreActionHomeSet R511_MooreActionHome()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException