Class FeatureSetImpl

    • Constructor Detail

      • FeatureSetImpl

        public FeatureSetImpl()
    • Method Detail

      • setName

        public void setName​(String m_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface FeatureSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2821_marks_Mark

        public MarkSet R2821_marks_Mark()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2821_marks_Mark in interface FeatureSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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