io.ciera.tool.sql.ooaofooa.instance.impl.StackSetImpl Maven / Gradle / Ivy

Go to download
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.instance.ComponentInstanceSet;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.Stack;
import io.ciera.tool.sql.ooaofooa.instance.StackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.StackSet;
import io.ciera.tool.sql.ooaofooa.instance.impl.ComponentInstanceSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.IntercomponentQueueEntrySetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.StackFrameSetImpl;

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

import ooaofooa.datatypes.RunStateType;


public class StackSetImpl extends InstanceSet implements StackSet {

    public StackSetImpl() {
    }

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

    // attributes
    @Override
    public void setSuspendReason( String m_suspendReason ) throws XtumlException {
        for ( Stack stack : this ) stack.setSuspendReason( m_suspendReason );
    }
    @Override
    public void setExecution_Engine_ID( UniqueId ref_Execution_Engine_ID ) throws XtumlException {
        for ( Stack stack : this ) stack.setExecution_Engine_ID( ref_Execution_Engine_ID );
    }
    @Override
    public void setRunState( RunStateType m_runState ) throws XtumlException {
        for ( Stack stack : this ) stack.setRunState( m_runState );
    }
    @Override
    public void setStack_ID( UniqueId m_Stack_ID ) throws XtumlException {
        for ( Stack stack : this ) stack.setStack_ID( m_Stack_ID );
    }


    // selections
    @Override
    public StackFrameSet R2929_has_a_top_StackFrame() throws XtumlException {
        StackFrameSet stackframeset = new StackFrameSetImpl();
        for ( Stack stack : this ) stackframeset.add( stack.R2929_has_a_top_StackFrame() );
        return stackframeset;
    }
    @Override
    public ComponentInstanceSet R2930_is_controlled_by_ComponentInstance() throws XtumlException {
        ComponentInstanceSet componentinstanceset = new ComponentInstanceSetImpl();
        for ( Stack stack : this ) componentinstanceset.add( stack.R2930_is_controlled_by_ComponentInstance() );
        return componentinstanceset;
    }
    @Override
    public StackFrameSet R2943_executes_StackFrame() throws XtumlException {
        StackFrameSet stackframeset = new StackFrameSetImpl();
        for ( Stack stack : this ) stackframeset.addAll( stack.R2943_executes_StackFrame() );
        return stackframeset;
    }
    @Override
    public IntercomponentQueueEntrySet R2966_has_queued_IntercomponentQueueEntry() throws XtumlException {
        IntercomponentQueueEntrySet intercomponentqueueentryset = new IntercomponentQueueEntrySetImpl();
        for ( Stack stack : this ) intercomponentqueueentryset.addAll( stack.R2966_has_queued_IntercomponentQueueEntry() );
        return intercomponentqueueentryset;
    }
    @Override
    public StackFrameSet R2967_has_return_values_on_StackFrame() throws XtumlException {
        StackFrameSet stackframeset = new StackFrameSetImpl();
        for ( Stack stack : this ) stackframeset.addAll( stack.R2967_has_return_values_on_StackFrame() );
        return stackframeset;
    }


    @Override
    public Stack nullElement() {
        return StackImpl.EMPTY_STACK;
    }

    @Override
    public StackSet emptySet() {
      return new StackSetImpl();
    }

    @Override
    public StackSet emptySet(Comparator comp) {
      return new StackSetImpl(comp);
    }

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

}