Interface MarkSet

  • All Superinterfaces:
    Collection<Mark>, io.ciera.runtime.summit.classes.IInstanceSet<MarkSet,​Mark>, io.ciera.runtime.summit.types.ISet<Mark>, Iterable<Mark>, io.ciera.runtime.summit.types.IXtumlType, Set<Mark>
    All Known Implementing Classes:
    MarkSetImpl

    public interface MarkSet
    extends io.ciera.runtime.summit.classes.IInstanceSet<MarkSet,​Mark>
    • Method Detail

      • setValue

        void setValue​(String m_value)
               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setFeature_name

        void setFeature_name​(String ref_feature_name)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setMarkable_name

        void setMarkable_name​(String ref_markable_name)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPath

        void setPath​(String m_path)
              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2821_is_marked_by_Feature

        FeatureSet R2821_is_marked_by_Feature()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2821_marks_MarkableElementType

        MarkableElementTypeSet R2821_marks_MarkableElementType()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2823_precedes_Mark

        MarkSet R2823_precedes_Mark()
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2823_succeeds_Mark

        MarkSet R2823_succeeds_Mark()
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException