Interface ReturnStmtSet
-
- All Superinterfaces:
Collection<ReturnStmt>,io.ciera.runtime.summit.classes.IInstanceSet<ReturnStmtSet,ReturnStmt>,io.ciera.runtime.summit.types.ISet<ReturnStmt>,Iterable<ReturnStmt>,io.ciera.runtime.summit.types.IXtumlType,Set<ReturnStmt>
- All Known Implementing Classes:
ReturnStmtSetImpl
public interface ReturnStmtSet extends io.ciera.runtime.summit.classes.IInstanceSet<ReturnStmtSet,ReturnStmt>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ACT_SMTSetR603_is_a_ACT_SMT()ValueSetR668_has_Value()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 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, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, where
-
-
-
-
Method Detail
-
setStatement_ID
void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setValue_ID
void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R603_is_a_ACT_SMT
ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R668_has_Value
ValueSet R668_has_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-