public class MarkSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<MarkSet,Mark> implements MarkSet
| Constructor and Description |
|---|
MarkSetImpl() |
MarkSetImpl(Comparator<? super Mark> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<Mark> |
elements() |
MarkSet |
emptySet() |
MarkSet |
emptySet(Comparator<? super Mark> comp) |
Mark |
nullElement() |
FeatureSet |
R2821_is_marked_by_Feature() |
MarkableElementTypeSet |
R2821_marks_MarkableElementType() |
MarkSet |
R2823_precedes_Mark() |
MarkSet |
R2823_succeeds_Mark() |
void |
setFeature_name(String ref_feature_name) |
void |
setMarkable_name(String ref_markable_name) |
void |
setPath(String m_path) |
void |
setValue(String m_value) |
add, getById1, getById2, getById3, getByInstanceId, removeaddAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, whereclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, intersection, intersection, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streampublic MarkSetImpl()
public MarkSetImpl(Comparator<? super Mark> comp)
public void setValue(String m_value) throws io.ciera.runtime.summit.exceptions.XtumlException
public void setMarkable_name(String ref_markable_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setMarkable_name in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setFeature_name(String ref_feature_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setFeature_name in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setPath(String m_path) throws io.ciera.runtime.summit.exceptions.XtumlException
public FeatureSet R2821_is_marked_by_Feature() throws io.ciera.runtime.summit.exceptions.XtumlException
R2821_is_marked_by_Feature in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic MarkableElementTypeSet R2821_marks_MarkableElementType() throws io.ciera.runtime.summit.exceptions.XtumlException
R2821_marks_MarkableElementType in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic MarkSet R2823_precedes_Mark() throws io.ciera.runtime.summit.exceptions.XtumlException
R2823_precedes_Mark in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic MarkSet R2823_succeeds_Mark() throws io.ciera.runtime.summit.exceptions.XtumlException
R2823_succeeds_Mark in interface MarkSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic Mark nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<Mark>public MarkSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<Mark>public MarkSet emptySet(Comparator<? super Mark> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<Mark>Copyright © 2021. All rights reserved.