io.ciera.tool.sql.ooaofooa.instance.impl.BlockInStackFrameSetImpl 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.instance.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.impl.ACT_SMTSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.BlockSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.StackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.impl.StackFrameSetImpl;

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


public class BlockInStackFrameSetImpl extends InstanceSet implements BlockInStackFrameSet {

    public BlockInStackFrameSetImpl() {
    }

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

    // attributes
    @Override
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException {
        for ( BlockInStackFrame blockinstackframe : this ) blockinstackframe.setStatement_ID( ref_Statement_ID );
    }
    @Override
    public void setStack_Frame_ID( UniqueId ref_Stack_Frame_ID ) throws XtumlException {
        for ( BlockInStackFrame blockinstackframe : this ) blockinstackframe.setStack_Frame_ID( ref_Stack_Frame_ID );
    }
    @Override
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException {
        for ( BlockInStackFrame blockinstackframe : this ) blockinstackframe.setBlock_ID( ref_Block_ID );
    }
    @Override
    public void setIsExecuting( boolean m_isExecuting ) throws XtumlException {
        for ( BlockInStackFrame blockinstackframe : this ) blockinstackframe.setIsExecuting( m_isExecuting );
    }


    // selections
    @Override
    public StackFrameSet R2923_is_executed_within_the_context_of_StackFrame() throws XtumlException {
        StackFrameSet stackframeset = new StackFrameSetImpl();
        for ( BlockInStackFrame blockinstackframe : this ) stackframeset.add( blockinstackframe.R2923_is_executed_within_the_context_of_StackFrame() );
        return stackframeset;
    }
    @Override
    public BlockSet R2923_supplies_context_for_Block() throws XtumlException {
        BlockSet blockset = new BlockSetImpl();
        for ( BlockInStackFrame blockinstackframe : this ) blockset.add( blockinstackframe.R2923_supplies_context_for_Block() );
        return blockset;
    }
    @Override
    public ACT_SMTSet R2941_is_currently_visiting_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( BlockInStackFrame blockinstackframe : this ) act_smtset.add( blockinstackframe.R2941_is_currently_visiting_ACT_SMT() );
        return act_smtset;
    }


    @Override
    public BlockInStackFrame nullElement() {
        return BlockInStackFrameImpl.EMPTY_BLOCKINSTACKFRAME;
    }

    @Override
    public BlockInStackFrameSet emptySet() {
      return new BlockInStackFrameSetImpl();
    }

    @Override
    public BlockInStackFrameSet emptySet(Comparator comp) {
      return new BlockInStackFrameSetImpl(comp);
    }

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

}