io.ciera.tool.sql.ooaofooa.body.impl.ForStmtSetImpl 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.ForStmt;
import io.ciera.tool.sql.ooaofooa.body.ForStmtSet;
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.subsystem.ModelClassSet;
import io.ciera.tool.sql.ooaofooa.subsystem.impl.ModelClassSetImpl;
import io.ciera.tool.sql.ooaofooa.value.V_VARSet;
import io.ciera.tool.sql.ooaofooa.value.impl.V_VARSetImpl;

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


public class ForStmtSetImpl extends InstanceSet implements ForStmtSet {

    public ForStmtSetImpl() {
    }

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

    // attributes
    @Override
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setBlock_ID( ref_Block_ID );
    }
    @Override
    public void setIs_implicit( boolean m_is_implicit ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setIs_implicit( m_is_implicit );
    }
    @Override
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setStatement_ID( ref_Statement_ID );
    }
    @Override
    public void setSet_Var_ID( UniqueId ref_Set_Var_ID ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setSet_Var_ID( ref_Set_Var_ID );
    }
    @Override
    public void setObj_ID( UniqueId ref_Obj_ID ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setObj_ID( ref_Obj_ID );
    }
    @Override
    public void setLoop_Var_ID( UniqueId ref_Loop_Var_ID ) throws XtumlException {
        for ( ForStmt forstmt : this ) forstmt.setLoop_Var_ID( ref_Loop_Var_ID );
    }


    // selections
    @Override
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( ForStmt forstmt : this ) act_smtset.add( forstmt.R603_is_a_ACT_SMT() );
        return act_smtset;
    }
    @Override
    public BlockSet R605_controls_Block() throws XtumlException {
        BlockSet blockset = new BlockSetImpl();
        for ( ForStmt forstmt : this ) blockset.add( forstmt.R605_controls_Block() );
        return blockset;
    }
    @Override
    public V_VARSet R614_loop_V_VAR() throws XtumlException {
        V_VARSet v_varset = new V_VARSetImpl();
        for ( ForStmt forstmt : this ) v_varset.add( forstmt.R614_loop_V_VAR() );
        return v_varset;
    }
    @Override
    public V_VARSet R652_set_V_VAR() throws XtumlException {
        V_VARSet v_varset = new V_VARSetImpl();
        for ( ForStmt forstmt : this ) v_varset.add( forstmt.R652_set_V_VAR() );
        return v_varset;
    }
    @Override
    public ModelClassSet R670_iterates_a_set_of_ModelClass() throws XtumlException {
        ModelClassSet modelclassset = new ModelClassSetImpl();
        for ( ForStmt forstmt : this ) modelclassset.add( forstmt.R670_iterates_a_set_of_ModelClass() );
        return modelclassset;
    }


    @Override
    public ForStmt nullElement() {
        return ForStmtImpl.EMPTY_FORSTMT;
    }

    @Override
    public ForStmtSet emptySet() {
      return new ForStmtSetImpl();
    }

    @Override
    public ForStmtSet emptySet(Comparator comp) {
      return new ForStmtSetImpl(comp);
    }

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

}