Class StateSetImpl

    • Constructor Detail

      • StateSetImpl

        public StateSetImpl()
    • Method Detail

      • setSMstt_ID

        public void setSMstt_ID​(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSMstt_ID in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • 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 StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFinal

        public void setFinal​(boolean m_final)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setFinal in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setName

        public void setName​(String ref_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setNumber

        public void setNumber​(int m_number)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setNumber in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSm_package

        public void setSm_package​(String ref_sm_package)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSm_package in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSm_name

        public void setSm_name​(String ref_sm_name)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSm_name in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R427_is_a_InvocableObject

        public InvocableObjectSet R427_is_a_InvocableObject()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R427_is_a_InvocableObject in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4751_StateMachine

        public StateMachineSet R4751_StateMachine()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R4751_StateMachine in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4757_StateTransition

        public StateTransitionSet R4757_StateTransition()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R4757_StateTransition in interface StateSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

        public State nullElement()
        Specified by:
        nullElement in interface io.ciera.runtime.summit.types.ISet<State>
      • emptySet

        public StateSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<State>
      • emptySet

        public StateSet emptySet​(Comparator<? super State> comp)
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<State>
      • elements

        public List<State> elements()
        Specified by:
        elements in interface io.ciera.runtime.summit.types.ISet<State>