public class IfStmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<IfStmtSet,IfStmt> implements IfStmtSet
| Constructor and Description |
|---|
IfStmtSetImpl() |
IfStmtSetImpl(Comparator<? super IfStmt> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<IfStmt> |
elements() |
IfStmtSet |
emptySet() |
IfStmtSet |
emptySet(Comparator<? super IfStmt> comp) |
IfStmt |
nullElement() |
ACT_SMTSet |
R603_is_a_ACT_SMT() |
BlockSet |
R607_controls_Block() |
ValueSet |
R625_test_result_Value() |
ElseIfStmtSet |
R682_has_ElseIfStmt() |
ElseStmtSet |
R683_has_ElseStmt() |
ElseIfStmtSet |
R690_was_executing_when_halted_ElseIfStmt() |
ElseStmtSet |
R692_was_executing_when_halted_ElseStmt() |
void |
setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID) |
void |
setElif_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID) |
void |
setElse_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_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) |
IfStmtSet |
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 IfStmtSetImpl()
public IfStmtSetImpl(Comparator<? super IfStmt> comp)
public void setElif_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setElif_Statement_ID in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_ID in interface IfStmtSetio.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 IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setElse_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setElse_Statement_ID in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setBlock_ID in interface IfStmtSetio.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 IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic BlockSet R607_controls_Block() throws io.ciera.runtime.summit.exceptions.XtumlException
R607_controls_Block in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ValueSet R625_test_result_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
R625_test_result_Value in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ElseIfStmtSet R682_has_ElseIfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R682_has_ElseIfStmt in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ElseStmtSet R683_has_ElseStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R683_has_ElseStmt in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ElseIfStmtSet R690_was_executing_when_halted_ElseIfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R690_was_executing_when_halted_ElseIfStmt in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ElseStmtSet R692_was_executing_when_halted_ElseStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R692_was_executing_when_halted_ElseStmt in interface IfStmtSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic IfStmt nullElement()
public IfStmtSet emptySet()
public IfStmtSet emptySet(Comparator<? super IfStmt> comp)
public IfStmtSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<IfStmtSet>Copyright © 2020. All rights reserved.