io.ciera.tool.sql.ooaofooa.instance.impl.ComponentInstanceSetImpl 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.component.C_CSet;
import io.ciera.tool.sql.ooaofooa.component.componentlibrary.ComponentReferenceSet;
import io.ciera.tool.sql.ooaofooa.component.componentlibrary.impl.ComponentReferenceSetImpl;
import io.ciera.tool.sql.ooaofooa.component.impl.C_CSetImpl;
import io.ciera.tool.sql.ooaofooa.elementpackaging.EP_PKGSet;
import io.ciera.tool.sql.ooaofooa.elementpackaging.impl.EP_PKGSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.ComponentInstance;
import io.ciera.tool.sql.ooaofooa.instance.ComponentInstanceContainerSet;
import io.ciera.tool.sql.ooaofooa.instance.ComponentInstanceSet;
import io.ciera.tool.sql.ooaofooa.instance.EventQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.I_INSSet;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.MonitorSet;
import io.ciera.tool.sql.ooaofooa.instance.PendingEventSet;
import io.ciera.tool.sql.ooaofooa.instance.RuntimeChannelSet;
import io.ciera.tool.sql.ooaofooa.instance.SelfQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.StackSet;
import io.ciera.tool.sql.ooaofooa.instance.impl.ComponentInstanceContainerSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.EventQueueEntrySetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.I_INSSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.IntercomponentQueueEntrySetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.MonitorSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.PendingEventSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.RuntimeChannelSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.SelfQueueEntrySetImpl;
import io.ciera.tool.sql.ooaofooa.instance.impl.StackSetImpl;

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

import ooaofooa.datatypes.Instance;
import ooaofooa.datatypes.ReentrantLock;


public class ComponentInstanceSetImpl extends InstanceSet implements ComponentInstanceSet {

    public ComponentInstanceSetImpl() {
    }

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

    // attributes
    @Override
    public void setNext_Instance_ID( int m_Next_Instance_ID ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setNext_Instance_ID( m_Next_Instance_ID );
    }
    @Override
    public void setContainer_ID( UniqueId ref_Container_ID ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setContainer_ID( ref_Container_ID );
    }
    @Override
    public void setPackage_ID( UniqueId ref_Package_ID ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setPackage_ID( ref_Package_ID );
    }
    @Override
    public void setComponent_Id( UniqueId ref_Component_Id ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setComponent_Id( ref_Component_Id );
    }
    @Override
    public void setImportedComponent_Id( UniqueId ref_ImportedComponent_Id ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setImportedComponent_Id( ref_ImportedComponent_Id );
    }
    @Override
    public void setEQE_Lock( ReentrantLock m_EQE_Lock ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setEQE_Lock( m_EQE_Lock );
    }
    @Override
    public void setExecution_Engine_ID( UniqueId m_Execution_Engine_ID ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setExecution_Engine_ID( m_Execution_Engine_ID );
    }
    @Override
    public void setNext_Unique_ID( int m_Next_Unique_ID ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setNext_Unique_ID( m_Next_Unique_ID );
    }
    @Override
    public void setLabel( String m_Label ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setLabel( m_Label );
    }
    @Override
    public void setDom_IDdeprecated( UniqueId m_Dom_IDdeprecated ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setDom_IDdeprecated( m_Dom_IDdeprecated );
    }
    @Override
    public void setRealizedBy( Instance m_RealizedBy ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setRealizedBy( m_RealizedBy );
    }
    @Override
    public void setSQE_Lock( ReentrantLock m_SQE_Lock ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setSQE_Lock( m_SQE_Lock );
    }
    @Override
    public void setRunning( boolean m_Running ) throws XtumlException {
        for ( ComponentInstance componentinstance : this ) componentinstance.setRunning( m_Running );
    }


    // selections
    @Override
    public StackSet R2930_controls_Stack() throws XtumlException {
        StackSet stackset = new StackSetImpl();
        for ( ComponentInstance componentinstance : this ) stackset.add( componentinstance.R2930_controls_Stack() );
        return stackset;
    }
    @Override
    public EventQueueEntrySet R2944_EventQueueEntry() throws XtumlException {
        EventQueueEntrySet eventqueueentryset = new EventQueueEntrySetImpl();
        for ( ComponentInstance componentinstance : this ) eventqueueentryset.addAll( componentinstance.R2944_EventQueueEntry() );
        return eventqueueentryset;
    }
    @Override
    public SelfQueueEntrySet R2946_SelfQueueEntry() throws XtumlException {
        SelfQueueEntrySet selfqueueentryset = new SelfQueueEntrySetImpl();
        for ( ComponentInstance componentinstance : this ) selfqueueentryset.addAll( componentinstance.R2946_SelfQueueEntry() );
        return selfqueueentryset;
    }
    @Override
    public MonitorSet R2949_monitors_Monitor() throws XtumlException {
        MonitorSet monitorset = new MonitorSetImpl();
        for ( ComponentInstance componentinstance : this ) monitorset.addAll( componentinstance.R2949_monitors_Monitor() );
        return monitorset;
    }
    @Override
    public C_CSet R2955_is_verifying_instance_of_C_C() throws XtumlException {
        C_CSet c_cset = new C_CSetImpl();
        for ( ComponentInstance componentinstance : this ) c_cset.add( componentinstance.R2955_is_verifying_instance_of_C_C() );
        return c_cset;
    }
    @Override
    public I_INSSet R2957_creates_I_INS() throws XtumlException {
        I_INSSet i_insset = new I_INSSetImpl();
        for ( ComponentInstance componentinstance : this ) i_insset.addAll( componentinstance.R2957_creates_I_INS() );
        return i_insset;
    }
    @Override
    public ComponentReferenceSet R2963_is_verifying_instance_of_ComponentReference() throws XtumlException {
        ComponentReferenceSet componentreferenceset = new ComponentReferenceSetImpl();
        for ( ComponentInstance componentinstance : this ) componentreferenceset.add( componentinstance.R2963_is_verifying_instance_of_ComponentReference() );
        return componentreferenceset;
    }
    @Override
    public PendingEventSet R2964_houses_PendingEvent() throws XtumlException {
        PendingEventSet pendingeventset = new PendingEventSetImpl();
        for ( ComponentInstance componentinstance : this ) pendingeventset.addAll( componentinstance.R2964_houses_PendingEvent() );
        return pendingeventset;
    }
    @Override
    public RuntimeChannelSet R2968_is_interface_provider_to_RuntimeChannel() throws XtumlException {
        RuntimeChannelSet runtimechannelset = new RuntimeChannelSetImpl();
        for ( ComponentInstance componentinstance : this ) runtimechannelset.addAll( componentinstance.R2968_is_interface_provider_to_RuntimeChannel() );
        return runtimechannelset;
    }
    @Override
    public RuntimeChannelSet R2968_is_interface_requirer_of_RuntimeChannel() throws XtumlException {
        RuntimeChannelSet runtimechannelset = new RuntimeChannelSetImpl();
        for ( ComponentInstance componentinstance : this ) runtimechannelset.addAll( componentinstance.R2968_is_interface_requirer_of_RuntimeChannel() );
        return runtimechannelset;
    }
    @Override
    public EP_PKGSet R2970_is_verifying_EP_PKG() throws XtumlException {
        EP_PKGSet ep_pkgset = new EP_PKGSetImpl();
        for ( ComponentInstance componentinstance : this ) ep_pkgset.add( componentinstance.R2970_is_verifying_EP_PKG() );
        return ep_pkgset;
    }
    @Override
    public ComponentInstanceContainerSet R2974_ComponentInstanceContainer() throws XtumlException {
        ComponentInstanceContainerSet componentinstancecontainerset = new ComponentInstanceContainerSetImpl();
        for ( ComponentInstance componentinstance : this ) componentinstancecontainerset.add( componentinstance.R2974_ComponentInstanceContainer() );
        return componentinstancecontainerset;
    }
    @Override
    public ComponentInstanceContainerSet R2975_ComponentInstanceContainer() throws XtumlException {
        ComponentInstanceContainerSet componentinstancecontainerset = new ComponentInstanceContainerSetImpl();
        for ( ComponentInstance componentinstance : this ) componentinstancecontainerset.add( componentinstance.R2975_ComponentInstanceContainer() );
        return componentinstancecontainerset;
    }
    @Override
    public PendingEventSet R2976_sends_PendingEvent() throws XtumlException {
        PendingEventSet pendingeventset = new PendingEventSetImpl();
        for ( ComponentInstance componentinstance : this ) pendingeventset.addAll( componentinstance.R2976_sends_PendingEvent() );
        return pendingeventset;
    }
    @Override
    public IntercomponentQueueEntrySet R2977_IntercomponentQueueEntry() throws XtumlException {
        IntercomponentQueueEntrySet intercomponentqueueentryset = new IntercomponentQueueEntrySetImpl();
        for ( ComponentInstance componentinstance : this ) intercomponentqueueentryset.addAll( componentinstance.R2977_IntercomponentQueueEntry() );
        return intercomponentqueueentryset;
    }


    @Override
    public ComponentInstance nullElement() {
        return ComponentInstanceImpl.EMPTY_COMPONENTINSTANCE;
    }

    @Override
    public ComponentInstanceSet emptySet() {
      return new ComponentInstanceSetImpl();
    }

    @Override
    public ComponentInstanceSet emptySet(Comparator comp) {
      return new ComponentInstanceSetImpl(comp);
    }

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

}