Class MarkSetImpl

java.lang.Object
io.ciera.runtime.summit.types.Set<Mark>
io.ciera.runtime.summit.classes.InstanceSet<MarkSet,Mark>
io.ciera.tool.sql.ooaofmarking.impl.MarkSetImpl
All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<MarkSet,Mark>, io.ciera.runtime.summit.types.ISet<Mark>, io.ciera.runtime.summit.types.IXtumlType, MarkSet, Iterable<Mark>, Collection<Mark>, Set<Mark>

public class MarkSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<MarkSet,Mark> implements MarkSet
  • Constructor Details

    • MarkSetImpl

      public MarkSetImpl()
    • MarkSetImpl

      public MarkSetImpl(Comparator<? super Mark> comp)
  • Method Details

    • 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
    • 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
    • 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
    • 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
    • R2821_marks_MarkableElementType

      public MarkableElementTypeSet R2821_marks_MarkableElementType() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R2821_marks_MarkableElementType 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>