io.ciera.tool.sql.ooaofooa.body.impl.IfStmtSetImpl Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of tool-sql Show documentation
There is a newer version: 2.7.3
package io.ciera.tool.sql.ooaofooa.body.impl;


import io.ciera.runtime.summit.classes.InstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMTSet;
import io.ciera.tool.sql.ooaofooa.body.BlockSet;
import io.ciera.tool.sql.ooaofooa.body.ElseIfStmtSet;
import io.ciera.tool.sql.ooaofooa.body.ElseStmtSet;
import io.ciera.tool.sql.ooaofooa.body.IfStmt;
import io.ciera.tool.sql.ooaofooa.body.IfStmtSet;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.BlockSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseIfStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.value.ValueSet;
import io.ciera.tool.sql.ooaofooa.value.impl.ValueSetImpl;

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


public class IfStmtSetImpl extends InstanceSet implements IfStmtSet {

    public IfStmtSetImpl() {
    }

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

    // attributes
    @Override
    public void setElif_Statement_ID( UniqueId ref_Elif_Statement_ID ) throws XtumlException {
        for ( IfStmt ifstmt : this ) ifstmt.setElif_Statement_ID( ref_Elif_Statement_ID );
    }
    @Override
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException {
        for ( IfStmt ifstmt : this ) ifstmt.setBlock_ID( ref_Block_ID );
    }
    @Override
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException {
        for ( IfStmt ifstmt : this ) ifstmt.setStatement_ID( ref_Statement_ID );
    }
    @Override
    public void setElse_Statement_ID( UniqueId ref_Else_Statement_ID ) throws XtumlException {
        for ( IfStmt ifstmt : this ) ifstmt.setElse_Statement_ID( ref_Else_Statement_ID );
    }
    @Override
    public void setValue_ID( UniqueId ref_Value_ID ) throws XtumlException {
        for ( IfStmt ifstmt : this ) ifstmt.setValue_ID( ref_Value_ID );
    }


    // selections
    @Override
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( IfStmt ifstmt : this ) act_smtset.add( ifstmt.R603_is_a_ACT_SMT() );
        return act_smtset;
    }
    @Override
    public BlockSet R607_controls_Block() throws XtumlException {
        BlockSet blockset = new BlockSetImpl();
        for ( IfStmt ifstmt : this ) blockset.add( ifstmt.R607_controls_Block() );
        return blockset;
    }
    @Override
    public ValueSet R625_test_result_Value() throws XtumlException {
        ValueSet valueset = new ValueSetImpl();
        for ( IfStmt ifstmt : this ) valueset.add( ifstmt.R625_test_result_Value() );
        return valueset;
    }
    @Override
    public ElseIfStmtSet R682_has_ElseIfStmt() throws XtumlException {
        ElseIfStmtSet elseifstmtset = new ElseIfStmtSetImpl();
        for ( IfStmt ifstmt : this ) elseifstmtset.addAll( ifstmt.R682_has_ElseIfStmt() );
        return elseifstmtset;
    }
    @Override
    public ElseStmtSet R683_has_ElseStmt() throws XtumlException {
        ElseStmtSet elsestmtset = new ElseStmtSetImpl();
        for ( IfStmt ifstmt : this ) elsestmtset.add( ifstmt.R683_has_ElseStmt() );
        return elsestmtset;
    }
    @Override
    public ElseIfStmtSet R690_was_executing_when_halted_ElseIfStmt() throws XtumlException {
        ElseIfStmtSet elseifstmtset = new ElseIfStmtSetImpl();
        for ( IfStmt ifstmt : this ) elseifstmtset.add( ifstmt.R690_was_executing_when_halted_ElseIfStmt() );
        return elseifstmtset;
    }
    @Override
    public ElseStmtSet R692_was_executing_when_halted_ElseStmt() throws XtumlException {
        ElseStmtSet elsestmtset = new ElseStmtSetImpl();
        for ( IfStmt ifstmt : this ) elsestmtset.add( ifstmt.R692_was_executing_when_halted_ElseStmt() );
        return elsestmtset;
    }


    @Override
    public IfStmt nullElement() {
        return IfStmtImpl.EMPTY_IFSTMT;
    }

    @Override
    public IfStmtSet emptySet() {
      return new IfStmtSetImpl();
    }

    @Override
    public IfStmtSet emptySet(Comparator comp) {
      return new IfStmtSetImpl(comp);
    }

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

}