public class ReturnStmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<ReturnStmtSet,ReturnStmt> implements ReturnStmtSet
| Constructor and Description |
|---|
ReturnStmtSetImpl() |
ReturnStmtSetImpl(Comparator<? super ReturnStmt> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<ReturnStmt> |
elements() |
ReturnStmtSet |
emptySet() |
ReturnStmtSet |
emptySet(Comparator<? super ReturnStmt> comp) |
ReturnStmt |
nullElement() |
ACT_SMTSet |
R603_is_a_ACT_SMT() |
ValueSet |
R668_has_Value() |
void |
setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) |
void |
setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_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 ReturnStmtSetImpl()
public ReturnStmtSetImpl(Comparator<? super ReturnStmt> comp)
public void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_ID in interface ReturnStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setValue_ID in interface ReturnStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
R603_is_a_ACT_SMT in interface ReturnStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ValueSet R668_has_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
R668_has_Value in interface ReturnStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ReturnStmt nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<ReturnStmt>public ReturnStmtSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<ReturnStmt>public ReturnStmtSet emptySet(Comparator<? super ReturnStmt> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<ReturnStmt>public List<ReturnStmt> elements()
elements in interface io.ciera.runtime.summit.types.ISet<ReturnStmt>Copyright © 2021. All rights reserved.