Class MSG_MSetImpl

    • Constructor Detail

      • MSG_MSetImpl

        public MSG_MSetImpl()
    • Method Detail

      • setMsg_ID

        public void setMsg_ID​(io.ciera.runtime.summit.types.UniqueId ref_Msg_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setMsg_ID in interface MSG_MSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setReceiver_Part_ID

        public void setReceiver_Part_ID​(io.ciera.runtime.summit.types.UniqueId ref_Receiver_Part_ID)
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setReceiver_Part_ID in interface MSG_MSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParticipatesInCommunication

        public void setParticipatesInCommunication​(boolean m_participatesInCommunication)
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParticipatesInCommunication in interface MSG_MSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSender_Part_ID

        public void setSender_Part_ID​(io.ciera.runtime.summit.types.UniqueId ref_Sender_Part_ID)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSender_Part_ID in interface MSG_MSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R1018_is_a_ReturnMessage

        public ReturnMessageSet R1018_is_a_ReturnMessage()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R1018_is_a_ReturnMessage in interface MSG_MSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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

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