io.ciera.tool.sql.ooaofooa.invocation.impl.OperationInvocationSetImpl 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.invocation.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.body.ACT_SMTSet;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.OperationInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.OperationInvocationSet;
import io.ciera.tool.sql.ooaofooa.subsystem.O_TFRSet;
import io.ciera.tool.sql.ooaofooa.subsystem.impl.O_TFRSetImpl;
import io.ciera.tool.sql.ooaofooa.value.V_PARSet;
import io.ciera.tool.sql.ooaofooa.value.V_VARSet;
import io.ciera.tool.sql.ooaofooa.value.impl.V_PARSetImpl;
import io.ciera.tool.sql.ooaofooa.value.impl.V_VARSetImpl;

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


public class OperationInvocationSetImpl extends InstanceSet implements OperationInvocationSet {

    public OperationInvocationSetImpl() {
    }

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

    // attributes
    @Override
    public void setModelClassKeyLettersLineNumber( int m_modelClassKeyLettersLineNumber ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setModelClassKeyLettersLineNumber( m_modelClassKeyLettersLineNumber );
    }
    @Override
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setStatement_ID( ref_Statement_ID );
    }
    @Override
    public void setVar_ID( UniqueId ref_Var_ID ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setVar_ID( ref_Var_ID );
    }
    @Override
    public void setTfr_ID( UniqueId ref_Tfr_ID ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setTfr_ID( ref_Tfr_ID );
    }
    @Override
    public void setOperationNameColumn( int m_operationNameColumn ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setOperationNameColumn( m_operationNameColumn );
    }
    @Override
    public void setModelClassKeyLettersColumn( int m_modelClassKeyLettersColumn ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setModelClassKeyLettersColumn( m_modelClassKeyLettersColumn );
    }
    @Override
    public void setOperationNameLineNumber( int m_operationNameLineNumber ) throws XtumlException {
        for ( OperationInvocation operationinvocation : this ) operationinvocation.setOperationNameLineNumber( m_operationNameLineNumber );
    }


    // selections
    @Override
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( OperationInvocation operationinvocation : this ) act_smtset.add( operationinvocation.R603_is_a_ACT_SMT() );
        return act_smtset;
    }
    @Override
    public V_PARSet R627_takes_V_PAR() throws XtumlException {
        V_PARSet v_parset = new V_PARSetImpl();
        for ( OperationInvocation operationinvocation : this ) v_parset.addAll( operationinvocation.R627_takes_V_PAR() );
        return v_parset;
    }
    @Override
    public V_VARSet R667_has_target_V_VAR() throws XtumlException {
        V_VARSet v_varset = new V_VARSetImpl();
        for ( OperationInvocation operationinvocation : this ) v_varset.add( operationinvocation.R667_has_target_V_VAR() );
        return v_varset;
    }
    @Override
    public O_TFRSet R673_is_an_invocation_of_O_TFR() throws XtumlException {
        O_TFRSet o_tfrset = new O_TFRSetImpl();
        for ( OperationInvocation operationinvocation : this ) o_tfrset.add( operationinvocation.R673_is_an_invocation_of_O_TFR() );
        return o_tfrset;
    }


    @Override
    public OperationInvocation nullElement() {
        return OperationInvocationImpl.EMPTY_OPERATIONINVOCATION;
    }

    @Override
    public OperationInvocationSet emptySet() {
      return new OperationInvocationSetImpl();
    }

    @Override
    public OperationInvocationSet emptySet(Comparator comp) {
      return new OperationInvocationSetImpl(comp);
    }

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

}