Class EnumeratorSetImpl

    • Constructor Detail

      • EnumeratorSetImpl

        public EnumeratorSetImpl()
    • Method Detail

      • setValue

        public void setValue​(int m_value)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setValue in interface EnumeratorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_package

        public void setType_package​(String ref_type_package)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setType_package in interface EnumeratorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_name

        public void setType_name​(String ref_type_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setType_name in interface EnumeratorSet
        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 EnumeratorSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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