Class TerminatorSetImpl

    • Constructor Detail

      • TerminatorSetImpl

        public TerminatorSetImpl()
    • Method Detail

      • setDeployment_ID

        public void setDeployment_ID​(io.ciera.runtime.summit.types.UniqueId ref_Deployment_ID)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setDeployment_ID in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTerminator_Name

        public void setTerminator_Name​(String m_Terminator_Name)
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setTerminator_Name in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setImplementation_System

        public void setImplementation_System​(String m_Implementation_System)
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setImplementation_System in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setDescrip

        public void setDescrip​(String m_Descrip)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setDescrip in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTerm_ID

        public void setTerm_ID​(io.ciera.runtime.summit.types.UniqueId m_Term_ID)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setTerm_ID in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setName

        public void setName​(String m_Name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setDomain_Name

        public void setDomain_Name​(String m_Domain_Name)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setDomain_Name in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setKey_Lett

        public void setKey_Lett​(String m_Key_Lett)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setKey_Lett in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setProvider

        public void setProvider​(boolean m_Provider)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setProvider in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R1650_Deployment

        public DeploymentSet R1650_Deployment()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R1650_Deployment in interface TerminatorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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