io.ciera.tool.sql.ooaofooa.statemachine.impl.SignalEventSetImpl Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.ooaofooa.statemachine.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.signalprovisionsandrequirements.ProvidedSignalSet;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.RequiredSignalSet;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.impl.ProvidedSignalSetImpl;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.impl.RequiredSignalSetImpl;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SignalEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.SignalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.SEMEventSetImpl;

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


public class SignalEventSetImpl extends InstanceSet implements SignalEventSet {

    public SignalEventSetImpl() {
    }

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

    // attributes
    @Override
    public void setSMevt_ID( UniqueId ref_SMevt_ID ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setSMevt_ID( ref_SMevt_ID );
    }
    @Override
    public void setSMspd_IDdeprecated( UniqueId m_SMspd_IDdeprecated ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setSMspd_IDdeprecated( m_SMspd_IDdeprecated );
    }
    @Override
    public void setSignal_name( String m_signal_name ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setSignal_name( m_signal_name );
    }
    @Override
    public void setRequired_Signal_Id( UniqueId ref_Required_Signal_Id ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setRequired_Signal_Id( ref_Required_Signal_Id );
    }
    @Override
    public void setProvided_Signal_Id( UniqueId ref_Provided_Signal_Id ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setProvided_Signal_Id( ref_Provided_Signal_Id );
    }
    @Override
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException {
        for ( SignalEvent signalevent : this ) signalevent.setSM_ID( ref_SM_ID );
    }


    // selections
    @Override
    public SEMEventSet R526_is_a_SEMEvent() throws XtumlException {
        SEMEventSet semeventset = new SEMEventSetImpl();
        for ( SignalEvent signalevent : this ) semeventset.add( signalevent.R526_is_a_SEMEvent() );
        return semeventset;
    }
    @Override
    public ProvidedSignalSet R528_ProvidedSignal() throws XtumlException {
        ProvidedSignalSet providedsignalset = new ProvidedSignalSetImpl();
        for ( SignalEvent signalevent : this ) providedsignalset.add( signalevent.R528_ProvidedSignal() );
        return providedsignalset;
    }
    @Override
    public RequiredSignalSet R529_RequiredSignal() throws XtumlException {
        RequiredSignalSet requiredsignalset = new RequiredSignalSetImpl();
        for ( SignalEvent signalevent : this ) requiredsignalset.add( signalevent.R529_RequiredSignal() );
        return requiredsignalset;
    }


    @Override
    public SignalEvent nullElement() {
        return SignalEventImpl.EMPTY_SIGNALEVENT;
    }

    @Override
    public SignalEventSet emptySet() {
      return new SignalEventSetImpl();
    }

    @Override
    public SignalEventSet emptySet(Comparator comp) {
      return new SignalEventSetImpl(comp);
    }

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

}