Interface StateEventMatrixEntrySet

    • Method Detail

      • 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
      • setSMevt_ID

        void setSMevt_ID​(io.ciera.runtime.summit.types.UniqueId ref_SMevt_ID)
                  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 ref_SMstt_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
      • R503_is_received_by_StateMachineState

        StateMachineStateSet R503_is_received_by_StateMachineState()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R503_receives_SEMEvent

        SEMEventSet R503_receives_SEMEvent()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R504_is_a_CantHappen

        CantHappenSet R504_is_a_CantHappen()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R504_is_a_EventIgnored

        EventIgnoredSet R504_is_a_EventIgnored()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R504_is_a_NewStateTransition

        NewStateTransitionSet R504_is_a_NewStateTransition()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException