Class IfStmtSetImpl
-
- All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<IfStmtSet,IfStmt>,io.ciera.runtime.summit.types.ISet<IfStmt>,io.ciera.runtime.summit.types.IXtumlType,IfStmtSet,Iterable<IfStmt>,Collection<IfStmt>,Set<IfStmt>
public class IfStmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<IfStmtSet,IfStmt> implements IfStmtSet
-
-
Constructor Summary
Constructors Constructor Description IfStmtSetImpl()IfStmtSetImpl(Comparator<? super IfStmt> comp)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<IfStmt>elements()IfStmtSetemptySet()IfStmtSetemptySet(Comparator<? super IfStmt> comp)IfStmtnullElement()ACT_SMTSetR603_is_a_ACT_SMT()BlockSetR607_controls_Block()ValueSetR625_test_result_Value()ElseIfStmtSetR682_has_ElseIfStmt()ElseStmtSetR683_has_ElseStmt()ElseIfStmtSetR690_was_executing_when_halted_ElseIfStmt()ElseStmtSetR692_was_executing_when_halted_ElseStmt()voidsetBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)voidsetElif_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID)voidsetElse_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_ID)voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)voidsetValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)-
Methods inherited from class io.ciera.runtime.summit.classes.InstanceSet
add, getById1, getById2, getById3, getByInstanceId, remove
-
Methods inherited from class io.ciera.runtime.summit.types.Set
addAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, where
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray
-
Methods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceId
-
Methods inherited from interface io.ciera.runtime.summit.types.ISet
any, anyWhere, difference, difference, disunion, disunion, intersection, intersection, sorted, sorted, union, union, where
-
-
-
-
Constructor Detail
-
IfStmtSetImpl
public IfStmtSetImpl()
-
IfStmtSetImpl
public IfStmtSetImpl(Comparator<? super IfStmt> comp)
-
-
Method Detail
-
setBlock_ID
public void setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setBlock_IDin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setElse_Statement_ID
public void setElse_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setElse_Statement_IDin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setValue_ID
public void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setValue_IDin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_ID
public void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setStatement_IDin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setElif_Statement_ID
public void setElif_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Specified by:
setElif_Statement_IDin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R603_is_a_ACT_SMT
public ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R603_is_a_ACT_SMTin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R607_controls_Block
public BlockSet R607_controls_Block() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R607_controls_Blockin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R625_test_result_Value
public ValueSet R625_test_result_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R625_test_result_Valuein interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R682_has_ElseIfStmt
public ElseIfStmtSet R682_has_ElseIfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R682_has_ElseIfStmtin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R683_has_ElseStmt
public ElseStmtSet R683_has_ElseStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R683_has_ElseStmtin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R690_was_executing_when_halted_ElseIfStmt
public ElseIfStmtSet R690_was_executing_when_halted_ElseIfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R690_was_executing_when_halted_ElseIfStmtin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R692_was_executing_when_halted_ElseStmt
public ElseStmtSet R692_was_executing_when_halted_ElseStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R692_was_executing_when_halted_ElseStmtin interfaceIfStmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
public IfStmt nullElement()
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<IfStmt>
-
emptySet
public IfStmtSet emptySet()
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<IfStmt>
-
emptySet
public IfStmtSet emptySet(Comparator<? super IfStmt> comp)
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<IfStmt>
-
-