Class EventSetImpl

    • Constructor Detail

      • EventSetImpl

        public EventSetImpl()
    • Method Detail

      • setSm_name

        public void setSm_name​(String ref_sm_name)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSm_name in interface EventSet
        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 EventSet
        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 EventSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setId

        public void setId​(int m_id)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setId in interface EventSet
        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 EventSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4752_StateMachine

        public StateMachineSet R4752_StateMachine()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R4752_StateMachine in interface EventSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R4759_StateMachineEvent

        public StateMachineEventSet R4759_StateMachineEvent()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R4759_StateMachineEvent in interface EventSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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

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