Class InstSetSetImpl

    • Constructor Detail

      • InstSetSetImpl

        public InstSetSetImpl()
    • Method Detail

      • setComparator

        public void setComparator​(String m_comparator)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setComparator in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setClass_package

        public void setClass_package​(String ref_class_package)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setClass_package in interface InstSetSet
        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 InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setExtends

        public void setExtends​(String m_extends)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setExtends in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setComp_package

        public void setComp_package​(String ref_comp_package)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setComp_package in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setClass_name

        public void setClass_name​(String ref_class_name)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setClass_name in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setComp_name

        public void setComp_name​(String ref_comp_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setComp_name in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPackage

        public void setPackage​(String ref_package)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPackage in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R401_is_a_File

        public FileSet R401_is_a_File()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R401_is_a_File in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R407_is_a_Type

        public TypeSet R407_is_a_Type()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R407_is_a_Type in interface InstSetSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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