io.ciera.tool.sql.ooaofooa.statemachine.impl.SEMEventSetImpl 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.statemachine.LocalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.NonLocalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEvent;
import io.ciera.tool.sql.ooaofooa.statemachine.SEMEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.SignalEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateEventMatrixEntrySet;
import io.ciera.tool.sql.ooaofooa.statemachine.StateMachineEventSet;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.LocalEventSetImpl;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.NonLocalEventSetImpl;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.SignalEventSetImpl;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.StateEventMatrixEntrySetImpl;
import io.ciera.tool.sql.ooaofooa.statemachine.impl.StateMachineEventSetImpl;

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


public class SEMEventSetImpl extends InstanceSet implements SEMEventSet {

    public SEMEventSetImpl() {
    }

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

    // attributes
    @Override
    public void setSMspd_IDdeprecated( UniqueId m_SMspd_IDdeprecated ) throws XtumlException {
        for ( SEMEvent semevent : this ) semevent.setSMspd_IDdeprecated( m_SMspd_IDdeprecated );
    }
    @Override
    public void setSMevt_ID( UniqueId ref_SMevt_ID ) throws XtumlException {
        for ( SEMEvent semevent : this ) semevent.setSMevt_ID( ref_SMevt_ID );
    }
    @Override
    public void setSM_ID( UniqueId ref_SM_ID ) throws XtumlException {
        for ( SEMEvent semevent : this ) semevent.setSM_ID( ref_SM_ID );
    }


    // selections
    @Override
    public StateEventMatrixEntrySet R503_is_received_by_StateEventMatrixEntry() throws XtumlException {
        StateEventMatrixEntrySet stateeventmatrixentryset = new StateEventMatrixEntrySetImpl();
        for ( SEMEvent semevent : this ) stateeventmatrixentryset.addAll( semevent.R503_is_received_by_StateEventMatrixEntry() );
        return stateeventmatrixentryset;
    }
    @Override
    public StateMachineEventSet R525_is_a_StateMachineEvent() throws XtumlException {
        StateMachineEventSet statemachineeventset = new StateMachineEventSetImpl();
        for ( SEMEvent semevent : this ) statemachineeventset.add( semevent.R525_is_a_StateMachineEvent() );
        return statemachineeventset;
    }
    @Override
    public LocalEventSet R526_is_a_LocalEvent() throws XtumlException {
        LocalEventSet localeventset = new LocalEventSetImpl();
        for ( SEMEvent semevent : this ) localeventset.add( semevent.R526_is_a_LocalEvent() );
        return localeventset;
    }
    @Override
    public NonLocalEventSet R526_is_a_NonLocalEvent() throws XtumlException {
        NonLocalEventSet nonlocaleventset = new NonLocalEventSetImpl();
        for ( SEMEvent semevent : this ) nonlocaleventset.add( semevent.R526_is_a_NonLocalEvent() );
        return nonlocaleventset;
    }
    @Override
    public SignalEventSet R526_is_a_SignalEvent() throws XtumlException {
        SignalEventSet signaleventset = new SignalEventSetImpl();
        for ( SEMEvent semevent : this ) signaleventset.add( semevent.R526_is_a_SignalEvent() );
        return signaleventset;
    }


    @Override
    public SEMEvent nullElement() {
        return SEMEventImpl.EMPTY_SEMEVENT;
    }

    @Override
    public SEMEventSet emptySet() {
      return new SEMEventSetImpl();
    }

    @Override
    public SEMEventSet emptySet(Comparator comp) {
      return new SEMEventSetImpl(comp);
    }

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

}