Class PortMessageSetImpl

    • Constructor Detail

      • PortMessageSetImpl

        public PortMessageSetImpl()
    • Method Detail

      • setPort_name

        public void setPort_name​(String ref_port_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPort_name in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIface_package

        public void setIface_package​(String ref_iface_package)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIface_package in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setMsg_name

        public void setMsg_name​(String ref_msg_name)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setMsg_name in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIface_name

        public void setIface_name​(String ref_iface_name)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIface_name in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPort_package

        public void setPort_package​(String ref_port_package)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPort_package in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R420_is_implemented_within_Port

        public PortSet R420_is_implemented_within_Port()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R420_is_implemented_within_Port in interface PortMessageSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

        public PortMessageSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<PortMessage>
      • elements

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