io.ciera.tool.sql.architecture.classes.impl.InstanceSelectorSetImpl Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.architecture.classes.impl;


import io.ciera.runtime.summit.classes.InstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.tool.sql.architecture.classes.InstanceSelector;
import io.ciera.tool.sql.architecture.classes.InstanceSelectorSet;
import io.ciera.tool.sql.architecture.classes.ModelInstSet;
import io.ciera.tool.sql.architecture.classes.SelectorSet;
import io.ciera.tool.sql.architecture.classes.SetSelectorSet;
import io.ciera.tool.sql.architecture.classes.impl.ModelInstSetImpl;
import io.ciera.tool.sql.architecture.classes.impl.SelectorSetImpl;
import io.ciera.tool.sql.architecture.classes.impl.SetSelectorSetImpl;

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

import types.Cond;


public class InstanceSelectorSetImpl extends InstanceSet implements InstanceSelectorSet {

    public InstanceSelectorSetImpl() {
    }

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

    // attributes
    @Override
    public void setFormalizer( boolean m_formalizer ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setFormalizer( m_formalizer );
    }
    @Override
    public void setComp_package( String ref_comp_package ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setComp_package( ref_comp_package );
    }
    @Override
    public void setName( String ref_name ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setName( ref_name );
    }
    @Override
    public void setClass_name( String ref_class_name ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setClass_name( ref_class_name );
    }
    @Override
    public void setRel_num( int m_rel_num ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setRel_num( m_rel_num );
    }
    @Override
    public void setConditionality( Cond m_conditionality ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setConditionality( m_conditionality );
    }
    @Override
    public void setComp_name( String ref_comp_name ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setComp_name( ref_comp_name );
    }
    @Override
    public void setClass_package( String ref_class_package ) throws XtumlException {
        for ( InstanceSelector instanceselector : this ) instanceselector.setClass_package( ref_class_package );
    }


    // selections
    @Override
    public ModelInstSet R442_navigates_from_ModelInst() throws XtumlException {
        ModelInstSet modelinstset = new ModelInstSetImpl();
        for ( InstanceSelector instanceselector : this ) modelinstset.add( instanceselector.R442_navigates_from_ModelInst() );
        return modelinstset;
    }
    @Override
    public SelectorSet R445_is_a_Selector() throws XtumlException {
        SelectorSet selectorset = new SelectorSetImpl();
        for ( InstanceSelector instanceselector : this ) selectorset.add( instanceselector.R445_is_a_Selector() );
        return selectorset;
    }
    @Override
    public SetSelectorSet R4505_invoked_by_SetSelector() throws XtumlException {
        SetSelectorSet setselectorset = new SetSelectorSetImpl();
        for ( InstanceSelector instanceselector : this ) setselectorset.addAll( instanceselector.R4505_invoked_by_SetSelector() );
        return setselectorset;
    }


    @Override
    public InstanceSelector nullElement() {
        return InstanceSelectorImpl.EMPTY_INSTANCESELECTOR;
    }

    @Override
    public InstanceSelectorSet emptySet() {
      return new InstanceSelectorSetImpl();
    }

    @Override
    public InstanceSelectorSet emptySet(Comparator comp) {
      return new InstanceSelectorSetImpl(comp);
    }

    @Override
    public List elements() {
        InstanceSelector[] elements = toArray(new InstanceSelector[0]);
        Arrays.sort(elements, (a, b) -> {
            try {
                return a.getName().compareTo(b.getName());
            } catch (XtumlException e) { return 0; }
        });
        return Arrays.asList(elements);
    }

}