Interface ReturnSmtSet
- All Superinterfaces:
Collection<ReturnSmt>,io.ciera.runtime.summit.classes.IInstanceSet<ReturnSmtSet,,ReturnSmt> io.ciera.runtime.summit.types.ISet<ReturnSmt>,Iterable<ReturnSmt>,io.ciera.runtime.summit.types.IXtumlType,Set<ReturnSmt>
- All Known Implementing Classes:
ReturnSmtSetImpl
public interface ReturnSmtSet
extends io.ciera.runtime.summit.classes.IInstanceSet<ReturnSmtSet,ReturnSmt>
-
Method Summary
Modifier and TypeMethodDescriptionvoidsetBlock_number(String ref_block_number) voidsetBody_name(String ref_body_name) voidsetParent_name(String ref_parent_name) voidsetParent_package(String ref_parent_package) voidsetRet_expression_number(String ref_ret_expression_number) voidsetStatement_number(String ref_statement_number) Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceIdMethods 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, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
setStatement_number
void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setRet_expression_number
void setRet_expression_number(String ref_ret_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBlock_number
void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R473_returns_value_specified_by_Expression
ExpressionSet R473_returns_value_specified_by_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-