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 Details

    • setValue

      void setValue(String m_value) 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
    • 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
    • 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