Class ForSmtSetImpl
-
- All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<ForSmtSet,ForSmt>,io.ciera.runtime.summit.types.ISet<ForSmt>,io.ciera.runtime.summit.types.IXtumlType,ForSmtSet,Iterable<ForSmt>,Collection<ForSmt>,Set<ForSmt>
public class ForSmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<ForSmtSet,ForSmt> implements ForSmtSet
-
-
Constructor Summary
Constructors Constructor Description ForSmtSetImpl()ForSmtSetImpl(Comparator<? super ForSmt> comp)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<ForSmt>elements()ForSmtSetemptySet()ForSmtSetemptySet(Comparator<? super ForSmt> comp)ForSmtnullElement()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 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
-
ForSmtSetImpl
public ForSmtSetImpl()
-
ForSmtSetImpl
public ForSmtSetImpl(Comparator<? super ForSmt> comp)
-
-
Method Detail
-
setControl_block_number
public void setControl_block_number(String ref_control_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setControl_block_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_name
public void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setParent_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBody_name
public void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setBody_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setParent_package
public void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setParent_packagein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterable_expression_number
public void setIterable_expression_number(String ref_iterable_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setIterable_expression_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_name
public void setIterator_name(String ref_iterator_name) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setIterator_namein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setIterator_block_number
public void setIterator_block_number(String ref_iterator_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setIterator_block_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setBlock_number
public void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setBlock_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_number
public void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
setStatement_numberin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R451_is_a_Statement
public StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R451_is_a_Statementin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R455_has_control_CodeBlock
public CodeBlockSet R455_has_control_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R455_has_control_CodeBlockin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R459_declares_as_iterator_Variable
public VariableSet R459_declares_as_iterator_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R459_declares_as_iterator_Variablein interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R478_iterates_over_Expression
public ExpressionSet R478_iterates_over_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
- Specified by:
R478_iterates_over_Expressionin interfaceForSmtSet- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
nullElement
public ForSmt nullElement()
- Specified by:
nullElementin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
emptySet
public ForSmtSet emptySet()
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
emptySet
public ForSmtSet emptySet(Comparator<? super ForSmt> comp)
- Specified by:
emptySetin interfaceio.ciera.runtime.summit.types.ISet<ForSmt>
-
-