Class MarkSetImpl

    • Constructor Detail

      • MarkSetImpl

        public MarkSetImpl()
    • Method Detail

      • setValue

        public void setValue​(String m_value)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setValue in interface MarkSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFeature_name

        public void setFeature_name​(String ref_feature_name)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setFeature_name in interface MarkSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setMarkable_name

        public void setMarkable_name​(String ref_markable_name)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setMarkable_name in interface MarkSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPath

        public void setPath​(String m_path)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPath in interface MarkSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2821_is_marked_by_Feature

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

        public MarkSet R2823_precedes_Mark()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2823_precedes_Mark in interface MarkSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2823_succeeds_Mark

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

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

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

        public MarkSet emptySet​(Comparator<? super Mark> comp)
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<Mark>
      • elements

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