public class OperationMessageSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<OperationMessageSet,OperationMessage> implements OperationMessageSet
| Constructor and Description |
|---|
OperationMessageSetImpl() |
OperationMessageSetImpl(Comparator<? super OperationMessage> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<OperationMessage> |
elements() |
OperationMessageSet |
emptySet() |
OperationMessageSet |
emptySet(Comparator<? super OperationMessage> comp) |
OperationMessage |
nullElement() |
O_TFRSet |
R1011_is_invocation_of_O_TFR() |
SynchronousMessageSet |
R1020_is_a_SynchronousMessage() |
void |
setMsg_ID(io.ciera.runtime.summit.types.UniqueId ref_Msg_ID) |
void |
setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID) |
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 OperationMessageSetImpl()
public OperationMessageSetImpl(Comparator<? super OperationMessage> comp)
public void setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setTfr_ID in interface OperationMessageSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setMsg_ID(io.ciera.runtime.summit.types.UniqueId ref_Msg_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setMsg_ID in interface OperationMessageSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic O_TFRSet R1011_is_invocation_of_O_TFR() throws io.ciera.runtime.summit.exceptions.XtumlException
R1011_is_invocation_of_O_TFR in interface OperationMessageSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic SynchronousMessageSet R1020_is_a_SynchronousMessage() throws io.ciera.runtime.summit.exceptions.XtumlException
R1020_is_a_SynchronousMessage in interface OperationMessageSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic OperationMessage nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<OperationMessage>public OperationMessageSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<OperationMessage>public OperationMessageSet emptySet(Comparator<? super OperationMessage> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<OperationMessage>public List<OperationMessage> elements()
elements in interface io.ciera.runtime.summit.types.ISet<OperationMessage>Copyright © 2021. All rights reserved.