io.ciera.tool.sql.architecture.statement.impl.WhileSmtSetImpl Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.architecture.statement.impl;


import io.ciera.runtime.summit.classes.InstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.tool.sql.architecture.expression.ExpressionSet;
import io.ciera.tool.sql.architecture.expression.impl.ExpressionSetImpl;
import io.ciera.tool.sql.architecture.invocable.CodeBlockSet;
import io.ciera.tool.sql.architecture.invocable.impl.CodeBlockSetImpl;
import io.ciera.tool.sql.architecture.statement.StatementSet;
import io.ciera.tool.sql.architecture.statement.WhileSmt;
import io.ciera.tool.sql.architecture.statement.WhileSmtSet;
import io.ciera.tool.sql.architecture.statement.impl.StatementSetImpl;

import java.util.Arrays;
import java.util.Comparator;
import java.util.List;


public class WhileSmtSetImpl extends InstanceSet implements WhileSmtSet {

    public WhileSmtSetImpl() {
    }

    public WhileSmtSetImpl(Comparator comp) {
        super(comp);
    }

    // attributes
    @Override
    public void setParent_name( String ref_parent_name ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setParent_name( ref_parent_name );
    }
    @Override
    public void setControl_block_number( String ref_control_block_number ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setControl_block_number( ref_control_block_number );
    }
    @Override
    public void setBody_name( String ref_body_name ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setBody_name( ref_body_name );
    }
    @Override
    public void setStatement_number( String ref_statement_number ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setStatement_number( ref_statement_number );
    }
    @Override
    public void setParent_package( String ref_parent_package ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setParent_package( ref_parent_package );
    }
    @Override
    public void setBlock_number( String ref_block_number ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setBlock_number( ref_block_number );
    }
    @Override
    public void setCond_expression_number( String ref_cond_expression_number ) throws XtumlException {
        for ( WhileSmt whilesmt : this ) whilesmt.setCond_expression_number( ref_cond_expression_number );
    }


    // selections
    @Override
    public StatementSet R451_is_a_Statement() throws XtumlException {
        StatementSet statementset = new StatementSetImpl();
        for ( WhileSmt whilesmt : this ) statementset.add( whilesmt.R451_is_a_Statement() );
        return statementset;
    }
    @Override
    public CodeBlockSet R456_has_control_CodeBlock() throws XtumlException {
        CodeBlockSet codeblockset = new CodeBlockSetImpl();
        for ( WhileSmt whilesmt : this ) codeblockset.add( whilesmt.R456_has_control_CodeBlock() );
        return codeblockset;
    }
    @Override
    public ExpressionSet R472_executes_block_while_true_Expression() throws XtumlException {
        ExpressionSet expressionset = new ExpressionSetImpl();
        for ( WhileSmt whilesmt : this ) expressionset.add( whilesmt.R472_executes_block_while_true_Expression() );
        return expressionset;
    }


    @Override
    public WhileSmt nullElement() {
        return WhileSmtImpl.EMPTY_WHILESMT;
    }

    @Override
    public WhileSmtSet emptySet() {
      return new WhileSmtSetImpl();
    }

    @Override
    public WhileSmtSet emptySet(Comparator comp) {
      return new WhileSmtSetImpl(comp);
    }

    @Override
    public List elements() {
        return Arrays.asList(toArray(new WhileSmt[0]));
    }

}