public interface WhileStmtSet extends io.ciera.runtime.summit.classes.IInstanceSet<WhileStmtSet,WhileStmt>
| Modifier and Type | Method and Description |
|---|---|
ACT_SMTSet |
R603_is_a_ACT_SMT() |
BlockSet |
R608_controls_Block() |
ValueSet |
R626_continue_result_Value() |
void |
setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID) |
void |
setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) |
void |
setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) |
getById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streamvoid setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionBlockSet R608_controls_Block() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionValueSet R626_continue_result_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2021. All rights reserved.