Package io.ciera.tool.sql.architecture.statement.impl

Class WhileSmtSetImpl

java.lang.Object

io.ciera.runtime.summit.types.Set<E>

io.ciera.runtime.summit.classes.InstanceSet<WhileSmtSet,WhileSmt>

io.ciera.tool.sql.architecture.statement.impl.WhileSmtSetImpl

All Implemented Interfaces:

io.ciera.runtime.summit.classes.IInstanceSet<WhileSmtSet,WhileSmt>, io.ciera.runtime.summit.types.ISet<WhileSmt>, io.ciera.runtime.summit.types.IXtumlType, WhileSmtSet, Iterable<WhileSmt>, Collection<WhileSmt>, Set<WhileSmt>

public class WhileSmtSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<WhileSmtSet,WhileSmt>
implements WhileSmtSet

Constructor Summary

Constructors

Constructor	Description
WhileSmtSetImpl()
WhileSmtSetImpl(Comparator<? super WhileSmt> comp)

Method Summary

Modifier and Type	Method	Description
List<WhileSmt>	elements()
WhileSmtSet	emptySet()
WhileSmtSet	emptySet(Comparator<? super WhileSmt> comp)
WhileSmt	nullElement()
StatementSet	R451_is_a_Statement()
CodeBlockSet	R456_has_control_CodeBlock()
ExpressionSet	R472_executes_block_while_true_Expression()
void	setBlock_number(String ref_block_number)
void	setBody_name(String ref_body_name)
void	setCond_expression_number(String ref_cond_expression_number)
void	setControl_block_number(String ref_control_block_number)
void	setParent_name(String ref_parent_name)
void	setParent_package(String ref_parent_package)
void	setStatement_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

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface io.ciera.runtime.summit.types.IXtumlType

equality, inequality, oneWhere, serialize

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Constructor Detail

WhileSmtSetImpl

public WhileSmtSetImpl()

WhileSmtSetImpl

public WhileSmtSetImpl(Comparator<? super WhileSmt> comp)

Method Detail

setBody_name

public void setBody_name(String ref_body_name)
                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setBody_name in interface WhileSmtSet

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_package in interface WhileSmtSet

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_number in interface WhileSmtSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setCond_expression_number

public void setCond_expression_number(String ref_cond_expression_number)
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setCond_expression_number in interface WhileSmtSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setControl_block_number

public void setControl_block_number(String ref_control_block_number)
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setControl_block_number in interface WhileSmtSet

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_name in interface WhileSmtSet

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_number in interface WhileSmtSet

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_Statement in interface WhileSmtSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R456_has_control_CodeBlock

public CodeBlockSet R456_has_control_CodeBlock()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R456_has_control_CodeBlock in interface WhileSmtSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R472_executes_block_while_true_Expression

public ExpressionSet R472_executes_block_while_true_Expression()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R472_executes_block_while_true_Expression in interface WhileSmtSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public WhileSmt nullElement()

Specified by:

nullElement in interface io.ciera.runtime.summit.types.ISet<WhileSmt>

emptySet

public WhileSmtSet emptySet()

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<WhileSmt>

emptySet

public WhileSmtSet emptySet(Comparator<? super WhileSmt> comp)

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<WhileSmt>

elements

public List<WhileSmt> elements()

Specified by:

elements in interface io.ciera.runtime.summit.types.ISet<WhileSmt>