Interface ForSmtSet
-
- All Superinterfaces:
Collection<ForSmt>,io.ciera.runtime.summit.classes.IInstanceSet<ForSmtSet,ForSmt>,io.ciera.runtime.summit.types.ISet<ForSmt>,Iterable<ForSmt>,io.ciera.runtime.summit.types.IXtumlType,Set<ForSmt>
- All Known Implementing Classes:
ForSmtSetImpl
public interface ForSmtSet extends io.ciera.runtime.summit.classes.IInstanceSet<ForSmtSet,ForSmt>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StatementSetR451_is_a_Statement()CodeBlockSetR455_has_control_CodeBlock()VariableSetR459_declares_as_iterator_Variable()ExpressionSetR478_iterates_over_Expression()voidsetBlock_number(String ref_block_number)voidsetBody_name(String ref_body_name)voidsetControl_block_number(String ref_control_block_number)voidsetIterable_expression_number(String ref_iterable_expression_number)voidsetIterator_block_number(String ref_iterator_block_number)voidsetIterator_name(String ref_iterator_name)voidsetParent_name(String ref_parent_name)voidsetParent_package(String ref_parent_package)voidsetStatement_number(String ref_statement_number)-
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
-
setControl_block_number
void setControl_block_number(String ref_control_block_number) 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
void setBody_name(String ref_body_name) 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
-
setIterable_expression_number
void setIterable_expression_number(String ref_iterable_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_name
void setIterator_name(String ref_iterator_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_block_number
void setIterator_block_number(String ref_iterator_block_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
-
setStatement_number
void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R455_has_control_CodeBlock
CodeBlockSet R455_has_control_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R459_declares_as_iterator_Variable
VariableSet R459_declares_as_iterator_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R478_iterates_over_Expression
ExpressionSet R478_iterates_over_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-